Часто предполагают, что мозг может быть квантовым компьютером и что его интуиция, сознание и способности к решению задач могут зависеть от квантовых вычислений. Возможно, это и так, но я не знаю ни свидетельств, ни убедительных аргументов в пользу этого. Я ставлю на то, что мозг, если его рассматривать как компьютер, является классическим компьютером. Но этот вопрос не имеет никакого отношения к идеям Пенроуза. Пенроуз не доказывает, что мозг – это новый вид универсального компьютера, который отличается от универсального квантового компьютера тем, что имеет больший репертуар вычислений, которые стали возможны только при новой пост-квантовой физике. Он доказывает новую физику, которая не будет поддерживать универсальность вычислений, так что при его новой теории вообще невозможно будет объяснять некоторые действия мозга как вычисления.
Должен признать, что для меня такая теория непостижима. Однако фундаментальные открытия всегда трудно понять до того, как они произойдут. Естественно, трудно оценить теорию Пенроуза, прежде чем он сформулирует ее полностью. Если теория со свойствами, на которые он надеется, в конце концов, вытеснит квантовую теорию, или теорию общей относительности, или и ту, и другую через экспериментальные проверки или предоставив более глубокий уровень объяснений, то каждый разумный человек захочет ее принять. И тогда мы отправимся в путешествие постижения нового мировоззрения, к принятию которого будет вынуждать нас объяснительная структура этой теории. Вероятно, это мировоззрение будет весьма отличным от представленного мной в этой книге. Однако, даже если все это пришло, чтобы уйти, я все равно не могу понять, каким образом можно удовлетворить первоначальную мотивацию теории, которая объясняет нашу способность понимать новые математические доказательства. Все равно останется тот факт, что сейчас, да и во всей истории великие математики обладали различной противоречивой интуицией относительно обоснованности различных методов доказательства. Поэтому, даже если истинно то, что абсолютная физико-математическая реальность поставляет свои истины прямо в наш мозг для создания математической интуиции, математики не всегда способны отличить эту интуицию от другой, ошибочной интуиции и от других, ошибочных идей. К сожалению, нет ни колокольчика, который звонит, ни фонарика, который вспыхивает, когда мы понимаем действительно обоснованное доказательство. Порой мы можем ощутить такую вспышку, в момент «эврики», – и, тем не менее, ошибиться. И даже если бы теория предсказала, что существует некий, не замеченный ранее физический индикатор, сопровождающий истинную интуицию (сейчас это становится в высшей степени невозможным), мы бы определенно нашли его полезным, но это все равно не было бы равносильно доказательству того, что этот индикатор работает. Ничто не способно доказать, что однажды еще лучшая физическая Теория не вытеснит теорию Пенроуза и не откроет, что предложенный индикатор все-таки не был надежным и что существует лучший индикатор. Таким образом, даже если мы сделаем все возможные скидки предложению Пенроуза, если мы вообразим, что оно истинно, и взглянем на мир с его позиций, это все равно не поможет нам объяснить подозрительную определенность знания, которое мы приобретаем, занимаясь математикой.
Я отразил лишь общий смысл аргументов Пенроуза и его оппонентов. Читатель поймет, что, в сущности, я на стороне его оппонентов. Однако даже если признать, что геделианское доказательство Пенроуза не доказывает то, что намеревается доказать, и кажется невероятным, что предложенная им новая физическая теория объясняет то, что намеревается объяснить, Пенроуз, тем не менее, прав, что любое мировоззрение, основанное на существующей концепции научного рационализма, создает задачу для принятых основ математики (или, как выразил бы это Пенроуз, наоборот). Это древняя задача, которую поднял Платон, задача, которая, как показывает Пенроуз, обостряется в свете как теоремы Геделя, так и принципа Тьюринга. Эта задача заключается в следующем: откуда исходит математическая определенность в реальности, состоящей из физики и понимаемой с помощью научных методов? В то время как большинство математиков и специалистов по вычислительной технике принимают определенность математической интуиции как нечто, само собой разумеющееся, они не воспринимают проблему примирения этого факта с научным мировоззрением всерьез. Пенроуз серьезно относится к этой проблеме и предлагает решение. Его предложение представляет постижимый мир в определенном аспекте, отвергает сверхъестественное, признает важность творчества для математики, приписывает объективную реальность как физическому миру, так и абстрактным категориям и включает объединение основ математики и физики. Во всех этих отношениях я на его стороне.
Читать дальше
Конец ознакомительного отрывка
Купить книгу