обсуждено еще шесть докладов, в том числе доклад У. Маккаллока (W.S. McCulloch), профессора психиатрии Иллинойского медицинского колледжа и Иллинойского невропсихиатрического института, на тему «Почему разум сосредоточен в голове» и доклад У. Хальстеда (W.С. Halstead), профессора экспериментальной психологии Чикагского университета, на тему «Мозг и ум». Все доклады и дискуссии, имевшие место на симпозиуме, были опубликованы в названной выше книге, изданной под редакцией проф. Джефриса, организатора симпозиума.
32
Большинство современных универсальных вычислительных машин работает по двоичной системе.
33
Синапсы – места контакта нервных клеток (нейронов) друг с другом; представляют собой промежуточные слои между (а) концевыми окончаниями разветвлений нервного волокна, отходящего от одной нервной клетки, и (b) нервным волокном или телом другой нервной клетки, обеспечивающие передачу нервного импульса от первой клетки ко второй клетке. Процесс возбуждения проходит через синапс только в одном направлении. Большинство нервных клеток через синапсы связаны каждая с концевыми образованиями волокон целого ряда других нервных клеток.
34
Метаболизм – обмен веществ.
35
В настоящее время все более широкое применение в качестве переключательных органов цифровых вычислительных машин получают полупроводниковые элементы (полупроводниковые диоды, полупроводниковые триоды – транзисторы и пр.) и магнитные элементы; на этих элементах построен целый ряд современных вычислительных машин. Ведутся интенсивные исследования с целью расширения круга устройств, которые можно применять в вычислительных машинах для построения переключательных органов. Так, разработаны новые виды магнитных элементов, например магнитные сердечники с управляемым магнитным потоком (так называемые трансфлюксоры), созданы новые полупроводниковые приборы (например, так называемые спазисторы); появились также переключательные элементы, базирующиеся на новых физических принципах, например криотроны, работа которых в режиме «все или ничего» основана на явлении сверхпроводимости. См.: Китов А.И. и Криницкий Н.А. Электронные цифровые машины и программирование. М.: Физматгиз, 1958.
36
ЭНИАК – англ. ENIAC, сокращение от «Electronic Numerical Integrator and Calculator» («Электронный цифровой интегратор и вычислитель»). Описание машины имеется в книге: Haгtгее D.R. Calculating Instruments and Machines, Cambridge, 1950, chapter 7, § 7.4–7.6 and 7.8.
ССЭК – англ. SSEC, сокращение от «Selective Sequence Electronic Calculator» («Электронная вычислительная машина с выбором последовательности действий»). Описание машины можно найти в указанной выше книге Хартри, гл. 7, § 7.7.
ИБМ (англ. IBM, сокращение от «International Business Machines Corporation») – одна из старейших и крупнейших зарубежных фирм по производству математических инструментов и вычислительных машин (США).
37
Операции логики (силлогизмы, конъюнкции,…). Речь идет об операциях так называемой классической логики суждений – части логики, в которой суждения рассматриваются только с точки зрения их свойства быть либо истинными, либо ложными, и притом только одно из двух. Операции логики суждений без труда моделируются в автоматах, для чего, в частности, используются схемы, о которых упомянуто в тексте. Если автомат является электрическим устройством, то истинности суждения соответствует обычно наличие импульса, а ложности – его отсутствие. Об операциях логики суждений см., например: Новиков П.С. Элементы математической логики. М.: Физматгиз, 1959. Гл. 1; Тарский А. Введение в логику и методологию дедуктивных наук / перев. с англ. М.: ИЛ, 1948. Гл. 2. О моделировании операций логики суждений на машинах см., например: Архангельский Н.А. и Зайцев Б.И. Автоматические цифровые машины. М.: Физматгиз, 1958. С. 43–51; Китов А.И. и Криницкий Н.А. Электронные цифровые машины и программирование. М.: Физматгиз, 1959. Гл. 2; Полетаев И.А. Сигнал. М.: Советское радио, 1958. Гл. 7.
38
Дихотомический метод (от греч. dicha – на две части и tome – сечение) – метод, основанный на разделении – мысленном или реальном – объекта исследования на две части.
39
Сами по себе; как таковые (лат.) (Прим. ред.)
40
В силу самого факта (лат.). (Прим. ред.)
41
На первый взгляд (лат.). (Прим. ред.)
42
О проблемах разрешимости см.: Новиков П.С. Элементы математической логики. М.: Физматгиз, 1959. Гл. I, § 4 и гл. III, § 10; Гильберт Д. и Аккерман В. Основы теоретической логики / перев. с нем. М.: ИЛ, 1947. Гл. 3, § 12 и гл. 4; Успенский В.А. Алгоритм // Философская энциклопедия. М.: Советская энциклопедия. Т. 1 (печ.).
43
Мутации (от лат. mutatio – перемена) – дискретные изменения наследственных свойств живого организма. Особи, получившие измененные наследственные свойства – результат мутаций, происшедших в организмах родителей, – называются мутантами. Мутации, ведущие к резкому понижению жизнеспособности организма-мутанта или его смерти на той или иной стадии индивидуального развития, называются летальными.
44
Проблема разрешимости (нем.).
45
Good I.J. Enigma and Fish. Chapter 19 of Codebreakers: the Inside Story of Bletchley Park, by F.H. Hinsley and A. Stripp. Oxford: Oxford University Press, 1993 (reprinted with minor revisions in paperback, 1994).
46
Copeland B.J. A lecture and two broadcasts on machine intelligence by Alan Turing. In Machine Intelligence 15 (eds. K. Furukawa, D. Michie and S. Muggleton), Oxford: Oxford University Press, 1999.
47
Лекция в Лондонском математическом обществе, февраль 1947 года.
48
Gregory R.L. Eye and Brain. London: Wedenfeld and Nicolson, 1966.
49
Penrose R. Shadows of the Mind: a Search for the Missing Science of Consciousness. Oxford: Oxford University Press, 1994.
50
Michie D. Consciousness as an engineering issue, Part 2. J. Consc. Studies, 1 (1), 1995. P. 52–66.
51
Лекция, представленная Д. Кнутом на ежегодной конференции ACM в Сан Диего 11 ноября 1974 года в связи с присуждением ему Тьюринговской премии. Оригинал: Donald E. Knuth. Computer Programming as an Art // Communications of the ACM, 1974. Vol. 17, № 12. P. 667–673.
52
Bauer Walter F., Juncosa Mario L. and Perlis Alan. J. ACM publication policies and plans. J. ACM, 6 (Apr. 1959) P. 121–122.
53
Manna Zohar and Pnueli Amir. Formalization of properties of functional programs. J. ACM 17 (July 1970). P. 555–569.
54
The Century Dictionary and Cyciopedia 1. The Century Co., New York, 1889.
55
Bailey Nathan.
