Роджер Пенроуз - Новый ум короля: О компьютерах, мышлении и законах физики
Wikipedia ― прим. верст. fb2
Лестница Пенроуза в фильме режиссера Кристофера Нолана «Начало», 2010 г.
9
Кусочки из литографий Морица Эшера
«Восхождение и спуск». Монахи, идущие во внешнем ряду, все время взбираются вверх, а кто движется во внутреннем, соответственно, неуклонно спускаются вниз.
«Водопад» Морица Эшера.― В этой работе изображен парадокс — падающая вода водопада управляет колесом, которое направляет воду на вершину водопада. Водопад имеет структуру «невозможного» треугольника Пенроуза. ― прим. верст. fb2
10
Gardner, M., Penrose tiles to trapdoor ciphers. W. H. Freeman and Company, New York, 1989. (Рус. пер.: Гарднер M. От мозаик Пенроуза к надежным шрифтам. М.: Мир, 1993). — Прим. ред.
11
В оригинале название книги The Emperor's New Mind перекликается с названием известной сказки Г.-Х. Андерсена The Emperor's New Clothes — Новый наряд короля. — Прим. ред.
12
Shadows of the Mind, Oxford University Press, 1994; pb. Vintage, 1995.
13
Заинтересованный читатель может ознакомиться с критическими замечаниями и моими ответами на них в Behavioral and Brain Sciences, 13 D) A990), 643–705 и в Psyche (MIT Press), 2 A996), 1-129. Последний из этих материалов можно найти на веб-сайте
http://psyche.cs.monash.edu.au/psyche-index-v2-l.html
я рекомендую прочитать приведенные мной возражения (озаглавленные Beyond the Doubting of a Shadow) на критические замечания по этому вопросу перед тем, как приступить к чтению книги «Тени разума». Следующим источником дополнительной информации может служить моя работа The Large, the Small and the Human Mind (Cambridge University Press, 1997).
14
Goodstein, R. L., On the restricted ordinal theorem. Journal of Symbolic Logic, 9 (1944), 33–41.
15
См. также Penrose, R., On understanding understanding. International Studies in the Philosophy of Science, 11(1997), 7-20.
16
Accessible independence results for Peano arithmetic.Bulletin of the London Mathematical Society, 14 A982), 285-93.
17
Заинтересованный читатель может ознакомиться с критическими замечаниями и моими ответами на них в Behavioral and Brain Sciences, 13 D) A990), 643–705 и в Psyche (MIT Press), 2 A996), 1-129. Последний из этих материалов можно найти на веб-сайте
http://psyche.cs.monash.edu.au/psyche-index-v2-l.html
я рекомендую прочитать приведенные мной возражения (озаглавленные Beyond the Doubting of a Shadow) на критические замечания по этому вопросу перед тем, как приступить к чтению книги «Тени разума». Следующим источником дополнительной информации может служить моя работа The Large, the Small and the Human Mind (Cambridge University Press, 1997).
18
On the gravity role in quantum state reduction, General Relativity and Gravitation, 28 (1996), 581–600.
19
Cм. Penrose, R., Quantum computation, enanglement and state reduction, Phil. Trans. Royal Soc. London, A356 A998), 1927-39; и Moroz, I., Penrose, R. and Tod, K. P., Spherically symmetric solutions of the Schrodinger-Newton equations, Classical and Quantum Gravity, 15 (1998).
20
Hameroff, S. R. and Penrose, R., Conscious events as orchestrated space-time selections, J. Consciousness Studies, (1996), 36–63.
Hameroff, S. R. and Penrose, R., Orchestrated reduction of quantum coherence in brain microtubules — a model for consciousness; в сборнике Towards a science of consciousness: contributions from the 1994 Tucson Conference (ed. S. Hameroff, A. Kazniak and A. Scott), MIT Press 1996. Hameroff, S. R., Fundamental Geometry: the Penrouse — Hameroff «Orch OR» model of cosciousness в сборнике The geometric universe, science, geometry and the work of Roger Penrose (ed. S. A. Huggett, L. J. Mason, K.P.Tod, S.T.Tsou and N.M.J.Woodhouse), Oxford University Press, 1998.
21
См., например, работы Гарднера [1958], Грэгори [1981] и содержащиеся там ссылки.
22
Неизбежная проблема в изложении подобного рода — дилемма между «он» и «она» в контексте, не подразумевающем никакого указания на пол. Ссылаясь на некоторый абстрактный персонаж, я далее буду использовать местоимение «он», имея в виду «он или она» — это, по-моему, является обычной практикой. Однако в данном случае я отдаю предпочтение женщине в роли опрашивающего, и, надеюсь, меня простят за этот единственный пример явной «половой дискриминации». Я думаю, что при определении истинно человеческих качеств женщина окажется чувствительней своего мужского двойника!
23
См., например, работу Резникова и Уэллса [1984]. Ознакомиться с классическими обзорными работами по «чудесам» вычислений можно у Рауза Болла [1982] и Смита [1983].
24
Я придаю особое внимание тому, что я считаю честным прохождением теста Тьюринга. Я могу, например, представить ситуацию, в которой после длинной череды поражений компьютер будет запоминать все данные ранее человеком ответы и затем выдавать их в смеси с подходящими случайными добавками. Через какое-то время у нашей уставшей опрашивающей могут кончиться нетривиальные вопросы для беседы, и она окажется обманутой компьютером — тогда я назову это «мошенничеством» с его стороны!
25
См. работы Грэгори [1981] и Уолтера [1953].
26
Этот пример взят из Дельбрюка [1986].
27
В мае 1997 года чемпион мира Г. Каспаров, рейтинг которого превышал 2800 единиц Эло, проиграл компьютерной программе Deep Blue со счетом 3,5: 2,5. В октябре 2002 года матч между чемпионом мира В. Крамником и программой Deep Fritz закончился вничью — 4:4. — Прим. ред.
28
Смотри статьи О'Коннелла [1988] и Кина [1988]. За дальнейшей информацией по компьютерным шахматам я отсылаю читателя к Леви[1984].
29
Конечно же, сложность большинства шахматных задач рассчитывалась на людей. Возможно, было бы не так уж трудно придумать шахматную задачу, не очень сложную для человеческого существа, но такую, что современные шахматные компьютеры не смогли бы решить и за тысячу лет. (Принцип подобной задачи достаточно очевиден: она должна состоять из очень большого числа ходов. Известны задачи, требующие для решения порядка 200 ходов — более чем достаточно!)
30
По состоянию дел на 1989 год!
31
Везде в этой книге я использую термин Серла «сильный ИИ» для обозначения этой радикальной точки зрения просто чтобы быть точным. Слово «функционализм» часто применяется по отношению к такому же по сути воззрению, но, наверное, не всегда корректно. Этой точки зрения придерживаются Мински [1968], Фодор [1983], Хофштадтер [1979], Моравец [1989].
32
См. работу Серла [1987] в качестве примера такого утверждения.
33
Чоу мейн (англ. chow meiri) — распространенное китайское блюдо на основе жареной лапши. — Прим. ред.
34
Дуглас Хофштадтер в своей критике оригинальной работы Серла (так, как она перепечатана в The Mind's I) возражает, что ни одно человеческое существо не в состоянии «разобраться» в полном описании разума другого человека из-за большой сложности. И это действительно так! Но мне кажется, что идея не в этом. Ведь выполнить нужно будет только ту часть алгоритма, которая должна отвечать какому-то одному мыслительному процессу. Таким могло бы оказаться некое мгновенное «осознание» при ответе на вопрос теста Тьюринга, или даже что-нибудь еще более простое. А кто сказал, что подобное действие с необходимостью потребовало бы выполнения алгоритма невообразимой сложности?
35
См. статью Серла [1980], которая была опубликована в книге Хофштадтера и Деннетта [1981].
36
См., однако, рассуждения о теории сложности и NP-задачах в конце главы 4.
37
Некоторые читатели, сведущие в этом вопросе, могли бы возмутиться из-за некоторой разницы в знаках. Но даже это (спорное) различие пропадет, если мы при замене поверием один из электронов на 360 градусов! (Пояснения можно найти в главе 6.)
38
См. вступление к книге Хофштадтера и Деннетта [1981].
39
Автор имеет в виду созвучность английских слов algorithm и arithmetic. — Прим. ред.
40
Я использую обычную современную терминологию, в которой множество «натуральных чисел» включает и нуль.
41
На самом деле Тьюринг использовал более сложные записи на ленте, но это не имеет принципиального значения, поскольку такие записи всегда могут быть представлены в виде последовательностей меток (одного типа) и пробелов. Я и далее, когда это допустимо, буду довольно свободно обращаться с исходными определениями Тьюринга.
