дальнейшем увеличении скорости машинных операций, автор, по-видимому, имеет в виду главным образом требования, возникающие при игре в имитацию. Во всяком случае, при математических применениях быстродействующих вычислительных машин, обусловленных развитием современной науки и техники, требования к быстроте их работы непрерывно возрастают. Если лучшие из ныне эксплуатируемых автоматических цифровых вычислительных машин работают со скоростью порядка десятков тысяч операций (сложений и умножений) в секунду, то ряд машин, которые осваиваются в настоящее время, имеют скорость работы уже порядка сотен тысяч операций в секунду. Что касается проектируемых типов машин, то для них выдвигается требование доведения скорости вычислений до миллионов операций в секунду.
Вместе с развитием автоматических быстродействующих цифровых вычислительных машин начали разрабатываться и методы, облегчающие программирование задач для решения на этих машинах. Одним из наиболее распространенных методов, ускоряющих ручное программирование, явился метод стандартных подпрограмм. Суть метода состоит в том, что составляется коллекция («библиотека») программ для часто встречающихся участков вычислительных процедур (типовые, или стандартные, подпрограммы); при подготовке задач к решению на быстродействующих цифровых вычислительных машинах типовые подпрограммы в различных сочетаниях включаются в составляемую программу. А. Тьюринг в период своей работы в Манчестерском университете принимал активное участие в разработке метода библиотечных подпрограмм в применении к машине Ф. Вильямса и Т. Килберна.
Впоследствии наряду с методами, облегчающими ручное программирование, начали развиваться методы автоматизации программирования. Автоматизация программирования заключается в передаче некоторых этапов подготовки программ для решения задач на быстродействующих цифровых вычислительных машинах самим этим машинам. Главным в автоматическом, или машинном, программировании является использование так называемой программирующей программы. Машина, в которую введена программирующая программа, получив сравнительно небольшую по объему исходную информацию о данной задаче и методе ее решения, автоматически составляет программу решения задачи. Начиная с 1954–1955 гг. в Советском Союзе построен и используется ряд программирующих программ. Автоматизация программирования значительно облегчает труд по подготовке машинного решения задач и сокращает время программирования.
Несомненно, что программирование машин для игры в имитацию – разумеется, при условии что оно сопровождается необходимыми уточнениями в постановке задачи, – является чрезвычайно сложной проблемой, возможность практического решения которой, по-видимому, существенно зависит от дальнейшего развития автоматического программирования, в области которого в настоящее время ведутся исследования по различным направлениям. Об автоматизации программирования см., например: Китов А.И. и Криницкий Н.А. Электронные цифровые машины и программирование. М.: Физматгиз, 1959. Гл. X.
Елена Келлер (Keller) (род. в 1880 г.) – американская слепоглухонемая, получившая высшее образование. В возрасте полутора лет в результате болезни потеряла зрение и слух и стала немой. Когда девочке было 6 лет, родители пригласили воспитательницу, которая через посредство осязания научила ребенка говорить, а затем читать и писать (по системе для слепых). Е. Келлер прошла школьный курс, изучила языки, окончила университет; она является автором ряда книг.
Случай Е. Келлер – не единственный случай воспитания слепоглухонемых. В Академии педагогических наук РСФСР в качестве научного сотрудника работает О.И. Скороходова, которая с 5 лет потеряла зрение и слух. Она была воспитана в Харьковской клинике для слепоглухонемых детей. Известна ее книга: Скороходова О.И. Как я воспринимаю и представляю окружающий мир. М., 1954.
«Касабьянка» (Casabianca) – стихотворение английской поэтессы Хеманс (Felicia Hemans, 1793–1835). Повествует о мальчике 10 лет, сыне капитана Касабьянки, который вместе с отцом погиб на горящем военном корабле, отказавшись покинуть судно, взорванное своим командиром Касабьянкой во время морского боя.
«Двадцать вопросов» – распространенная в Англии игра в вопросы и ответы. Обычно ведется так. Один из играющих задумывает некоторое понятие. Другой играющий отгадывает задуманное, задавая вопросы, предполагающие ответы (обязательно правдивые) вида «да» или «нет». Количество вопросов, которое имеет право задать отгадчик, не должно превышать некоторого заранее установленного числа. Отгадчик выигрывает, если при указанных условиях отгадает, что же было задумано первым играющим.
В «машину-ребенка». (Прим. ред.) Лучше сказать: «впрограммировать», так как наша «машина-ребенок» будет программироваться на цифровой вычислительной машине. Однако указанная логическая система не будет обучаемой.
В случае если в упомянутой выше системе логического вывода, встроенной в машину, содержатся соответствующие аксиомы и правила выведения следствий. (Прим. ред.)
Здесь имеется в виду иерархия типов, предложенная Бертраном Расселом с целью избежать противоречий (антиномий), обнаруженных в логике и теории множеств в конце XIX – начале XX столетия (см. Гильберт Д. и Аккерман В. Основы теоретической логики / перев. с нем. М., 1947. Гл. IV, § 4–6 и приложение I, а также: Клини С.К. Введение в метаматематику / перев. с англ. М., 1957. Гл. III, § 11–12). Обнаружение этих противоречий сыграло значительную роль в выяснении трудностей, связанных с задачами логического обоснования математики, но на развитии самой теории множеств и особенно ее математических приложений стало сказываться лишь в самое последнее время в связи с созданием конструктивных математики и логики. Ни к каким противоречиям в самой математике применение так называемой «наивной» теории множеств, во всяком случае, не привело. Этим, по-видимому, объясняется выраженная Тьюрингом ниже уверенность в том, что и без логического устройства, соответствующего иерархии типов, вероятность для машины впасть в логическую ошибку – при наличии у нее достаточно осторожного «учителя» – не больше вероятности для человека упасть в пропасть, не огороженную забором.
То есть приказания, касающиеся порядка применения правил логической системы. (Прим. ред.)
Автор имеет здесь в виду то, что к Конституции США (выработана и утверждена в 1787–1789 гг.) – при сохранении ее основного содержания (изменения и дополнения к американской конституции обставлены весьма сложной процедурой) – за истекшее со времени ее принятия время был сделан целый ряд поправок (ныне их число составляет 22).
Работа впервые опубликована в книге: Cerebral Mechanisms in Behavior. The Hixon Symposium. Edited by Lloyd A. Jeffress, New York; London, 1951, p. 2070–2098. Книга представляет собой отчет о симпозиуме на тему «Механизмы мозга в поведении», состоявшемся в Калифорнийском технологическом институте в сентябре 1948 г. Симпозиум был организован комитетом так называемого Хиксоновского фонда (основан в 1938 г. на средства Ф.П. Хиксона с целью поощрения исследовательских работ в области изучения поведения человека). Группа участников симпозиума состояла главным образом из специалистов в области психологии, неврологии и психиатрии. Нейман выступил на симпозиуме с докладом «Общая и логическая теория автоматов» (The General and Logical Theory of Automata). Кроме доклада Неймана, на симпозиуме было заслушано и
