Новый ум короля: О компьютерах, мышлении и законах физики [Роджер Пенроуз] (fb2) читать постранично, страница - 303

Сэллер играет нацистского врача — доктора Стрэнджлава, — эмигрировавшего в США и вынужденного все время останавливать левой рукой свою правую руку, которая самовольно вскидывается в нацистском приветствии. — Прим. ред.

(обратно)

202

О том, что, по крайней мере, шимпанзе обладают самосознанием, с убедительностью говорят результаты экспериментов, в ходе которых шимпанзе разрешалось играть с зеркалами (см. Окли [1985], главы 4 и 5).

(обратно)

203

Первые эксперименты такого рода были проведены на кошках (см. Мире, Сперри [1953]). За дальнейшими сведениями из области экспериментов с разделением полушарий мозга я отсылаю читателя к работам Сперри [1966], Газзаниги [1970] и Мак- Кей [1987].

(обратно)

204

Своего рода дополнительным к «зрению вслепую» может служить состояние, известное как «отрицание слепоты», при котором совершенно слепой человек настаивает на том, что он хорошо видит, и которое, повидимому, связано с визуальным осознанием информации об окружении, полученной при помощи других органов чувств! См. Черчланд [1984], с. 143.

(обратно)

205

Доступное изложение принципов действия зрительной коры можно найти у Хьюбела [1988].

(обратно)

206

См. Хьюбел [1988], с. 221. Ранние эксперименты позволили обнаружить клетки, чувствительные только к образу руки.

(обратно)

207

Общепринятая сегодня теория, согласно которой нервная система состоит из отдельных клеток — нейронов — была впервые предложена и убедительно обоснована великим испанским нейрофизиологом Рамоном-и-Кахалом около 1900 года.

(обратно)

208

На самом деле, любые логические элементы могут быть построены с помощью одних только операций «~» и «&» (или даже только одной-единственной операции ~ ( А & В )).

(обратно)

209

Фактически, использование логических элементов в большей степени отвечает конструкции электронного компьютера, чем изложенные в главе 2 особенности конструкции машины Тьюринга. В главе 2 особое внимание подходу Тьюринга было уделено по теоретическим соображениям. Начало действительному развитию компьютерных технологий положили в равной степени работы Алана Тьюринга и выдающегося американского математика венгерского происхождения Джона фон Неймана.

(обратно)

210

Эти сравнения во многом обманчивы. Подавляющее большинство транзисторов в современных компьютерах используется в устройствах «памяти» и не участвует в логических операциях; а память можно наращивать за счет внешних устройств практически бесконечно. При более интенсивном использовании параллельных вычислений количество транзисторов, непосредственно участвующих в выполнении логических операций, могло бы быть значительно больше, чем это принято в настоящее время.

(обратно)

211

Дойч в своих описаниях предпочитает использовать подход «множественности миров» относительно квантовой теории. Однако важно понимать, что это совершенно не существенно, поскольку концепция квантового компьютера принципиально не зависит от точки зрения на традиционную квантовую механику.

(обратно)

212

Этот комментарий перестает быть правомерным, если мы рассматриваем в качестве «классических» компонентов системы шестеренки, оси и т. п. Я предполагаю, что система состоит из обычных (скажем, точечных или сферических) частиц.

(обратно)

213

По крайней мере, при наличии современных компьютерных технологий (см. обсуждение теста Тьюринга в главе 1).

(обратно)

214

Здесь можно упомянуть еще один непростой вопрос относительно того, могут ли два алгоритма рассматриваться как эквивалентные друг другу, если результаты их действий — но не сами вычисления! — являются тождественными. См. главу 2, «Универсальная машина Тьюринга».

(обратно)

215

Как мы видели в главе 4, «Теоремы геделевского типа как следствие результатов, полученных Тьюрингом»), проверка справедливости доказательства в формальной системе всегда имеет алгоритмический xaрактep. И наоборот, любой алгоритм, который позволяет получать математически истинные утверждения, всегда можно добавить в систему аксиом и правил вывода обычной логики («предикатного исчисления»), тем