Структура реальности. Наука параллельных вселенных

Именно такое ошибочное, самоочевидное допущение стало причиной, по которой саму геометрию ошибочно классифицировали как раздел математики в течение двух тысячелетий, приблизительно с 300 года до н. э., когда Евклид написал свои «Начала», и до XIX века (а в большинстве словарей и школьных учебников — и по сей день). Геометрия Евклида сформировала часть интуиции любого математика. Со временем, однако, некоторые математики начали сомневаться в самоочевидности одной из аксиом Евклида (так называемой «аксиомы о параллельных»). Сначала они не сомневались в истинности этой аксиомы. Говорят, что великий немецкий математик Карл Фридрих Гаусс был первым, кто подверг её практической проверке. Аксиома о параллельных необходима при доказательстве того, что сумма углов треугольника составляет 180°. Легенда гласит, что в совершенной секретности (из-за боязни быть осмеянным) Гаусс разместил своих ассистентов с фонарями и теодолитами на вершинах трёх холмов — вершин самого большого треугольника, который он мог легко измерить. Он не обнаружил никаких отклонений от предсказаний Евклида, однако теперь мы знаем, что это произошло потому, что его инструменты были недостаточно чувствительны. (С геометрической точки зрения окрестности Земли — довольно скучное место.) Общая теория относительности Эйнштейна включала новую теорию геометрии, которая противоречила геометрии Евклида и была доказана экспериментально. Сумма углов реального треугольника в действительности не обязательно составляет 180°: истинная сумма зависит от гравитационного поля в пределах этого треугольника.

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

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