Бесконечность, парадоксы, теорема Гёделя о неполноте и математическая мультивселенная | Подкаст Лекса Фридмана #488

Коротко

Джоэл Дэвид Хамкинс, специалист по теории множеств и философии математики, разбирает, как открытие Кантора о разных размерах бесконечности сломало и заново отстроило математику. Он показывает единую логику диагонального аргумента, который лежит в основе несчётности вещественных чисел, парадокса Рассела, теоремы Гёделя о неполноте и проблемы остановки, и объясняет, почему программа Гильберта, мечтавшая свести математику к механическому перекручиванию ручки, разрушена. Центральная позиция Хамкинса: мультивселенная теории множеств. Континуум-гипотеза не имеет единственного ответа, она включается и выключается как выключатель при переходе между множественными математическими вселенными через форсинг. Он защищает платонизм (абстрактные объекты реальнее физических, потому что физическое существование мы понимаем хуже), структурализм (число это роль в структуре, а не сущность) и живописует сюрреальные числа Конвея и бесконечные шахматы с ординальными значениями партий. По ИИ он скептик: LLM выдают текст, который выглядит как доказательство, а не является им.

Главный тезис

Единственной истинной математики не существует: развитие теории множеств за полвека доказывает, что фундаментальные истины (вроде континуум-гипотезы) различаются от одной множественной вселенной к другой, а различие между истиной и доказательством лежит в сердце всей математической логики.

Ключевые идеи

• 2:17, идея Кантора, что одни бесконечности больше других, сломала математику концом XIX века и вызвала теологический, профессиональный и личный кризис.
• 3:45, тысячи лет математики были потенциалистами: актуальную бесконечность считали несвязной, только Галилей приблизился к Кантору, но спасовал.
• 7:45, два множества равномощны тогда и только тогда, когда между ними есть взаимно-однозначное соответствие; это противоречит евклидовому «целое больше части».
• 9:41, отель Гильберта показывает свойство бесконечности: добавление элемента не увеличивает множество, полный отель вмещает нового гостя и целый бесконечный поезд.
• 16:06, уникальность разложения на простые ($3^c \cdot 5^s$) доказывает, что счётное объединение счётных множеств остаётся счётным.
• 23:26, диагональный аргумент Кантора: вещественные числа несчётны, строится число $z$, отличающееся в $n$-й цифре от $n$-го числа списка.
• 33:19, диагонализация, самый плодотворный метод: парадокс Рассела, проблема остановки, теорема о рекурсии, Гёдель, всё это одна логика.
• 36:53, аксиома выбора очевидна как принцип логики, но проблематична, когда нет правила выбора (носки Рассела против ботинок); в противоречивости её обвинить нельзя.
• 1:03:28, программа Гильберта хотела сильную теорию, отвечающую на всё, плюс финитарное доказательство её непротиворечивости; это свело бы математику к механическому перечислению теорем.
• 1:12:00, теоремы Гёделя решительно убивают обе цели Гильберта: полной вычислимо-аксиоматизируемой теории нет, и теория не может доказать собственную непротиворечивость.
• 1:17:27, теория, доказывающая свою непротиворечивость, доверия не заслуживает: даже противоречивая теория докажет свою непротиворечивость, как продавец подержанных машин клянётся в честности.
• 1:22:27, дисквотационная теория истины Тарского: «снег бел» истинно тогда и только тогда, когда снег бел; истина семантична, доказательство синтаксично.
• 49:56, теорема Кантора о степенном множестве (комитеты, фруктовые салаты, Диана/Даниэла) и парадокс Рассела, та же диагональ, поэтому «класса всех множеств» нет.
• 2:35:59, континуум-гипотеза независима даже от всех известных больших кардиналов; форсинг включает и выключает её как свет.
• 1:59:00, абстрактное существование понятнее физического: чем больше физики мы знаем, тем загадочнее становится, что значит «яблоко существует».

Почему это важно

Спор идёт о самом фундаменте: может ли математика стоять на одной непротиворечивой опоре или опор много. Гильберт хотел сделать множества «раем», единой почвой, объединяющей алгебру, анализ и геометрию, чтобы заимствование методов между разделами не было бессвязным. Гёдель и Коэн показали: единственной истины нет, а ключевой вопрос Кантора (первый в списке Гильберта 1900 года) не решается никаким усилением аксиом. Хамкинс на стороне мультивселенной, его научный руководитель Хью Вудин на стороне единой вселенной (программа ultimate L); их философское расхождение не меняет теорем, но определяет, какие вопросы вообще стоит задавать. Ставка касается и теории вычислений: проблема остановки, десятая проблема Гильберта (диофантовы уравнения) и P vs NP наследуют ту же диагональную неразрешимость.

Идеи

• Галилей заметил равномощность точек на отрезках разной длины и на концентрических окружностях за 250 лет до Кантора, но «вскинул руки» в замешательстве.
• Ноль как начало натуральных чисел, это позиция программиста; «остальные математики неправы».
• Рациональные числа плотно упорядочены, но всё равно счётны, тем же трюком $3^p \cdot 5^q$, что и поезд Гильберта.
• Целочисленная решётка обходится змейкой по диагоналям, давая наглядную нумерацию без арифметики степеней.
• Есть шуточное доказательство, что всякое натуральное число интересно: наименьшее неинтересное было бы сверх-интересным.
• Трансцендентные числа (π, e) составляют почти все вещественные, хотя первым конкретным был предъявлен константа Лиувилля.
• Фреге получил письмо Рассела с одностраничным противоречием, когда его труд уже был в печати; он ответил в приложении с трагическим достоинством.
• Хамкинс называет парадокс Рассела теоремой Рассела: нет универсального множества, и это давно перестало путать.
• Логицизм Фреге, по мнению Хамкинса, по сути реализован в теоретико-множественном фундаментализме, если считать аксиомы ZFC логическими по характеру.
• Простейшее доказательство теоремы Гёделя не требует гёделевского предложения, оно выводится прямо из неразрешимости проблемы остановки.
• Дать ответ «да» на проблему остановки тривиально (запусти и жди), а «нет» требует глубокого понимания программы, поэтому вычислимо невозможно.
• Проблема «оживёт ли клетка» в игре «Жизнь» Конвея эквивалентна проблеме остановки.
• У проблемы остановки есть «чёрная дыра»: почти все машины Тьюринга разрешимы, доля решаемых стремится к 100%.
• Глупая причина не-остановки (голова падает с ленты при случайном блуждании) через теорему Полиа о возвратности покрывает почти все программы.
• 13,5% ($1/e^2$) программ не имеют инструкции перехода в состояние остановки, поэтому очевидно не останавливаются.
• Для почти всех NP-полных задач есть полиномиальные приближения, решающие почти все реальные инстансы, поэтому SAT-солверы отлично работают на практике.
• P vs NP это асимптотическое свойство, поэтому раздутые заявления о «несметных богатствах» при P=NP надо остужать.
• Ранние математики проходили «страну бессмыслицы» комплексных чисел и возвращались к верному вещественному ответу, как форсинг проходит воображаемую вселенную и возвращается к следствию в исходной модели.
• Йонас Ритц упрямо захотел «отменить форсинг», и так родилась теоретико-множественная геология с концепцией «мантии».
• В бесконечных шахматах играют не со стартовой позиции, а с заданных сложных расстановок; нет превращения пешек и нет края.
• Есть позиции с ценностью партии ω: белые выигрывают, но чёрные контролируют, за сколько ходов, называя любое конечное число как «отсчёт от ω».
• Ноам Элкис задал вопрос на Math Overflow, из которого родился интерес Хамкинса к бесконечным шахматам; статьи довели ценность до $\omega^4$, а позже до любого счётного ординала.
• Хамкинс требует у боевого партнёра-мастера Кори Эванса проверять шахматную корректность позиций, которые он строит под нужные ординалы.
• Сюрреальные числа Конвея порождаются из ничего одним правилом деления на левое и правое множества; ноль это «большой взрыв чисел».
• Дочь Хамкинса оценивала бойфренда по двум метрикам: шахматный рейтинг и счёт на Math Overflow.
• LaTeX-набор домашек в студенчестве давал красивый вид и плохие оценки: красота вёрстки усыпляла критичность, тот же эффект даёт гладкий вывод LLM.

Инсайты

• Диагонализация, единый структурный приём самоприменения, порождающий и позитивные результаты (несчётность), и негативные (неполнота, неразрешимость) из одной операции.
• Независимость утверждения от теории, не тупик, а «разрезание природы по суставам»: ты задал ровно правильный вопрос, обнаружив развилку в реальности.
• Прогресс в математике реален и накопителен (бесконечность мы понимаем лучше, чем век назад), тогда как философия живёт вечными вопросами, где ценность в постановке, а не в ответе.
• Строгий фундамент не обязателен для глубоких открытий: исчисление дало все главные теоремы на «скрипучем» основании бесконечно малых за 250 лет до его строгости.
• Философская позиция не меняет теоремы, но управляет тем, какие вопросы и программы исследователь считает достойными, метафизика как навигатор, а не как арбитр истины.
• Структурализм это анти-эссенциализм: спрашивать «что такое число четыре на самом деле» бессмысленно, значима только роль объекта в структуре с точностью до изоморфизма.
• Понимание абстрактного существования глубже понимания физического, потому что абстрактное проясняется по мере разговора, а физическое лишь всё больше загадочнее с ростом физики.
• Вычислимость учит, что поведение программы в общем случае нельзя постичь анализом кода, только запуском (теорема Райса), и это фундаментальный предел понимания.
• Доказательство должно быть распознаваемым (вычислимо проверяемым), скрытое третье требование к системам доказательств помимо корректности и полноты.
• Антропоморфизация математических объектов (гости отеля, комитеты, игроки, деньги в группе) переносит человеческую интуицию на абстрактную задачу и вскрывает стратегию доказательства.
• LLM оптимизированы производить нечто похожее на доказательство, а не логически верное доказательство; это структурный источник ошибки, а не случайный баг.
• Сила доказательства в том, что неочевидное становится очевидным задним числом, и математика так расширяет достоверное знание в области, где интуиция молчит.

Цитаты

«Some infinities are bigger than others.», 2:17 Одни бесконечности больше других.

«The other mathematicians are wrong.», 9:56 Остальные математики неправы.

«Did you know there's a proof that every number is interesting?», 26:13 А ты знал, что есть доказательство: всякое число интересно?

«Hardly anything more unwelcome can befall a scientific writer than to have one of the foundations of his edifice shaken after the work is finished.», 1:00:36 Едва ли что более нежеланное может постигнуть учёного-писателя, чем сотрясение одной из основ его здания после завершения труда.

«No one shall cast us from the paradise that Cantor has created for us.», 1:03:28 Никто не изгонит нас из рая, что создал для нас Кантор.

«We must know, we will know.», 1:04:50 Мы должны знать, мы будем знать.

«It's like the used car salesman telling you, oh, I'm trustworthy.», 1:17:33 Это как продавец подержанных машин, уверяющий: да я честный.

«When you ask a question that turns out to be independent, then you asked exactly the right question.», 2:31:11 Когда вопрос оказывается независимым, ты задал ровно правильный вопрос.

«You can sort of turn it on and off like a light switch.», 2:35:59 Её можно как бы включать и выключать, словно выключатель.

«I live entirely in the Platonic realm, and I don't really understand the physical universe at all.», 1:59:00 Я целиком живу в платоновском царстве и совсем не понимаю физическую вселенную.

«White is going to win, but black controls how long it takes.», 3:29:04 Белые выиграют, но чёрные решают, за сколько ходов.

«What I love is simple, clear, easy-to-understand arguments that prove a surprising result.», 3:15:37 Я люблю простые, ясные, лёгкие для понимания аргументы, доказывающие неожиданный результат.

«The AI is trying to give me an argument that sounds like a proof rather than an argument that is a proof.», 3:38:33 ИИ пытается выдать аргумент, который звучит как доказательство, а не является им.

«To focus on proof is to focus on the interaction that we have with the objective reality.», 3:50:07 Сосредоточиться на доказательстве значит сосредоточиться на нашем взаимодействии с объективной реальностью.

Факты

• Хамкинс, пользователь номер один по рейтингу на Math Overflow, более 246 000 репутации, на платформе с 2009 года.
• Кронекер называл Кантора «растлителем молодёжи» и пытался блокировать его карьеру; Кантор был глубоко религиозен и провёл последние годы в санаториях.
• Цермело в 1904 году дал доказательство, что аксиома выбора влечёт принцип полного порядка, без теории; под давлением критики в 1908 году построил теорию множеств Цермело.
• Аксиома регулярности и аксиома замены добавлены позже, превратив теорию Цермело в ZF; современные теоретики множеств отказались от урэлементов из-за структурализма.
• Гёдель в 1938 году доказал: если ZF непротиворечива, то непротиворечивы ZFC плюс континуум-гипотеза (конструктивная вселенная L).
• Пол Коэн в 1963 году изобрёл форсинг и доказал, что существует модель, где континуум-гипотеза ложна.
• Континуум-гипотеза была первой в списке 23 проблем Гильберта, оглашённом на рубеже XX века.
• Десятая проблема Гильберта (алгоритм для диофантовых уравнений) решена доказательством, что алгоритма нет, задача неразрешима, как проблема остановки.
• Тьюринг в статье 1936 года о Entscheidungsproblem связал проблему разрешимости с проблемой остановки.
• Доля машин Тьюринга без инструкции остановки стремится в пределе к $1/e^2 \approx 13{,}5%$.
• Статья Хамкинса и Кори Эванса, затем с Норманом Перлмуттером, довела ценность позиции в бесконечных шахматах до $\omega^4$; ныне доказано, что реализуется любой счётный ординал.
• Строгий фундамент бесконечно малых появился лишь в 1950-х с нестандартным анализом Робинсона.
• Хью Вудин, руководитель Хамкинса, ведёт программу ultimate L в рамках позиции единой вселенной; сам Хамкинс придерживается мультивселенной (статья «The Set-Theoretic Multiverse»).
• Соавторов у Хамкинса под сотню; много статей выросло прямо из обсуждений на Math Overflow.
• По собственному опыту Хамкинс находит нынешние LLM для математических доказательств бесполезными («практически ноль»), хотя признаёт, что уважаемые им математики сообщают об обратном (сам он не уверен, чья это заслуга, ИИ или человека).

Источники

• Кантор, теория множеств, континуум-гипотеза, теорема Кантора-Бендиксона, ординалы.
• Галилей, «Диалог о двух новых науках», парадокс Галилея.
• Аристотель, Архимед (метод исчерпания), Евклид («Начала», принцип целого и части).
• Фреге, логицизм; Бертран Рассел, парадокс/письмо Фреге.
• Гильберт, программа Гильберта, список 23 проблем, теорема Гильберта-Аккермана.
• Гёдель (теоремы о неполноте и полноте, конструктивная вселенная L), Тарский (дисквотационная теория истины), Тьюринг (проблема остановки).
• Цермело, Френкель, аксиоматика ZFC; Пол Коэн, форсинг.
• Хью Вудин (ultimate L), Бенедикт Лёве, Гюнтер Фукс, Йонас Ритц (теоретико-множественная геология), Норман Перлмуттер, Кори Эванс (бесконечные шахматы), Ноам Элкис.
• Джон Конвей, сюрреальные числа, игра «Жизнь»; Дональд Кнут, популяризация сюрреальных чисел; Филип Эрлих, эксперт по сюрреальным числам.
• Ньютон и Лейбниц (исчисление), епископ Беркли («призраки усопших величин»), Абрахам Робинсон (нестандартный анализ); теорема Полиа о возвратности; теорема Райса.
• Книги Хамкинса: «Proof and the Art of Mathematics», «Lectures on the Philosophy of Mathematics»; блог infinitelymore.xyz.

Итог

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