📘 Когда формальная логика обнажает свою уязвимость — возникает не ошибка.
Возникает тень чего-то за пределами системы.
И, быть может, имя этой тени — Бог. XX век мечтал о невозможном:
создать универсальную систему, где всё подчинено строгому порядку,
а каждая истина — выводима через доказательство. Эту мечту формализовал Давид Гильберт: «Нам нужно показать, что всё, что истинно — можно доказать».
Так родился проект «основания математики». А потом пришёл Курт Гёдель.
И разбил эту мечту в прах. В 1931 году молодой математик опубликовал две теоремы о неполноте,
которые перевернули всё. 🔸 Первая теорема:
В любой достаточно мощной формальной системе существует утверждение,
которое истинно, но недоказуемо внутри этой системы. 🔸 Вторая теорема:
Такая система не может доказать собственную непротиворечивость. Пример (упрощённо): «Это утверждение недоказуемо».
Если его доказать — оно ложно.
Если нельзя доказать — оно истинно. Но недоказуемо.
Добро пожаловать в пределы логики. Э