В ленте попался перевод на Хабре свежего материала Quanta Magazine — про математика, который называет бесконечность «полной чепухой» и сравнивает веру в неё с верой в Бога. Заголовок обещал философскую курьёзу, а под ним разворачивалась настоящая война — за право бесконечно больших чисел называться числами.
Направление называется ультрафинитизм: «ультра» здесь про радикализм. Обычная математика веками спорит лишь о том, как понимать бесконечность. Ультрафинитизм идёт дальше и объявляет часть обычных чисел несуществующими — те, что невозможно построить и предъявить. Позиция настолько крайняя, что до недавнего времени её всерьёз обсуждать значило рисковать репутацией.
А в апреле 2025 года ультрафинитизму посвятили трёхдневную конференцию в Колумбийском университете; в августе того же года о движении вышла большая статья в New Scientist, а в апреле 2026-го — разбор Quanta, перевод которого и попался в ленте. Это и есть сюжет: как самая презираемая ересь в математике начала получать аудиторию — потому, что у неё наконец появились работающие теории.
Аристотель считал бесконечность тем, к чему можно бесконечно приближаться, но что нельзя объявить существующим. «То, что процесс деления никогда не заканчивается, обеспечивает потенциальное существование этой деятельности, — писал он, — но не то, что бесконечное существует отдельно». Эта «потенциальная» бесконечность держалась тысячелетиями.
В конце XIX века Георг Кантор её сломал. Он предложил рассматривать ряд чисел, например целые числа, как полное бесконечное множество — не как процесс, уходящий вдаль, а как готовый объект. На этом выросла теория множеств Цермело–Френкеля, фундамент всей современной математики. «Сегодня почти каждый математик — актуалист», — говорит теоретик множеств Джоэл Дэвид Хэмкинс: бесконечность принимают по умолчанию.
У этой веры есть измеримая цена. Из допущения актуальной бесконечности выводится теорема Банаха–Тарского: шар можно разрезать на пять частей и собрать из них пять шаров, каждый объёмом с исходный. Для одних это красота, для других — доказательство, что в фундаменте что-то подгнило.
Возражения появились сразу. Интуиционисты во главе с Брауэром настаивали: математический объект нельзя объявить существующим, нужно построить его. Для них π — не число с бесконечной десятичной записью, а алгоритм, порождающий цифры. Но и интуиционизм запрещал только актуальную бесконечность, оставляя потенциальную: построение должно быть возможно в принципе. Ультрафинитизм — это следующий шаг: число существует, только если его реально можно сконструировать.
Основателя движения звали Александр Есенин-Вольпин, и его биография стоит отдельной книги. Он родился 12 мая 1924 года в Ленинграде; его отцом был поэт Сергей Есенин, с которым он так и не познакомился — тот погиб в 1925-м. Александр стал математиком, в 1949-м окончил МГУ со степенью кандидата наук.
В том же году он уехал в Черновцы — и меньше чем через месяц после приезда был арестован за «систематическую антисоветскую агитацию»: он писал антисоветские стихи и читал их знакомым. Оказавшись перед выбором между лагерем и психбольницей, он инсценировал попытку самоубийства, чтобы попасть на психиатрическую экспертизу. Институт имени Сербского объявил его невменяемым, и он оказался в ленинградской психиатрической тюрьме, а затем в пятилетней ссылке в Караганде. Освободила его амнистия после смерти Сталина — в декабре 1953-го он вернулся в Москву.
В 1959 году его пригласили на математический симпозиум в Польшу — и отказали в паспорте с формулировкой, что психически больным советским гражданам выезд за границу не положен. Текст доклада он отправил в Варшаву, и там его зачитали без автора. Доклад назывался «Ультра-интуиционистская программа оснований математики» — это и есть манифест, с которого начался ультрафинитизм.
Дальше — «митинг гласности» на Пушкинской площади в 1965-м, требовавший открытого суда над Синявским и Даниэлем; около двухсот человек, значительная часть которых оказалась оперативниками КГБ. Есенин-Вольпин исповедовал «легалистскую» стратегию: требовать от государства буквального исполнения собственных законов. В 1968-м его снова отправили в психбольницу, что вызвало «Письмо девяноста девяти» в защиту; после передачи «Голоса Америки» его выпустили почти сразу. Владимир Буковский сказал про его диагноз точнее любого психиатра: «патологическая честность».
В 1972 году он эмигрировал в США, преподавал в Буффало и Бостонском университете, потом работал библиотекарем. И вот что здесь не совпадение: его математика и его политика — один и тот же жест. И там и там он требовал, чтобы вещь была ровно тем, что можно построить и предъявить, и отказывался принимать что-либо на веру — будь то бесконечность или советская конституция.
Логик Харви Фридман однажды решил поймать Есенина-Вольпина на противоречии. Объекция «тогда назови границу» звучит убийственно: хорошо, числа не бесконечны, но где именно они кончаются?
Фридман начал с двойки: существует ли 2¹? Да, немедленно. 2²? Да, но с заметной паузой. 2³ — с паузой побольше. Так продолжалось несколько раз, пока не стало ясно, что происходит.
Есенин-Вольпин был готов всегда ответить «да» — но на 2¹⁰⁰ он собирался отвечать «да» примерно в 2¹⁰⁰ раз дольше, чем на 2¹. Объекция рассыпалась: она требовала чёткой границы, а её нет и не должно быть. Для Есенина-Вольпина не существует единственного, раз навсегда заданного ряда натуральных чисел — есть разные, и в каждом своё «слишком много». Ребёнок растёт, пока однажды не перестаёт быть ребёнком; никто не обязан назвать точный день, важно лишь, что конец где-то есть.
Существование, по этой логике, определяется осуществимостью: временем и памятью, нужными для демонстрации. Число, которое нельзя ни записать, ни предъявить, — это многоточие с претензией.
Тот самый варшавский доклад предлагал немыслимое: доказать непротиворечивость теории множеств Цермело–Френкеля — то есть всей математики — ультрафинитистскими средствами. Сам Есенин-Вольпин программу довёл только до наброска, но из неё выросли конкретные результаты.
В 1971 году Рохит Парих впервые дал всему движению формальный фундамент. Он ввёл термин «осуществимые числа», постулировав, что они замкнуты относительно сложения и умножения, и спросил: где проходит граница?
Ответ удивил самих ультрафинитистов. Постулировать скромную границу «все осуществимые числа меньше башни из тысячи двоек» нельзя — башня из тысячи двоек сама выводится как осуществимая, так что такая аксиома ведёт к прямому противоречию. Самое сильное утверждение о границе, которое удаётся непротиворечиво постулировать, звучит как «все осуществимые числа меньше башни из двоек высотой 2^1000». Ультрафинитизм из философии превратился в теорему — и теорема тут же отодвинула границу дальше любой интуиции.
В 1976 году аналогичное озарение накрыло Эдварда Нельсона из Принстона. «Я ощутил мгновенное всепоглощающее присутствие Того, кто уличил меня в высокомерии за веру в реальное существование бесконечного мира чисел, — вспоминал он, — оставив меня, как младенца в колыбели, считать на пальцах». Нельсон попытался построить арифметику заново, без бесконечности. Получилось очень слабо: в такой системе не докажешь даже, что a + b всегда равно b + a; можно построить число 100 или 1000, но не 100 в степени 1000; а индукция исчезает целиком.
Нельсон надеялся этим подорвать обычную арифметику Пеано — показать, что она противоречива. В 2003-м он объявил, что нашёл противоречие, и результат развалился в считанные недели. Зато его слабые системы, как и конструкции Париха, не пропали: из них выросла ограниченная арифметика, которой пользуются специалисты по теории сложности, чтобы понять, что алгоритмы способны доказывать, а что нет.
Аскетичная версия имела и свою цену. В обзорной книге «Конструктивизм в математике» (1988) логик Анне Тролстра отмёл её одной фразой: «удовлетворительного развития на сегодня не существует». В строгом труде по математической логике просто нечего было цитировать.
Самое серьёзное, что случилось с ультрафинитизмом за последние годы, сделал человек, верящий в бесконечность всех сортов, — тот самый Хэмкинс. Он построил теорию, которую назвал «конечной арифметикой»: числа существуют до некоторого наибольшего, а сложение и умножение — функции частичные, они определены, только пока результат не вылетел за границу.
Сразу встаёт неудобный вопрос: почему числа обрываются резко, именно в этой точке, а не чуть дальше? Хэмкинс дал ответ, которого у самой философии не было. Оказалось, что любая модель такой арифметики описывает внутри себя строго более высокую модель, где прежний максимум спокойно возводится в квадрат. У математики с границей есть встроенная лестница наружу: операции как бы постепенно проявляются, шаг за шагом. Более того, каждая такая модель получается отсечением от модели ограниченной индукции — результат, восходящий к Джеффу Парису.
Так ультрафинитизм впервые получил то, чего ему не хватало шесть десятилетий: связную формальную теорию вместо набора мнений.
Лицо у движения появилось раньше теории. Дорон Цайльбергер, профессор Ратгерского университета и знаменитый комбинаторик, вписывает в соавторы своих статей собственный компьютер по имени Шалош Б. Эхад. Матеманализ он объявляет вырожденным случаем дискретного анализа: непрерывные кривые — это «мелкая наждачка», гладкие только на глаз, и всё это заменяется «дискретным ожерельем» из чисел с крошечными, но не бесконечными промежутками. «Я не могу быть профессором с пожизненным контрактом, не занимаясь этой чудацкой ерундой», — говорит он про свои сто девяносто пять опубликованных мнений.
И тут у философии находится неожиданный союзник — физика. Мы привыкли считать пространство и время бесконечно делимыми, но у физиков есть планковский масштаб, за которым само понятие расстояния теряет смысл: «пиксель вселенной». Шон Кэрролл из Университета Джонса Хопкинса играет с финитными моделями квантовой механики и честно говорит: большинство космологов делает вид, будто проблемы бесконечной вселенной не существует.
Ещё дальше пошёл Николя Жизен. В его гипотезе вещественные числа — те самые, с бесконечной десятичной записью, — это скрытые переменные классической механики. Наше представление, будто состояние частицы можно задать с бесконечной точностью, и есть источник загадки: детерминизм — артефакт завышенной точности данных. Стоит перейти к интуиционистской математике — и пропасть между предсказуемым классическим и случайным квантовым мирами просто исчезает. Правда, потенциальную бесконечность Жизен оставляет: информация может накапливаться и накапливаться, просто этот момент никогда не наступит.
В апреле 2025 года Кларк-Доан собрал в Колумбийском университете физиков, философов, логиков и математиков — от Кэрролла до Париха и Хэмкинса. Получился, по его собственному выражению, «урок терпения для всех»: философы привыкли яростно спорить, а потом пить пиво вместе, математики — нет. Обычно если математики расходятся во мнениях, значит кто-то крупно ошибся.
Единой теории ультрафинитизма до сих пор нет, и это главная претензия. У сторонников нет даже общего повода: одних ведёт физика, других — логика, третьих — просто недоверие к многоточиям. «Я не думаю, что ультрафинитизм отвергают из-за веских аргументов против него, — говорит Кларк-Доан. — Просто считают, что это безнадёжно». Но именно это, добавляет он, и меняется: люди начали всерьёз думать, как поставить взгляд на твёрдую основу.
Самый красивый поединок здесь — заочный спор Цайльбергера с Хью Вудином, одним из главных исследователей высших бесконечностей. Вудин сказал, что ему жаль Цайльбергера, неспособного поднять глаза к небу и увидеть красоту бесконечного простора. Цайльбергер ответил в своём стиле: ему жаль Вудина, которому нужен «опиум бесконечности», чтобы жить. «В деревьях и в земле столько красоты. Не обязательно смотреть в сторону вымысла». Так они и жалеют друг друга — каждый считает другого пленником выбранной веры.
У физиков при этом остаётся туз в рукаве: эксперимент. Если бы удалось доказать, что физическая вселенная конечна, даже самые убеждённые приверженцы высших бесконечностей задумались бы. Если бы доказали обратное — ультрафинитистам пришлось бы туго. «Трудно быть ультрафинитистом, если в реальном физическом мире есть бесконечности», — говорит Кэрролл.
Есть и забавная деталь, которая многое говорит о зрелости движения. У него до сих пор нет ни журнала, ни сборника — только личный сайт Цайльбергера, где он держит свои сто девяносто пять мнений и ссылки на работы других. Движению шесть десятилетий, а каталог по-прежнему живёт в папке одного энтузиаста.
И всё-таки главное, что стоит вынести из этой истории: где кончается число, не знает никто. Ни сторонники, ни противники. Защитники бесконечности считают сам вопрос бессмысленным, а ультрафинитисты — неотвеченным, но реальным. Ни доказать, ни посчитать ответ пока нельзя, и именно это делает спор честным. Раньше такие сомнения кончались психбольницей или костром; теперь для них нашлось место в программе Колумбийского университета.
Цайльбергер и сам подводит итог: живи он в 1600-м, его бы сожгли заживо, как Джордано Бруно, а сегодня его наказание — просто быть проигнорированным.