Почему теоремы Гёделя вовсе не доказывают, что физика ошибается?

Когда вы слышите волшебную фразу «теорема о неполноте Гёделя», возникает соблазнительная мысль. Вот оно! Наконец-то нашлось математическое доказательство того, что наука чего-то не понимает, а все наши физические теории в конечном счёте ошибочны.

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

Звучит убедительно. Но есть одна проблема. Теоремы Гёделя говорят совсем не о том, что физические теории неправильны. Более того, даже с самой математикой всё несколько сложнее, чем может показаться из популярных пересказов.

Давайте разберёмся, что именно доказал Курт Гёдель, почему его работа оказалась настолько важной и какое отношение всё это имеет к современной физике.

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

Математика должна уметь доказывать сама себя?

Чтобы понять, в чём состояла проблема Гёделя, нужно сначала вернуться к тому, как вообще устроена математика.

Представим, что у нас есть библиотека. На полках стоят книги, каждой присвоен определённый номер. Зная номер, мы можем найти нужную книгу, а затем прочитать её содержание.

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

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

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

А можем ли мы построить такую систему, в которой каждое математическое утверждение можно было бы однозначно проверить, а сама система была бы непротиворечивой?

Иными словами, хотелось бы получить математику, в которой не возникало бы неприятных сюрпризов. Всё, что должно быть доказуемо, можно доказать. Всё, что противоречит исходным положениям, можно отвергнуть. И никаких логических ловушек, из-за которых мы внезапно получим одновременно правильное и неправильное утверждение.

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

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

И здесь появляется Курт Гёдель.

Как Гёдель заставил математику рассуждать о самой себе

В 1931 году Гёдель опубликовал работу, которая изменила представления о возможностях формальной математики. Одна из ключевых идей заключалась в том, что математические выражения и доказательства можно закодировать числами.

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

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

Зачем это вообще кому-то нужно?

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

Получается своеобразный переход на новый уровень. Мы исследуем уже не только сами математические объекты, но и то, как устроены рассуждения об этих объектах.

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

Гёдель сумел построить математическое утверждение, которое в определённом смысле говорит о собственной недоказуемости в рамках рассматриваемой системы. Здесь важно не перепутать его идею с обычным логическим парадоксом.

Фраза «это предложение ложно» создаёт проблему, если пытаться определить её истинность. Если она истинна, то она ложна, а если ложна, то истинна.

У Гёделя конструкция гораздо тоньше. Речь идёт не просто о фразе, которая отрицает саму себя, а о математически построенном утверждении, связанном с возможностью его доказательства внутри определённой формальной системы. Именно поэтому его результат оказался не забавным словесным фокусом, а строгой математической теоремой.

Первая теорема или не всё истинное можно доказать внутри одной системы

Первая теорема о неполноте Гёделя в упрощённом виде говорит следующее:

Если формальная система достаточно выразительна, чтобы описывать обычную арифметику, её аксиомы эффективно задаваемы и система непротиворечива, то в ней существуют утверждения, которые нельзя доказать средствами этой же системы.

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

Что это означает на человеческом языке?

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

Существуют утверждения, которые истинны в стандартной арифметике, но не имеют доказательства в рамках конкретной системы аксиом. Чтобы установить их истинность, может потребоваться выйти за пределы этой системы и воспользоваться дополнительными средствами.

Это не означает, что математика противоречива. Наоборот, теоремы Гёделя рассматривают ситуацию, когда система непротиворечива. Неполнота и противоречивость - разные вещи.

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

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

Именно в этом направлении стоит понимать математическую неполноту. Не как поломку математики, а как ограничение возможностей определённой формальной системы.

Вторая теорема. Система не может полностью обосновать собственную надёжность

Вторая теорема продолжает ту же линию рассуждений, но касается уже не отдельных утверждений, а непротиворечивости самой математической системы.

Если система достаточно выразительна, формально аксиоматизирована и непротиворечива, то при стандартных условиях она не может доказать собственную непротиворечивость исключительно своими внутренними средствами.

То есть, если мы хотим строго обосновать, что наша система не приводит к противоречиям, одного обращения к её собственным правилам в общем случае недостаточно.

Здесь легко запутаться. Неужели нам каждый раз придётся строить новую математику, чтобы проверить предыдущую? А затем ещё одну, чтобы проверить следующую? И так до бесконечности?

В некотором смысле именно такая проблема и возникает. Если мы хотим обосновать непротиворечивость одной системы средствами более сильной системы, то появляется вопрос о надёжности уже этой новой системы.

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

Мы можем использовать более сильные методы, дополнительные аксиомы или рассуждения из другой системы. Но тогда возникает вопрос, на чём основана надёжность этих новых инструментов.

Гёдель показал, что нельзя рассчитывать на универсальную формальную систему, которая одновременно была бы достаточно мощной для арифметики и полностью решала бы все вопросы о собственной непротиворечивости и доказуемости.

Математика оказалась гораздо интереснее, чем представлялось в мечтах о её окончательном формальном обосновании.

И что теперь, математика ошибается?

Человек слышит, что математика неполна, и делает радостный вывод. Значит, в математике есть ошибки. А если физика использует математику, то и физика ошибочна. Следовательно, теория относительности Эйнштейна (как пример) не может считаться надёжной, квантовая механика чего-то не учитывает, а все разговоры о теории всего вообще не имеют смысла.

Звучит эффектно. Но логика здесь подводит нас уже на первом шаге.

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

Теорема Пифагора не становится менее надёжной оттого, что существуют ограничения на возможности формальных систем. Результаты математического анализа не исчезают. И инженеры не должны срочно пересматривать расчёты мостов, потому что Гёдель обнаружил фундаментальные ограничения математической логики.

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

Но ведь физика действительно построена на математике

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

Но между математической системой и физической теорией есть принципиальная разница.

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

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

Поэтому математическая неполнота сама по себе ничего не говорит о том, правильна ли теория относительности или квантовая механика. Чтобы проверить эти теории, нужны физические аргументы, эксперименты и наблюдения.

Можно ли вообще применять теоремы Гёделя к физике? Здесь тоже не стоит впадать в крайности.

Если мы формализуем физическую теорию в виде достаточно выразительной математической системы, то к ней могут относиться результаты о неполноте. Но всё зависит от того, какие именно утверждения мы включили в систему, какие правила вывода используем и что хотим доказать.

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

Вопрос нужно ставить точнее. Как устроена математическая система, на которой основана конкретная теория? Какие утверждения в ней доказуемы? Какие вопросы остаются открытыми? И что всё это означает для физического содержания теории?

Без такого анализа ссылка на Гёделя остаётся малоинформативным аргументом.

Проблема физики может быть совсем в другом

Представьте, что у нас есть система, которая подчиняется определённым законам. Мы знаем её начальное состояние, понимаем действующие силы и можем записать уравнения движения. Казалось бы, теперь остаётся только вычислить, что произойдёт дальше. Но на практике всё может оказаться намного сложнее.

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

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

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

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

Хаос, вычислительная сложность, алгоритмическая неразрешимость и гёделевская неполнота - не одно и то же. Между ними могут существовать глубокие связи, но для их установления нужны отдельные математические аргументы.

И всё же для физика эта тема чрезвычайно интересна. Мы можем знать уравнения, понимать физические законы и даже иметь детерминированную модель, но всё равно не уметь получить точный ответ для конкретной сложной системы.

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

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

А что насчёт теории всего?

Конечно, нельзя не вспомнить о главной мечте физики - создать единую теорию, которая согласовала бы фундаментальные взаимодействия и дала бы более глубокое описание устройства Вселенной. Может ли теорема Гёделя поставить крест на такой попытке?

Нет, такого вывода из неё сделать нельзя.

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

Неполнота не равна бесполезности. И уж точно она не равна физической ошибочности.

Более того, само выражение «теория всего» может подразумевать разные вещи. Можно иметь в виду единый набор физических законов, объединяющий фундаментальные взаимодействия. А можно - буквально полную формальную систему, способную ответить на любой математически сформулированный вопрос о природе. Это не одно и то же.

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

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

Так что же на самом деле доказал Гёдель?

Первая теорема о неполноте показывает, что достаточно выразительная непротиворечивая формальная система с эффективно задаваемыми аксиомами не может доказать все утверждения, выражаемые в её языке и относящиеся к соответствующему классу математических истин.

Вторая теорема показывает, что такая система при стандартных условиях не может доказать собственную непротиворечивость исключительно своими внутренними средствами.

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

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

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

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

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

Но означает ли это, что мы должны отказаться от попыток понять мир? Разумеется, нет.

Традиционно приглашаю заглянуть в Telegram проекта.

Ну и если вы хотите посмотреть моё видео по этой теме с более детальным изложением проблемы и просто человеческой речью - добро пожаловать сюда. Статья собрана на базе этого ролика.