Вы всё ещё верите в аксиому выбора?
Вам сюда.
Я не умею доказывать, что без аксиомы выбора утверждение неверно, но привести доказательство своего утверждения, видимо, смогу. Итак.
Утверждение Рассмотрим следующую задачу. Счётное множество мудрецов выстроены в натуральный ряд (лицом в сторону возрастания ряда, так что каждый видит перед собой бесконечное число мудрецов). Каждый из ( Read more... )
Я не умею доказывать, что без аксиомы выбора утверждение неверно, но привести доказательство своего утверждения, видимо, смогу. Итак.
Утверждение Рассмотрим следующую задачу. Счётное множество мудрецов выстроены в натуральный ряд (лицом в сторону возрастания ряда, так что каждый видит перед собой бесконечное число мудрецов). Каждый из ( Read more... )
Reply
Я ступил: я 1. решил что митя любарский хотел "зависнуть" не всех, а _некоторых_ и 2.упустил из решения важный моемнт: ты запускаешь не просто "первого мудреца", а такт на первом, такт на втором, такт на первом.
Действительно, "виснущие" МТ тебе не помеха ни разу.
Reply
Reply
Leave a comment