Математики решили «отменить» бесконечность: почему ученые хотят переписать главные законы Вселенной

Бесконечность — фикция? Почему учёные хотят выбросить её из математики

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

«Если дважды два — четыре, то сколько будет дважды два октиллион? А если это число нельзя записать всей бумагой Земли? Ультрафинисты отвечают: такое число не имеет смысла».

Что не так с бесконечностью? Две проблемы, о которых молчат в школе

Большинство современных математиков работает в рамках системы аксиом ZFC. Это свод правил, в котором есть аксиома: «существует бесконечное множество». Мы принимаем её на веру — как аксиому. Но в 1931 году Курт Гёдель доказал: любая достаточно сложная система не может доказать собственную непротиворечивость. Мы верим, что в ZFC нет ошибок, но проверить это невозможно. Ультрафинисты задаются вопросом: а не сама ли аксиома бесконечности — источник всех проблем?

Вторая проблема — гигантские числа. Возьмём число Грэма. Оно настолько велико, что его невозможно записать, даже если бы вся Вселенная была блокнотом. Ультрафинисты утверждают: пока число нельзя физически представить или использовать в расчётах, оно не более чем буквенное обозначение. Живой пример — количество атомов в наблюдаемой Вселенной: 10⁸⁰. Всё, что больше, — абстракция.

Личное наблюдение автора. Недавно я наткнулся на криптографическую задачу, где для перебора ключей требовалось 10¹²⁰ операций. На суперкомпьютере это заняло бы время, превышающее возраст Вселенной. Я вдруг осознал: мы часто оперируем числами, которые не имеют физического смысла. Ультрафинисты правы — это подрывает доверие к результатам.

Как ультрафинитизм работает на практике: от компьютеров до физики

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

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

Микро-инструкция: как ультрафинист подходит к решению задачи

• Убедись, что все числа в задаче имеют физический смысл (меньше 10⁸⁰).
• Оцени вычислительную сложность: если на проверку требуется больше операций, чем атомов во Вселенной, задача считается неопределённой.
• Откажись от ссылок на актуальную бесконечность — замени её на «потенциально неограниченный процесс».

Критика и разумный компромисс

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

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

Резюме от автора

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