Наша математическая вселенная. В поисках фундаментальной природы реальности - Макс Тегмарк (2014)

Всё это неуклонно ведёт нас к вопросу: действительно ли можно найти такое описание внешней реальности, в котором не было бы никакого «багажа»? Если да, то описание объектов нашей внешней реальности и взаимосвязей между ними было бы совершенно абстрактным, а любые слова или символы стали бы не более чем метками без какого-либо априорно подразумеваемого смысла. Свойства же всех таких сущностей исчерпывались бы их связями между собой.

Математические структуры

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

Современная математика — это формальное исследование структур, которые можно определить чисто абстрактным способом, без человеческого «багажа». Считайте математические символы просто метками без внутреннего содержания. Неважно, пишете ли вы «два плюс два равно четыре», 2 + 2 = 4 или dos más dos es igual a cuatro. Обозначения, используемые для указания сущностей и их взаимосвязей, не имеют значения; целые числа обладают лишь теми свойствами, которые связывают их между собой. То есть мы не изобретаем математические структуры: мы открываем их, а изобретаем лишь обозначения для их описания. Если другая цивилизация заинтересуется трёхмерными фигурами, состоящими лишь из одинаковых плоских граней, она может открыть пять форм, представленных на рис. 7.2, которые мы, земляне, называем платоновыми телами. Инопланетяне могут придумать для них собственные названия, но не смогут изобрести шестую фигуру — её просто не существует.

Итак, два основных вывода:

1. Из гипотезы внешней реальности вытекает, что «теория всего» (полное описание нашей внешней физической реальности) не содержит «багажа».

2. Нечто, имеющее описание, совершенно свободное от «багажа», — это не что иное, как математическая структура.

Из этих тезисов, взятых вместе, вытекает гипотеза математической Вселенной, то есть утверждение о том, что внешняя физическая реальность, описываемая посредством «теории всего», является математической структурой.[67] Итак, если вы верите во внешнюю реальность, независимую от людей, то вы должны поверить и в то, что наша физическая реальность является математической структурой. Ничто больше не имеет свободного от «багажа» описания. Иными словами, мы живём в гигантском математическом объекте — гораздо более сложном, чем додекаэдр, и, вероятно, даже гораздо более сложном, чем объекты с пугающими названиями вроде многообразий Калаби — Яу, тензорных расслоений или гильбертовых пространств, которые появляются в передовых современных физических теориях. Всё в нашем мире чисто математическое — включая нас самих.

Что такое математическая структура?

«Подожди-ка!» — обычно восклицает мой друг Джастин Бендих, когда физическое утверждение наводит на важный вопрос, на который нет ответа. А гипотеза математической Вселенной поднимает сразу три таких вопроса:

1. Что в точности является математической структурой?

2. Как именно наш физический мир может быть математической структурой?

3. Даёт ли это утверждение какие-либо проверяемые предсказания?

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

«Багаж» и эквивалентные описания