Популярная формулировка теоремы Гёделя "о неполноте":
«для любой непротиворечивой системы аксиом существует утверждение, которое в рамках принятой аксиоматической системы не может быть ни доказано, ни опровергнуто»
Так вот, в 1948 г., когда решался вопрос о получении им американского гражданства, Гедель должен был в соответствии с принятой
(
Read more... )