📜 Теорема Гёделя о неполноте
Судьба теоремы Гёделя о неполноте очень схожа с судьбой специальной теории относительности Эйнштейна. С одной стороны, почти все о них что-то слышали. С другой — в народной интерпретации теория Эйнштейна, как известно, «говорит, что всё в мире относительно». А теорема Гёделя о неполноте в примерно столь же вольной формулировке, «доказывает, что есть вещи, непостижимые для человеческого разума».
💥 День, когда математика сломалась
До 1931 года математики жили в сладкой иллюзии. Они верили, что математика – это идеальная система. Что любое истинное утверждение можно доказать, если достаточно долго думать.
Великий Давид Гильберт даже провозгласил лозунг: «Мы должны знать – мы будем знать!».
А потом пришел 25-летний австриец Курт Гёдель и одной статьей разрушил эту мечту навсегда.
🤥 Парадокс лжеца
Чтобы понять Гёделя, вспомним древний парадокс.
Человек говорит: «Я лгу».
🔹Если он говорит правду, значит, он лжёт (как и сказал). Противоречие.
🔹Если он лжёт, значит, фраза «я лгу» – неправда. То есть он говорит правду. Снова противоречие.
Гёдель перевел этот лингвистический трюк на язык строгой математики.
🔢 Атака изнутри
Всё гениальное чрезвычайно просто. Гёдель придумал утверждение, которое говорило само про себя:
«Это утверждение нельзя доказать».
Логика оказалась в тупике:
1. Если мы МОЖЕМ это доказать, значит, утверждение ложно (ведь оно гласит, что его доказать нельзя). Тогда вся математика – враньё и противоречива.
2. Если мы НЕ МОЖЕМ это доказать, значит, утверждение истинно (оно действительно недоказуемо). Но тогда получается, что у нас есть истина, которую невозможно доказать.
🏁 Что это значит для нас?
Гёдель доказал страшную вещь: Математика неполна.
В любой достаточно сложной системе (даже в школьной арифметике!) всегда найдутся утверждения, которые являются истинными, но их невозможно ни доказать, ни опровергнуть внутри этой системы.
То есть неожиданно оказалось, что «Утверждение верно» и «Утверждение можно доказать или проверить» вовсе не одно и то же.
🇺🇸 Интересно, что в 1948 году на собеседовании для получения американского гражданства Гёдель попытался доказать, что Конституция США формально-логически неполна и не гарантирует защиты от установления диктатуры, но был вежливо остановлен.
В посте использованы материалы из канала Я Математик