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