Бесконечности не существует: математики хотят выгнать её из науки — и у них даже есть аргументы
Бесконечность кажется одной из самых естественных идей в математике. Числовая прямая не заканчивается, между двумя точками всегда можно поставить ещё одну, а к любому числу можно прибавить единицу. На этом держится привычный язык доказательств, функций, множеств и пределов. Но небольшая группа исследователей много лет спорит с этой привычкой и предлагает убрать бесконечность из математики.
Самым громким сторонником такого отказа остаётся Дорон Зейлбергер, профессор Ратгерского университета и известный специалист по комбинаторике. Зейлбергер описывает мир не как гладкий поток, а как дискретную систему: реальность, по его мнению, переключается отдельными состояниями, почти как кадры в старом флипбуке. Там, где глаз видит плавное движение, математик ищет мелкую зернистость, которую человеческая интуиция просто сглаживает.
Зейлбергер сравнивает веру в бесконечность с религиозной верой. Идея удобна: линии уходят за край доски, формулы продолжаются многоточиями, доказательства работают с последовательностями без конца. Но бесконечность нельзя наблюдать напрямую. Никто не показывает бесконечную прямую целиком, не выписывает бесконечный ряд до последнего элемента и не проверяет бесконечный объект шаг за шагом. Поэтому Зейлбергер считает, что строгой науке не стоит опираться на сущность, которую невозможно прощупать.
Такой взгляд называют ультрафинитизмом. Его сторонники сомневаются не только в бесконечности, но и в чрезвычайно больших числах, которые нельзя записать, вычислить или построить на практике. Для ультрафинитиста важна не абстрактная возможность продолжать счёт, а реальные ограничения: время, память, длина доказательства, мощность компьютера и физические пределы Вселенной.
Один из любимых примеров сторонников этого направления - число Скьюза. Математики используют это название для огромной величины, которую невозможно выписать в десятичной записи. Отсюда возникает неприятный вопрос: если величину нельзя записать, найти в природе, проверить на простоту или полностью удержать в вычислении, насколько уверенно можно называть её числом? Классическая математика отвечает без колебаний. Ультрафинитисты как раз и спорят с такой уверенностью.
Большинство математиков воспринимают ультрафинитизм как удар по основам профессии. Современная математика опирается на теорию множеств, где бесконечные наборы чисел рассматриваются как полноценные объекты. Целые числа можно представить сразу как завершённое множество, а не как процесс добавления единицы без конца. Из этой логики выросла значительная часть математического языка XX и XXI веков.
В конце XIX века Георг Кантор придал бесконечности особенно сильный статус. Он предложил работать с бесконечными множествами как с завершёнными объектами и показал, что бесконечность бывает разной величины. Натуральных чисел бесконечно много, точек на прямой тоже бесконечно много, но второе множество больше первого в строгом математическом смысле. Для одних исследователей канторовская теория открыла новый язык, для других впустила в математику слишком смелые сущности.
У актуальной бесконечности быстро обнаружились странные последствия. Самый известный пример - парадокс Банаха - Тарского. В строгой теории шар можно разбить на несколько частей и собрать из них два шара того же размера, что и исходный. Физический эксперимент с ножом здесь ни при чём: парадокс живёт в абстрактной геометрии и теории множеств. Но сам результат хорошо показывает, как далеко привычная математика иногда уходит от физической интуиции.
Философ Джастин Кларк-Доан из Колумбийского университета признаёт, что первая встреча с ультрафинитизмом часто вызывает недоверие. Идея о пределе чисел легко кажется чудачеством. Где поставить последний допустимый номер? Почему именно там? Кто решит, какая величина ещё существует, а какая уже нет? Сторонники ультрафинитизма отвечают иначе: граница может оставаться размытой, как многие рубежи в обычной жизни.
Советский математик и диссидент Александр Есенин-Вольпин сыграл важную роль в развитии этой линии. Он отвергал потенциальную бесконечность и сомневался даже в больших конечных величинах, если человек не способен построить их разумом или вычислительной процедурой. После преследований в СССР и эмиграции в США Есенин-Вольпин продолжил разрабатывать логику, где существование числа зависит от возможности его получить.
Логик Харви Фридман однажды попытался заставить Есенина-Вольпина назвать точную границу. Он спрашивал про числа вида 2 в степени n: существует ли значение при n = 1, затем при n = 2, затем дальше, вплоть до огромных степеней. Есенин-Вольпин отвечал утвердительно, но с каждым новым шагом делал всё более длинную паузу. Диалог быстро терял практический смысл. В этом и заключался ответ: предел проявляется через ресурсы, а не через заранее названную последнюю цифру.
Подобная логика плохо сочетается с классической строгостью. Математика любит чёткие правила: утверждение доказано или не доказано, объект существует или не существует. Ультрафинитизм предлагает работать с пограничными зонами, где число можно принять при одном уровне ресурсов, но нельзя при другом. Для многих математиков такая размытость подрывает саму идею формальной теории.
В 1970-х годах похожий кризис пережил математик Принстонского университета Эдвард Нельсон. Он попытался построить арифметику без скрытой опоры на бесконечность. Даже простое правило, по которому к числу всегда можно прибавить единицу и получить новое значение, уже несёт бесконечный заряд: процесс не имеет последнего шага. Нельсон хотел понять, какая математика останется после удаления этого допущения.
Новая арифметика оказалась крайне слабой. В ограниченных системах Нельсона не удавалось доказать даже привычное свойство сложения: a + b = b + a. Возведение в степень тоже теряло универсальность. Числа 100 или 1000 ещё можно было построить, а выражение вроде 100 в степени 1000 уже выходило за пределы доступных правил. Математическая индукция, один из главных инструментов доказательства, почти исчезала.
Нельсон считал слабость своей арифметики не провалом, а намёком на правду. Он надеялся показать, что стандартные аксиомы Пеано, лежащие в основе привычного счёта, приводят к противоречию. В 2003 году математик объявил о найденной несогласованности, но коллеги быстро обнаружили ошибку в доказательстве. Классическая арифметика выдержала удар, зато ограниченные системы Нельсона пригодились в теоретической информатике.
Компьютерные науки придали ультрафинитистским идеям более практичный смысл. Исследователей интересует, какие утверждения алгоритм доказывает эффективно, а какие требуют слишком много времени или памяти. В этой области конечные ресурсы уже не философская прихоть, а обычное условие работы любой программы. Ограниченная арифметика помогает описывать пределы вычислений и показывает, где формальное доказательство упирается в стоимость алгоритма.
Весной 2025 года Кларк-Доан собрал в Колумбийском университете редкую конференцию об отказе от бесконечности. В Нью-Йорк приехали философы, логики, математики, физики, убеждённые ультрафинитисты, сторонники теории множеств и просто любопытные участники. Споры давались тяжело. Философы привыкли обсуждать основания науки, а математики обычно ждут, что разногласие сведётся к ошибке в доказательстве.
На встрече проявилась главная слабость движения: у ультрафинитизма нет единой формальной теории. Зейлбергер предпочитает другой путь и переписывает отдельные разделы математики. Математический анализ он рассматривает не как царство непрерывных величин, а как предельный случай дискретного анализа. Вместо гладкой прямой можно взять цепочку чисел с очень маленькими, но конечными промежутками. Производные тогда уступают место разностным уравнениям: изменения считают не через бесконечно малые величины, а через конечные шаги.
Философ математики Жан-Поль ван Бендегем пришёл к конечной геометрии через школьный вопрос. Учитель нарисовал на доске прямую и сказал, что линия продолжается бесконечно. Ван Бендегем спросил, куда именно уходит черта и что происходит по обе стороны доски. Позже он разработал вариант геометрии, где точки и линии имеют ширину, а фигуры делятся только ограниченное число раз. Такая геометрия не заменяет классическую во всех задачах, но позволяет рассуждать о пространстве без бесконечно малых объектов.
Физика добавляет спору новый слой. Люди часто представляют Вселенную бесконечно большой и бесконечно делимой, но физики давно относятся к этой картине осторожно. Планковская длина задаёт масштаб, ниже которого привычное понятие расстояния теряет смысл. Бесконечности в уравнениях тоже часто создают проблемы, а не дают готовые ответы. Космологические модели с бесконечно растущей Вселенной трудно использовать для точных прогнозов.
Физик Шон Кэрролл из Университета Джонса Хопкинса изучает конечные модели квантовой механики и допускает, что Вселенная может быть не бесконечной, а просто очень большой. Для ультрафинитистов такие идеи звучат обнадёживающе: если физический мир ограничен, математика с бесконечными объектами уже не описывает природу напрямую. Но Кэрролл подчёркивает, что доказательств пока недостаточно. Аргументы должны предъявить те, кто хочет выгнать бесконечность из науки.
Квантовый физик Николя Жизен из Женевского университета связывает спор о бесконечности с конфликтом между классической и квантовой физикой. На больших масштабах системы ведут себя предсказуемо, а в квантовом мире результат измерения остаётся вероятностным. Жизен предполагает, что причина может скрываться в вещественных числах, которыми физики описывают состояния частиц с бесконечной точностью.
Без бесконечно точных чисел детерминизм теряет статус исходной истины. Предсказуемость крупного мира превращается в приближение, а не в абсолютный закон, записанный в микроскопических данных Вселенной бесконечной цепочкой цифр. В такой картине информация возникает постепенно. Точность можно повышать снова и снова, но идеальное значение потребовало бы бесконечного времени, а бесконечное время не относится к реальному опыту.
Даже физики, которым интересны конечные модели, не предлагают закрыть классическую математику. Если будущие эксперименты укажут на ограниченность физического мира, теоретикам множеств всё равно никто не запретит изучать бесконечности как самостоятельные абстрактные объекты. Математика не обязана полностью совпадать с физикой. Но экспериментальная бесконечность в природе нанесла бы ультрафинитистам куда более тяжёлый удар.
Ультрафинитизм пока остаётся небольшим и спорным направлением. У движения мало молодых исследователей, нет общей системы правил и нет ответа, где проходит последняя граница допустимых чисел. Но вопрос уже трудно списать на одну эксцентричность. Зейлбергер и его единомышленники напоминают: бесконечность слишком долго работала в математике как настройка по умолчанию. Теперь философы, логики и физики проверяют, какие разделы науки действительно нуждаются в бесконечных объектах, а где хватает конечных шагов, чисел и ресурсов.