Комментарии 3
Он придумал способ, как пронумеровать все доказуемые утверждения теории, а затем показал, что всегда будет истинное утверждение, для которого номерка не хватает.
Он просто формализовал парадокс лжеца, из чего следует, что есть утверждения, которые не являются ни истинными, ни ложными, то есть не вписываются в бинарную логику. Парадоксальность утверждений же доказывается довольно просто. Подробнее с комиксами тут.
>>Истории обоих ученых кончились плохо. Тьюринг был осужден за нетрадиционную сексуальную ориентацию и прошел принудительную гормональную терапию, подорвавшую его здоровье. У Гёделя под конец жизни развилась паранойя, он панически боялся быть отравленным и в конце концов умер от истощения, отказавшись принимать пищу. По злой иронии, вместо него от отравления цианидом умер Тьюринг. Неизвестно, было это убийство или самоубийство.
Ничего удивительного: в Европе тогда свирепостовал фашизм, от которого Гёдель бежал в США (поэтому, можно говорить, что "обжёгшись на молоке он дул на воду" - ему явно не хотелось встретится с "прелестями" этого явления на новом месте). Что до Тьюринга, то за эвфемизмом "прошел принудительную гормональную терапию" скрывается факт химической кастрации в 1952 году. Не смотря на его заслуги, ему сделали "предложение": или так - или тюрьма. Так что Тьюрингу тоже не сладко жилось в Англии.
"В январе этого года обнаружилось, что разрешимость некоторых вопросов машинного обучения зависит от истинности континуум-гипотезы — той самой, чью неопровержимость доказал Гёдель. Совпадение? Возможно." - я в своих тестах на языковых моделях пришел к такому же выводу
Тьюринг и Гёдель — два взгляда на искусственный интеллект и не только