Редкий случай копипасты:
===========
Невычислимое, недоказуемое
Блог Хеллера by Роман Добровенский
Предположим, что у нас есть какое-то логическое утверждение, зависящее от натурального числа..
Читать доказательства, в том числе и теоремы Гёделя, узнать о машине Тьюринга >>
Поделиться: twitter facebook