Не всё доказуемо - Курт Гёдель

„Я убеждён в посмертном существовании, независимо от теологии. Если мир сконструирован разумно, должно быть посмертное существование.“
           —  Курт Гёдель


Что знаем мы о Курт Гёделе?(1)
А ведь для логики он бог,
И в математике сравниться
С Эйнштейном в физике он мог.

Двадцатый век начался странно,
Вот вам названия теорем:
И “Относительность" Эйнштейна.
“Неопределённость" - Гейзенберг.

Ну это физика. Допустим.
Там много всякой пустоты,
Но математика стабильна,
Там не бывает суеты?

Но появляется Гёдель
Лет отроду так двадцать пять,
И заявляет: верь не верь,
"Всё в математике не так”.

Что есть такие постулаты,
Не доказать их, хоть умри.
И правда это, иль неправда
Не разрешить! Пусть гений ты.

“Неполнота” сказал он твёрдо,
В любой системе она есть.
Ни арифметики законы,
Ни алгебра тут не перечь.

Почти столетие прошло…
Под эту формулу попало,
Не доказать "нет-есть ли Бог",
Хотя ведь многие пытались.



(1) Курт Фридрих Гёдель (нем. Kurt Friedrich Gоdel;
28 апреля1906, Брюнн, Австро-Венгрия — 14 января 1978, Принстон,Нью-Джерси) — австрийский логик, математик и философ математики,
наиболее известный сформулированной и доказанной им теоремой о неполноте.