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