Мои коллеги часто просят меня помочь с числами. Они считают, что я знаю математику. Ирония в том, что я ужасно считаю в уме.
Люди часто понимают математику неправильно. Они думают, что это быстрые сложения и вычитания в голове, пока вы покупаете кофе. Нет. Настоящая математика — это строение миров.
Миф о фундаменте
Всё начинается с правил. Аксиом. Базовых истин, которые вы принимаете, чтобы игра могла начаться. На этой основе вы воздвигаете всё остальное: множества превращаются в числа, числа — в функции, а функции скручиваются в геометрию. Всё это опирается на тот самый начальный пол.
Долгое время математики вели опасную игру с балансом. Они хотели использовать как можно меньше правил, но при этом достаточно для описания современной вселенной. И эти правила должны были казаться верными. Интуитивно понятными. Как утверждение «существует пустое множество». Это просто имеет смысл.
К 1900-м годам все сошлись на системе ZFC. Теория множеств Цермело — Френкеля с аксиомой выбора. Девять правил. Всё. Это был фундамент.
Или так они думали.
Гёдель разрушает всё
Математики любили свой фундамент. Они мечтали о системе, которая обладала бы двумя качествами одновременно:
- Полнотой. Любую истину можно доказать.
- Непротиворечивостью. Противоречия недопустимы.
Приходит 1931 год. На сцене — Курт Гёдель. Ему двадцать пять лет. Он сбрасывает бомбу, которая трескает сам фундамент.
Его первая теорема о неполноте безжалостна. Она гласит, что в любой достаточно мощной и непротиворечивой системе существуют утверждения, которые нельзя доказать ни как истинные, ни как ложные. Точка. А затем следует вторая теорема. Ещё хуже. Система не может доказать свою собственную непротиворечивость.
Звучит академично, конечно. Абстрактная логика. Коллеги Гёделя надеялись, что это просто странность. Какой-то теоретический сбой, лишенный практического значения. Они ошибались.
Гёдель доказал, что у достоверности есть предел. Вы не можете знать всё, даже в рамках правил, которые создали сами.
Возьмём ту же систему ZFC. В ней полно недоказуемых утверждений. Самое известное — континуум-гипотеза. Существует ли бесконечность между целыми числами и действительными? Мы не знаем. И мы никогда не сможем этого доказать с помощью наших нынешних инструментов. Этот вопрос просто… остаётся висеть в воздухе.
Нерешённый. Даже не поддающийся решению.
Так что да, вы можете строить миры из аксиом. Вы можете подняться от простых множеств к сложной топологии. Но в структуре есть дыры. Встроенные слепые зоны, где прячется истина, навсегда оставаясь вне досягаемости.
Зачем разум жаждет полноты, если полнота невозможна?
