Роджер Пенроуз - Новый ум короля - О компьютерах, мышлении и законах физики

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Разумеется, «он» означает «она или он». См. сноску 22 к гл 1 «Тест Тьюринга».