Часть I

Часть I. Метафизика Математической Свободы

В 1963 году математик Пол Коэн совершил интеллектуальный переворот, который потряс основы математического мышления. Он доказал нечто невозможное, что в математике может существовать два противоположных утверждения, и оба будут одинаково истинными. Представьте себе вселенную, где может быть гравитация, и вселенную, где может ее не быть — именно такую реальность Коэн обнаружил в царстве чистой логики.

В мире, где политики имеют свою точку зрения на происходящее, где даются разные оценки одним и тем же событиям , математика всегда была нашим последним убежищем от неопределенности. Мы привыкли полагаться на математическую истину как на неколебимый фундамент. 2+2=4. Всегда. Везде. Без исключений.

Но что происходит, когда сама математика начинает говорить нам: "А что если это не так?"

Началось все с Аксиомы выбора Георга Кантора. Это одно из самых фундаментальных утверждений в математике. Аксиома выбора звучит обманчиво просто. Она утверждает, что из любого множества непустых множеств можно "выбрать" одновременно по одному элементу из каждого.

Для простоты представьте себе бесконечную библиотеку (важно, попробуйте представить или почувствовать именно бесконечность), где каждая полка содержит бесконечное множество книг. Аксиома выбора Кантора, сформулированная в начале XX века, утверждает нашу способность (при этом у вас нет никаких правил или алгоритмов выбора) одновременно «выбрать» по одной книге с каждой полки, даже если полок бесконечно много.

Звучит естественно и логично, не правда ли? Просто «выбрать» с каждой полки по одной книге. Как дыхание — настолько естественно, что мы не замечаем его важности. Но именно эта "естественность" и породила один из величайших парадоксов в истории математики.

Стефан Банах и Альфред Тарский в 1924 году показали ошеломляющее следствие, если аксиома выбора Кантора верна,то можно взять апельсин, разрезать его на конечное число кусков и собрать из них... два апельсина того же размера. Парадокс Банаха-Тарского — это математический монстр, которое превращает один объект в два без добавления материи.

Если аксиома выбора Кантора не верна, то исчезают многие существующие фундаментальные математические теоремы.

Попросту говоря, физика теряет математические инструменты, которые сегодня использует.

Яндекс карты в вашем смартфоне использует математику, которая опирается на аксиому выбора. Без неё навигация могла бы стать невозможной.

Или например, большие языковые модели, такие как ChatGPT, не смогли бы обучаться, так как машинное обучение опирается на оптимизацию в бесконечномерных пространствах.

Математический мир разделился на два непримиримых лагеря. Одни видели в аксиоме выбора Кантора необходимый инструмент для работы с бесконечностями, другие — источник логических монстров, подобных парадоксу Банаха-Тарского, где шар можно разложить на части и собрать два идентичных шара.

Спор длился десятилетиями. И казалось, что история должна рассудить. Либо аксиома выбора Кантора истинна, либо ложна. Третьего не дано. Но математика приготовила сюрприз, который перевернул само понимание истины.

Вот где начинается философская драма. Коэн не просто доказал, что аксиома выбора Кантора может быть истинной или ложной. Он показал, что отрицание этой аксиомы тоже может быть такой же основой для полноценной, непротиворечивой математики.

Это философский переворот, упакованный в строгие логические математические конструкции. Коэн показал, как можно "принудить" математическую вселенную к принятию или отвержению аксиомы выбора, создавая модели «объективной реальности», где она либо действует, либо не действует.

То есть, представьте архитектора, который может строить здания, где гравитация работает как обычно, и здания, где она не работает вовсе — и оба типа строений будут одинаково устойчивыми и логически последовательными и имеющие право на существование по всем законам математики.