Achtung! Это может перевернуть ваше сознание

Редкий случай копипасты:
===========
Невычислимое, недоказуемое
Блог Хеллера by Роман Добровенский

Предположим, что у нас есть какое-то логическое утверждение, зависящее от натурального числа..

Читать доказательства, в том числе и теоремы Гёделя, узнать о машине Тьюринга >>

Если вам понравился материал, пожалуйста, поделитесь им с друзьями: