Online-knigi.org
online-knigi.org » Книги » Научно-образовательная » Философия » Тени разума. В поисках науки о сознании - Пенроуз Роджер (книги без регистрации полные версии txt) 📗

Тени разума. В поисках науки о сознании - Пенроуз Роджер (книги без регистрации полные версии txt) 📗

Тут можно читать бесплатно Тени разума. В поисках науки о сознании - Пенроуз Роджер (книги без регистрации полные версии txt) 📗. Жанр: Философия. Так же Вы можете читать полную версию (весь текст) онлайн без регистрации и SMS на сайте online-knigi.org (Online knigi) или прочесть краткое содержание, предисловие (аннотацию), описание и ознакомиться с отзывами (комментариями) о произведении.
Перейти на страницу:

G' Для установления математической истины математики не применяют заведомо обоснованные оракул-алгоритмы.

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

Вообще говоря, весь процесс можно повторить, применив его к «машинам с оракулом второго порядка», которым позволяется вызывать при необходимости оракул второго порядка — который способен установить, завершится работа обычной машины с оракулом или нет. Как и в предыдущем случае, приходим к выводу:

G'' Для установления математической истины математики не применяют заведомо обоснованные оракул-алгоритмы второго порядка.

Очевидно, что этот процесс можно повторять снова и снова — подобно многократной гёделизации, описанной нами в связи с возражением Q19. Для каждого рекурсивного (вычислимого) ординала αвводится концепция машины с оракулом α-го порядка, и мы снова получаем все тот же вывод:

G α Для установления математической истины математики не применяют заведомо обоснованные оракул-алгоритмы α-го порядка, где α— любой вычислимый ординал.

Окончательное следствие из всего этого несколько даже пугает. Получается, что нам предстоит отыскать невычислимую физическую теорию, способную заглянуть дальше, чем описание машин с оракулом любого вычислимого уровня (или, возможно, еще дальше).

Нисколько не сомневаюсь, что найдутся читатели, которые скажут, что вот уж тут-то мои рассуждения окончательно растеряли последние крохи правдоподобия, которые в них еще оставались! И, разумеется, такие чувства вполне понятны. Непонятно лишь нежелание хотя бы ознакомиться со всеми доказательствами, которые я уже в подробностях приводил ранее. Нужно просто вновь пройти по всем доказательствам в главах 2и 3, заменяя в них машины Тьюринга на машины с оракулом α-го порядка. Не думаю, что такая замена как-то существенно повлияет на суть этих доказательств, но меня, если честно, приводит в содрогание перспектива только ради нее повторять их здесь заново. Следует, впрочем, указать на еще одно обстоятельство: нет никакой необходимости в том, чтобы человеческое понимание приобрело ту же мощь, что и какая угодномашина с оракулом. Как было отмечено выше, вывод  Gвовсе не обязательно предполагает, что человеческого понимания, в принципе, достаточно для того, чтобы решить любой конкретный случай проблемы остановки. Таким образом, все это не означает, что искомые физические законы в принципе должны непременно оказаться, более общими, нежели те, которыми описываются машины с оракулом любого вычислимого уровня (или хотя бы первого). Нам нужно лишь отыскать нечто, не являющееся эквивалентом любойконкретной машины с оракулом (включая сюда и машины с оракулом нулевогоуровня, т.е. собственно машины Тьюринга). Возможно, эти физические законы опишут нечто просто-напросто иное.

7.10. Невычислимость в квантовой гравитации (2)

Вернемся к квантовой гравитации. Необходимо подчеркнуть, что в настоящее время общепринятой теории квантовой гравитации не существует — нет даже сколько-нибудь приемлемых кандидатов. Есть зато множество самых разных и порой совершенно восхитительных гипотез {94} . Та, которую я хочу сейчас представить, требует, как и подход Героха—Хартла, учета квантовых суперпозиций различных пространств-времен. (Многие гипотезы говорят лишь о суперпозициях трехмерных пространственных геометрий, что несколько отличается.) Предположение (за авторством Дэвида Дойча {95} ) заключается в том, что в суперпозициях должны участвовать не только «правильные» пространственно-временные геометрии, в которых время ведет себя достаточно благоразумно, но и «неправильные» пространства-времена, в которых имеются замкнутые времениподобные линии. Такое пространство-время представлено на рис. 7.15. Времениподобная линияописывает возможную историю частицы (классической), а «времениподобной» она называется потому, что во всех точках локального светового конуса линия всегда направлена внутрь конуса, т.е. локальная абсолютная скорость не превышается — в соответствии с требованием теории относительности (см. §4.4). Смысл замкнутости времениподобной линии в том, что мы можем представить себе «наблюдателя» [57], для которого такая линия является мировой линией, т.е. линией, описывающей в данном пространстве-времени историю его собственного тела. Такой наблюдатель по прошествии некоторого конечного времени (согласно его восприятию) окажется в своем прошлом (перемещение во времени!). У него появляется возможность сделать что-нибудь такое (при условии, что он обладает какой-никакой «свободой воли»), чего он раньше никогда не делал, что неизбежно ведет к противоречию. (Обычно в таких умопостроениях наблюдатель убивает собственного дедушку «прежде», чем на свет появится его же отец — или совершает что-нибудь еще столь же волнительное.)

Тени разума. В поисках науки о сознании - _87.png

Рис. 7.15. Достаточно сильный наклон световых конусов в пространстве-времени может привести к возникновению замкнутых времениподобных линий.

Рассуждения такого рода сами по себе являются достаточной причиной для того, чтобы не воспринимать пространства-времена с замкнутыми времениподобными линиями всерьез — в качестве возможных моделей реально существующей классической Вселенной. (Любопытно, что первым модель пространства-времени с замкнутыми времениподобными линиями предложил в 1949 году не кто иной, как Курт Гёдель. Гёдель не считал парадоксальные аспекты таких пространств-времен достаточным основанием для того, чтобы исключить их из списка возможных космологических моделей. По разным причинам мы сегодня, как правило, придерживаемся на этот счет более строгих взглядов, однако не всегда — см. [ 364]. Очень интересно было бы увидеть реакцию Гёделя на ту роль, какую мы отведем таким пространствам-временам чуть ниже!) Хотя представляется вполне разумным исключить пространственно-временные геометрии с замкнутыми времениподобными линиями из числа возможных описаний классическойВселенной, можно привести некоторые доводы в пользу того, чтобы оставить их в качестве потенциальных кандидатов на участие в квантовых суперпозициях. На это, собственно, и указывал Дойч. Несмотря на то, что вклады таких геометрий в общий вектор состояния могут оказаться крайне малыми, их потенциальное присутствие производит (согласно Дойчу) поразительный эффект. Если мы обратим внимание на особенности выполнения квантовых вычислений в такой ситуации, то придем, по всей видимости, к выводу, что здесь можно выполнять и невычислимыеоперации! Это обусловлено тем, что в пространственно-временных геометриях с замкнутыми времениподобными линиями на вход машины Тьюринга вполне можно подать полученный ею же результат, продлив таким образом ее действие до бесконечности, буде возникнет такая необходимость, — т.е. здесь ответ на вопрос «Завершается ли данное вычисление?» действительно влияет на окончательный результат квантового вычисления. Дойч пришел к выводу, что в его схеме квантовой гравитации возможны квантовые машины с оракулом. Насколько я смог разобраться, его аргументы с тем же успехом применимы и к машинам с оракулом боле высокого порядка.

Перейти на страницу:

Пенроуз Роджер читать все книги автора по порядку

Пенроуз Роджер - все книги автора в одном месте читать по порядку полные версии на сайте онлайн библиотеки mir-knigi.info.


Тени разума. В поисках науки о сознании отзывы

Отзывы читателей о книге Тени разума. В поисках науки о сознании, автор: Пенроуз Роджер. Читайте комментарии и мнения людей о произведении.


Уважаемые читатели и просто посетители нашей библиотеки! Просим Вас придерживаться определенных правил при комментировании литературных произведений.

  • 1. Просьба отказаться от дискриминационных высказываний. Мы защищаем право наших читателей свободно выражать свою точку зрения. Вместе с тем мы не терпим агрессии. На сайте запрещено оставлять комментарий, который содержит унизительные высказывания или призывы к насилию по отношению к отдельным лицам или группам людей на основании их расы, этнического происхождения, вероисповедания, недееспособности, пола, возраста, статуса ветерана, касты или сексуальной ориентации.
  • 2. Просьба отказаться от оскорблений, угроз и запугиваний.
  • 3. Просьба отказаться от нецензурной лексики.
  • 4. Просьба вести себя максимально корректно как по отношению к авторам, так и по отношению к другим читателям и их комментариям.

Надеемся на Ваше понимание и благоразумие. С уважением, администратор online-knigi.org


Прокомментировать
Подтвердите что вы не робот:*