Какую выгоду сулит отказ от бесконечности?

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

Дорон Цайльберger убежден: у всего на свете есть предел. Человеческие возможности конечны, природа ограничена, а следовательно, конечны и числа. Если посмотреть в окно, то там, где обыватель видит непрерывный поток времени и пространства, Цайльбергер замечает Вселенную, функционирующую по принципу механических часов.

Для ученого слепая вера в бесконечность сродни религиозному догматизму. Это привлекательная концепция, которая ласкает человеческую интуицию и помогает объяснять сложные явления, однако зафиксировать бесконечность эмпирически невозможно, а значит, и природа ее остается загадкой. Математические формулы устремляются прямыми линиями за пределы доски — но куда именно? Строгие доказательства пестрят многозначительными многоточиями. Подобные уравнения и выкладки, как заявляет заслуженный профессор Ратгерского университета и признанный авторитет в области комбинаторики Цайльбергер, «глубоко уродливы» и концептуально несостоятельны. Вся эта бесконечная математика — «абсолютная бессмыслица», произносит он с хрипотцой в голосе человека, доведенного до истощения бесконечными спорами.

С прагматической позиции от бесконечности можно с легкостью отказаться, утверждает он. «В действительности она никому не нужна». К примеру, математический анализ вполне жизнеспособен без бесконечно малых величин и пределов. Плавные кривые на поверку оказываются шероховатыми, напоминая зернистую наждачную бумагу, а вычислительные машины великолепно оперируют конечным набором знаков (к слову, свой персональный компьютер Цайльбергер назвал «Шалош Б. Эхад» и официально указывает его в качестве соавтора собственных публикаций). Отбросив бесконечность, мы потеряем лишь тот раздел математики, которым «изначально не стоило заниматься», резюмирует математик.

Большинство его коллег придерживаются диаметрально противоположного мнения, считая бреднями как раз идеи самого Цайльбергера. И дело здесь не только в том, что бесконечность невероятно удобна для описания окружающего мира. Сама концепция числовых множеств (например, ряда целых чисел) как реальных бесконечных сущностей заложена в фундамент современной математики, составляя основу ее базовых аксиом.

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

Цайльбергер категорически с этим не согласен. Для него принципиально важна не гипотетическая возможность чего-либо, а реализуемость на практике. В сухом остатке это означает, что сомнению подвергаются не только бесконечные величины, но и колоссальные числа. Возьмем, к примеру, «число Скьюза», равное e⁷⁹ . Это астрономически великая величина, которую еще никому не удавалось записать в привычной десятичной форме. Что вообще можно о ней сказать? Целое ли оно? Простое ли? Не исключено, что перед нами вовсе не число.

Отсюда закономерно возникает вопрос: где же пролегает грань? Цайльбергер не дает ответа. Впрочем, ответить не может никто. Именно по этой причине ультрафинитизм сталкивается со столь мощным неприятием в академической среде. «Когда впервые сталкиваешься с ультрафинитизмом, он кажется форменным шарлатанством — примерно как заявление вроде «мне кажется, во Вселенной существует самое большое число»», — отмечает Джастин Кларк-Доан, философ из Колумбийского университета.

«Многие коллеги воспринимают подобные тезисы как чистый абсурд», — вторит ему Джоэл Дэвид Хэмкинс, специалист по теории множеств из Университета Нотр-Дам. Обсуждать ультрафинитизм за официальным ужином математического сообщества не принято. Им интересуются лишь единицы — можно сказать, ультраконечное количество энтузиастов. А убежденных проповедников вроде Цайльбергера, готовых открыто отстаивать столь радикальные взгляды, и вовсе единицы. Проблема не только в том, что ультрафинитизм идет против мейнстрима. Он предлагает принципиально обедненную математику, в рамках которой важнейшие вопросы попросту теряют право на существование.

Тем не менее, эта философия заставляет таких мыслителей, как Хэмкинс, серьезно задуматься. В определенном смысле ультрафинитизм выглядит более реалистичной дисциплиной. Он гораздо тоньше учитывает реальные возможности человечества по фиксации и проверке данных, а возможно, и точнее отражает устройство материального мира. Мы привыкли мыслить пространство и время бесконечными и непрерывно делимыми. Однако ультрафинитисты возражают, что современная наука всё чаще расшатывает эти допущения — ровно так же, как в своею время она поставила под сомнение бытие Бога.

«Картина мироздания обязана быть кристально честной от основания до вершины», — убежден Кларк-Доан. В апреле 2025 года он организовал специализированную конференцию, посвященную ультрафинитизму. «Если количество объектов во Вселенной конечно, логично пользоваться математикой, которая не постулирует их бесконечное множество». По его мнению, подобный подход «обязательно должен стать частью философии математики».

Тем не менее, чтобы научное сообщество восприняло ультрафинитизм всерьез, его сторонникам необходимо выработать единый концептуальный аппарат. Рассуждения, которые Хэмкинс пренебрежительно именует «пустословием», должны кристаллизоваться в строгую теорию. Математика опирается на формализованные системы и универсальные правила, а у ультрафинитизма пока нет ничего подобного.

Одно дело — точечно критиковать отдельные положения, и совсем другое — переписывать логический фундамент всей науки. «Вряд ли ультрафинитизм отвергают из-за наличия железобетонных контраргументов, — считает Кларк-Доан. — Скорее, научное сообщество считает это направление заведомо тупиковым».

Сам же Цайльбергер охотно жертвует академическим изяществом ради математики, которая, подобно реальному миру, полна шероховатостей. Он скорее публицист от науки, нежели создатель фундаментальных теорий — на его персональном сайте опубликовано 195 мнений. Ученый уверен, что со временем математики оглянутся назад и признают правоту таких чудаков, как он, бросивших вызов архаичным догмам подобно борцам с суевериями прошлых эпох. «К счастью, еретиков теперь не сжигают на кострах».

Диссидентская математика

Аристотель воспринимал бесконечность лишь как горизонт, к которому можно бесконечно приближаться, но которого никогда не достичь. Эта «потенциальная» бесконечность царила в умах тысячелетиями.

Однако на исходе XIX века Георг Кантор со своими единомышленниками доказали, что бесконечность может иметь статус самостоятельной реальности. Подход Кантора заключался в том, чтобы трактовать числовые последовательности (например, множество целых чисел) как завершенные бесконечные ансамбли. На этой базе выросла теория множеств Цермело–Френкеля — тот самый краеугольный камень, на котором держится вся современная математика. Кантор продемонстрировал, что бесконечность обладает реальнымбытием. Более того, бесконечности бываютразных масштабов. Сопоставляя эти бесконечные величины, исследователи выводят поразительные закономерности, которые на первый взгляд никак не связаны с бесконечностью. И хотя высшими бесконечностями профессионально занимаются лишь единицы, «сегодня практически каждый математик является актуалистом», то есть безоговорочно признает актуальную бесконечность, констатирует Хэмкинс. Ее существование принимается как аксиома по умолчанию.

Впрочем, этот фундамент современной науки с момента своего заложения вызывал ожесточенные дискуссии. Во-первых, принятие базового постулата о бесконечности порождает контртуитивные парадоксы: ярчайшим примером служит теорема Банаха–Тарского, согласно которой трехмерный шар можно разрезать на пять фрагментов и собрать из них два абсолютно идентичных шара исходного объема.

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

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

«Если задаться вопросом, какие именно числа признаются существующими в этой системе координат, ответ будет однозначным: лишь те, которые поддаются реальному построению на практике, а не существующих исключительно в теории», — поясняет Офра Магидор, философ из Оксфордского университета.

Новая волна интуиционизма, учитывающая физические ограничении вычислительных возможностей, сформировалась в 1960–1970-х годах благодаря трудам выдающегося советского математика и поэта Александра Есенина-Вольпина.

Есенин-Вольпин был широко известен в первую очередь как бескомпромиссный диссидент: за правозащитную деятельность советский режим неоднократно помещал его в психиатрические стационары. После вынужденной эмиграции в 1970-х годах он обосновался у Рохита Париха, логика из Городского университета Нью-Йорка. Именно там ученый развивал концепцию, отрицавшую не только потенциальную бесконечность, но и непомерно большие числа, выходящие за рамки человеческого воображения.

Логик Харви Фридман однажды предложил Есенину-Вольпину определить точный критерий, за которым число утрачивает свой статус. Возьмем выражение вроде 2ⁿ: при каком показателе n числа окончательно исчезают из реальности? Считается ли числом 2⁰? А как насчет 2¹, 2² и так далее вплоть до 2¹⁰⁰? Есенин-Вольпин методично разбирал каждый случай. Да, 2¹ существует. Да, 2² тоже. Однако с каждым новым шагом паузы перед ответом становились все продолжительнее, грозя превратить диалог в бесконечную процедуру.

Таким изящным способом Есенин-Вольпин иллюстрировал собственную позицию. Как впоследствии отмечали Парих и его последователи, границу существования чисел определяют материальные ресурсы, необходимые для верификации: временные затраты, объем машинной памяти, физическая протяженность логического доказательства. «Большинство ультрафинитистов сходятся на том, что демаркационная линия между конечным и бесконечным размыта самой своей природой», — подчеркивает Кларк-Доан.

По мнению Есенина-Вольпина, определенное свойство может быть справедливо для n и для n + 1 — ровно до того момента, пока в какой-то точке оно не перестанет выполняться. Ребенок постепенно взрослеет, пока в один прекрасный день перестает считаться ребенком. Высчитывать точное мгновение перехода необязательно; принципиально то, что этот рубеж объективно существует.

Идеи Есенина-Вольпина заложили основу принципиально новой математики, допускающей элемент размытости и неопределенности. Современные ультрафинитисты подхватили это знамя, пытаясь облачить маргинальные и парадоксальные интуитивные догадки в одежды строгой научной теории.

Управление кризисом

Однажды утром 1976 года принстонский математик Эдвард Нельсон проснулся с ощущением глубокого экзистенциального кризиса. «В тот момент меня накрыло всепоглощающее осознание собственного высокомерия — веры в реальность бесконечного числового космоса, — вспоминал он спустя годы. — Я почувствовал себя беспомощным младенцем, способным пересчитывать объекты разве что по пальцам».

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

Результат оказался ошеломляюще слабым. Изучая различные версии бескомпромиссных финитистских аксиом, Нельсон выяснил, что в их рамках невозможно доказать даже столь очевидное свойство, как коммутативность сложения ($a + b = b + a$). Возведение в степень также теряло универсальность: система позволяла оперировать числами 100 или 1000, но операция вроде 100¹⁰⁰⁰ оказывалась недоступной. Более того, мощнейший инструмент математического анализа — метод математической индукции, утверждающий перенос свойства с частного случая на все множество, — исчезал бесследно.

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

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

Тем не менее, усеченная арифметика Нельсона и близкие к ней варианты нестандартных исчислений, разработанные Парихом и другими теоретиками, нашли неожиданное применение в информатике. Эти наработки оказались востребованы при оценке вычислительной сложности алгоритмов и определении границ их возможностей.

Упражнения на терпение

В апреле 2025 года нью-йоркская конференция в Колумбийском университете, посвященная отказу от бесконечности, собрала пеструю компанию участников. Среди делегатов присутствовали физики, философы, специалисты по математической логике, убежденные ультрафинитисты калибра Цайльбергера, адепты традиционной теории множеств и просто случайные исследователи. По образному выражению организатора Кларка-Доана, мероприятие стало «серьезным испытанием выдержки для каждого».

Дискуссия показала, что движение к созданию универсальной ультрафинитистской теории буксует, во многом из-за отсутствия единой стратегической цели и согласия насчет базовой логики. Возможно, зацикливание на пересмотре фундаментальных аксиом в духе Нельсона — тупиковый путь. «Лично я считаю это пустой тратой ресурсов, — отмечал Парих. — Формальные системы должны работать как бинокль, позволяя вглядываться в даль. Если вы начнете скрупулезно изучать устройство самого оптического прибора — вы проиграли».

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

Для Жана Поля ван Бендегема, философа науки из Брюссельского свободного университета, погружение в ультрафинитизм началось вовсе не с чисел, а с банального школьного урока геометрии. Учитель начертил на доске прямую линию, якобы уходящую в бесконечность. «Куда именно?» — недоумевал юный ван Бендегем. Если правый конец уходит в беспредельность в одном направлении, а левый — в противоположном, пересекутся ли они где-то на изнанке бытия? Или за краями классной доски скрываются совершенно разные бесконечности? Преподаватель просто посоветовал мальчику прекратить задавать глупые вопросы.

Спустя годы ван Бендегем превратился в одного из ведущих адептов ультрафинитистской логики и занялся разработкой альтернативной геометрии, где любые линии и кривые обладают ненулевой толщиной, являются конечными и состоят из строго ограниченного числа сегментов. Их можно делить на элементарные точки, но эти точки обладают конечными размерами. Все геометрические объекты в такой системе также конечны, образуя дискретный аналог стандартного черчения. Подобные инструменты пока имеют ограниченное применение, но за последние десятилетия они обросли серьезной исследовательской базой. И дело здесь не только в чистой философии: построение жизнеспособной конечной физики требует четкого понимания того, как устроены базовые пространственные формы.

Хотя мы привыкли мыслить Вселенную бесконечно протяженной и безгранично делимой, сами физики все чаще подвергают этот постулат сомнению. Существуют фундаментальные физические лимиты — например, планковская длина, которую часто называют «квантовым пикселем пространства». На субпланковских масштабах само понятие дистанции теряет всякий смысл, а неизбежно возникающие в физических уравнениях бесконечности обычно воспринимаются как досадная помеха. «Моделировать эволюцию Вселенной, которая расширяется без ограничений и порождает бесконечное множество дублирующих друг друга миров — задача невероятной сложности», — отмечает Шон Кэрролл, физик из Университета Джонса Хопкинса, разрабатывающий финитистские модели квантовой механики. «Большинство космологов предпочитают отделываться от этой проблемы простым игнорированием».

Для Николаса Гизина, квантового физика из Бременского конструкторского университета и Женевского университета, интуиционистская математика служит ключом к разгадке фундаментальной тайны мироздания: на макроуровне физические процессы детерминированы и предсказуемы, тогда как в микромире царит квантовая вероятностная стихия, где частица до момента измерения пребывает в суперпозиции состояний. Научное сообщество уже век бьется над разрешением этого концептуального дуализма.

По мнению Гизина, корень проблемы кроется в изначальной методологической ошибке. Исследователи молчаливо исходят из того, что с момента Большого взрыва квантовое состояние любой системы задавалось с бесконечной точностью — вещественными числами, обладающими бесконечной последовательностью знаков после запятой. Однако опираться на континуум действительных чисел, по словам Гизина, — заблуждение. Приняв на вооружение интуиционистский подход, мы обнаружим, что кажущийся детерминизм макромира — лишь иллюзия, возникающая из-за приписывания физическим системам избыточной, нереалистичной точности. В результате поведение крупных систем естественным образом приобретает черты стохастичности, а водораздел между квантовой и классической реальностью стирается. Данная гипотеза встретила живой отклик среди физиков, поскольку она обещает пролить свет на природу времени и разрешить космологические парадоксы ранней Вселенной.

При этом концепцию потенциальной бесконечности в аристотелевском ключе Гизин не отвергает: объем информации во Вселенной действительно может постоянно возрастать, однако абсолютной точности она достигнет лишь за бесконечный промежуток времени. «А это не имеет никакого отношения к физической реальности», — резюмирует ученый. Ключевой итог заключается в том, что бесконечность перестает играть роль незыблемого постулата.

Подобные физические аргументы приводят математиков-ультрафинитистов в абсолютный восторг, воспринимаясь ими как эмпирическое подтверждение корректности их мировоззрения. Выступая на конференции 2025 года, Кэрролл рассуждал о том, является ли наша Вселенная бесконечной или же она «просто колоссальна по своим масштабам». Тем не менее, бремя доказательства, как предостерегает физик, по-прежнему лежит на плечах скептиков. Если бы экспериментальные данные неопровержимо подтвердили конечность Вселенной, даже самые ревностные поборники высших бесконечностей были бы вынуждены взять паузу на раздумья. Впрочем, даже в таком сценарии специалисты по теории множеств могут заявить о независимости математических миров от физических, оставив бесконечности прописку в платоновском пространстве идей.

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

Поиск общего языка

По мнению Кэрролла, маркетинг и продвижение ультрафинитистских идей оставляют желать лучшего.

В академическом мире лучшей рекламой для нового направления стала бы стройная аксиоматическая теория наподобие той, что безуспешно пытался сконструировать Нельсон. Речь идет о наборе строгих формальных правил — свободных от бесконечности, но обладающих достаточной мощностью для развития прикладной математики.

Как отмечает Кларк-Доан, недостатка в свежих гипотезах нет, хотя научному сообществу явно не хватает молодых амбициозных исследователей, готовых рискнуть академической карьерой ради столь маргинальной тематики. Саму встречу в Нью-Йорке он рассматривает как позитивный симптом: у ученых вновь просыпается здоровое любопытство, а страх перед профессиональным остракизмом постепенно отступает.

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

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

Цайльбергер любит вспоминать собственный фрагмент из документального фильма BBC 2010 года, ставший его звездным часом. «Бесконечность может существовать, а может и нет; точно так же Бог может существовать, а может и нет, — заявил тогда математик. — Но в строгой науке нет места ни для того, ни для другого». Таким образом он заочно полемизировал с Хью Вудиным, ведущим экспертом по теории множеств и исследователем трансфинитных величин. Вудин как-то обмолвился, что искренне жалеет Цайльбергера, лишенного способности вглядываться в ночное небо и ощущать грандиозную эстетику бесконечных миров. «Это мне жаль его, ведь ему жизненно необходим опиум бесконечности, чтобы двигаться дальше, — парирует Цайльбергер. — Вокруг полно первозданной красоты в облике земных деревьев и ландшафтов. Зачем уповать на вымышленные сущности?»

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

Автор перевода @arielf

---

НЛО прилетело и оставило здесь промокод для читателей нашего блога:
-15% на заказ нового VDS — HABRFIRSTVDS.

Положение об акции

 

Источник