Никакая система не может изучать другую систему сложнее себя самой.
- Курт Гёдель
Под сенью лип в тени Нью Джерси
Два странника тропой бредут.
Их разговоры о Вселенной
Так завершают жизни труд.
Один, сединой убеленный
При жизни - гений всех времён!
Другой - он многим незнакомый,
Но с гением на равных он.
Великий гений всем известен -
Он сам Эйнштейн! Науки свет.
А спутник, если интересен -
Он Курт Гёдель. Знаком вам? нет?
Что знаем мы о Курт Гёделе?
А ведь для логики он бог,
И в математике сравниться
С Эйнштейном в физике он мог.
Двадцатый век начался странно,
Вот вам названия теорем:
И “Относительность" Эйнштейна.
“Неопределённость" - Гейзенберг.
Ну это физика. Допустим.
Там много всякой пустоты,
Но математика стабильна,
Там не бывает суеты?
Но появляется Гёдель
Лет отроду так двадцать пять,
И заявляет: верь не верь,
"Всё в математике не так”.
Что есть такие постулаты,
Не доказать их, хоть умри.
И правда это, иль неправда
Не разрешить! Пусть гений ты.
“Неполнота” сказал он твёрдо,
В любой системе она есть.
Ни арифметики законы,
Ни алгебра тут не перечь.
Почти столетие прошло…
Под эту формулу попало,
Не доказать "нет-есть ли Бог",
Хотя ведь многие пытались.
1-7-19 ред
(1) Курт Фридрих Гёдель (1906 - 1978) — австрийский логик, математик и философ математики, наиболее известный сформулированной и доказанной им теоремой о неполноте.