Истина всегда больше правил

Большинство из нас с детства привыкает к простой мысли:

Если что-то истинно, значит это можно доказать.

Кажется, что истина и доказательство — почти одно и то же.

Но одно из величайших открытий XX века показало, что это не так.

Представьте карту мира

Возьмите карту города.

На ней изображены дороги, дома, парки, станции метро.

Карта может быть очень подробной.

Но она никогда не станет самим городом.

Какой бы качественной ни была карта, в реальности всегда окажется больше деталей, чем она способна вместить.

С математикой происходит нечто похожее.

Формальная система — это своего рода карта. Она состоит из аксиом и правил, по которым можно получать новые утверждения.

Но реальность математических истин оказывается богаче любой такой карты.

Что показал Гёдель

В 1931 году логик Курт Гёдель доказал удивительную вещь.

Если система достаточно богата, чтобы описывать обычную арифметику, то в ней обязательно найдутся утверждения, которые:

• являются истинными;
• но не могут быть доказаны внутри самой этой системы.

Это не означает, что математика ошибочна.

И не означает, что логика бесполезна.

Это означает лишь одно:

Истина всегда оказывается немного шире правил, которыми мы пытаемся ее описать.

А как же доказательство?

Вот здесь многие совершают ошибку.

Иногда говорят:

Значит и доказательство шире системы.

Но это неверно.

Доказательство всегда живет внутри системы.

Оно полностью определяется ее правилами.

Если правила запрещают сделать какой-то логический шаг, то никакого доказательства не получится.

Получается интересная картина.

Истина не зависит от правил.

Доказательство полностью зависит от правил.

Именно поэтому между ними возникает разрыв.

Можно ли доказать позже?

Да.

Но для этого часто приходится выйти за пределы исходной системы.

Представьте человека, который всю жизнь прожил в одной комнате.

Из окна он видит только двор.

Он может очень внимательно изучить этот двор, но не сможет увидеть весь город.

Стоит выйти на крышу — и открывается гораздо более широкий обзор.

Так и в математике.

То, что невозможно доказать в одной системе, иногда становится очевидным в более мощной системе.

Но возникает новая проблема.

Эта новая система тоже имеет свои границы.

Очень жизненная идея

В этом открытии есть мысль, которая выходит далеко за пределы математики.

Мы часто думаем, что если чего-то нельзя объяснить с помощью наших моделей, значит этого не существует.

Но, возможно, проблема не в реальности.

Возможно, проблема в наших моделях.

Любая теория, любой язык, любая система правил — это лишь попытка описать мир.

Но мир почти всегда оказывается богаче описания.

Именно поэтому человечество постоянно создает новые теории.

Не потому, что старые были полностью ложными.

А потому, что каждая следующая система позволяет увидеть немного больше.

Теорема Гёделя напоминает нам о важной интеллектуальной скромности.

Наши правила могут быть очень мощными.

Наши модели могут быть очень точными.

Но ни одна система не способна вместить всю истину целиком.

Истина всегда немного больше наших описаний.