Почему теоремы Гёделя не опровергают физику

Стоит услышать магическое словосочетание «теорема Гёделя о неполноте», как в голову приходит заманчивая идея: вот оно! Наконец найдено математическое доказательство того, что наука чего-то не понимает, а все физические теории в конечном счёте ложны.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Именно здесь на сцену выходит Курт Гёдель.

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

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

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

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

Зачем это нужно?

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

Это своего рода выход на новый уровень: мы исследуем уже не только математические объекты, но и сам способ рассуждать о них.

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

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

Фраза «это предложение ложно» создаёт трудности при попытке определить её истинность: если она истинна, то ложна, а если ложна — то истинна.

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

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

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

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

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

Что это значит простыми словами?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Значит ли это, что математика ошибается?

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

Эффектно, но логика даёт сбой уже на первом шаге.

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

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

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

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

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

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

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

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

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

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

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

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

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

Без такого анализа ссылка на Гёделя остаётся аргументом, который почти ничего не проясняет.

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

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

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

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

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

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

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

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

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

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

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

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

Нет, такой вывод из неё не вытекает.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Как обычно, приглашаю заглянуть в Telegram проекта.

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

 

Источник