Тьюринг А., фон Нейман Дж. МОЖЕТ ЛИ МАШИНА МЫСЛИТЬ?
ОБЩАЯ И ЛОГИЧЕСКАЯ ТЕОРИЯ АВТОМАТОВ. С предистовием Яновской С.А. и вступительной статьей Бирюкова Б.В. Пер. с англ. № 14. Изд. 3, испр. и доп.

Alan Mathison Turing, John von Neumann. Can the Machine Think? General and Logical Theory of Automata

URSS. 2019. 232 с. ISBN 978-5-9710-6485-5. Уценка. Состояние: 5-. Блок текста: 5. Обложка: 5-. Все последующие издания — стереотипные.

Серия: Науки об искусственном

Типографская бумага

Мягкая обложка

Перевод: Данилов Ю.А. Научный редактор: Яновская С.А.

Аннотация

Настоящая книга, содержащая работы Алана Тьюринга и Джона фон Неймана, стоявших у истоков создания первых «мыслящих машин» ЭВМ, относится к классике философско-кибернетического направления науки. Эти работы, наряду с трудами Норберта Винера, Уильяма Росса Эшби и др., а также советских первопроходцев в области кибернетики и вычислительной техники (А.А.Ляпунова, А.И.Берга, А.Н.Колмогорова, А.А.Маркова), фактически положили начало тому... (Подробнее)

Содержание

«Тест Тьюринга»: полвека спустя				7
Предисловие к русскому переводу				29
Алан М. Тьюринг. Может ли машина мыслить?				54
Глава 1. Игра в имитацию				55
Глава 2. Критика новой постановки проблемы				58
Глава 3. Машины, привлекаемые к игре				61
Глава 4. Цифровые вычислительные машины				64
Глава 5. Универсальность цифровых вычислительных машин				72
Глава 6. Противоположные точки зрения по основному вопросу				79
6.1. Теологическое возражение				80
6.2. Возражение со «страусовой» точки зрения				83
6.3. Математическое возражение				84
6.4. Возражение с точки зрения сознания				87
6.5. Возражения, исходящие из того, что машина не все может выполнить				91
6.6. Возражение леди Лавлейс				96
6.7. Возражение, основанное на непрерывности действия нервной системы				100
6.8. Возражение с точки зрения неформальности поведения человека				101
6.9. Возражение с точки зрения сверхчувственного восприятия				104
Глава 7. Обучающиеся машины				107
Джон фон Нейман. Общая и логическая теория автоматов				122
Глава 1. Предварительные соображения				124
1.1. Подразделение проблемы: природа элементов, аксиоматический подход к их синтезу				124
1.2. Аксиоматическая процедура				125
1.3. Значимые порядки величин				126
Глава 2. Некоторые черты вычислительных машин				128
2.1. Вычислительные машины. Типичные операции				128
2.2. Требования точности и надежности				131
2.3. Принцип аналогового моделирования				133
2.4. Цифровой принцип				136
2.5. Роль цифрового метода в понижении уровня шума				140
Глава 3. Сравнение вычислительных машин с живыми организмами				142
3.1. Смешанный (аналогово-цифровой) характер живых организмов				142
3.2. Смешанный характер каждого элемента				144
3.3. Понятие о переключательном, или релейном, органе				148
3.4. Сравнение размеров больших вычислительных машин и живых организмов				150
3.5. Существенно важные отношения размеров элементов				151
3.6. Причины различия в размерах электронной лампы и нейрона				153
3.7. Связь этих причин с характером современной техники				155
Глава 4. Будущая логическая теория автоматов				157
4.1. Ограничения, вытекающие из отсутствия логической теории автоматов				158
4.2. Возможные характеристики логической теории автоматов				159
4.3. Как влияет отсутствие логической теории автоматов на процедуру обращения с ошибками				163
4.4. Принцип единственной ошибки				166
Глава 5. Принципы цифризации				168
5.1. Цифризация непрерывных величин: метод цифрового представления и метод счета				168
5.2. Сопоставление обоих методов. Предпочтительное использование живыми организмами метода счета				170
Глава 6. Формальные нервные сети				173
6.1. Теория формальных нервных сетей Маккаллока—Питтса				173
6.2. Основной результат теории Маккаллока—Питтса				175
6.3. Осмысление этого результата				177
Глава 7. Понятие сложности. Самовоспроизведение				181
7.1. Понятие сложности				181
7.2. Теория вычислительных автоматов Тьюринга				183
7.3. Основной результат теории Тьюринга				186
7.4. Расширение программы на случай автоматов, которые производят автоматы				188
7.5. Основные определения				188
7.6. Основная идея доказательства теоремы о самовоспроизведении				190
7.7. Осмысление полученного результата и его непосредственных обобщений				194
Примечания				197
Может ли машина мыслить?				197
Общая и логическая теория автоматов				216
Литература				221
Именной указатель				227

Об авторах

Тьюринг Алан

Выдающийся английский математик, член Лондонского королевского общества (1951). Окончил Кембриджский университет в 1935 г. В 1936–1938 гг. работал над докторской диссертацией в Принстонском университете (США). В 1939–1945 гг. — сотрудник Британской иностранной службы. В 1945–1948 гг. работал в Национальной физической лаборатории, а с 1948 г. — в Манчестерском университете.

Основные научные интересы А. Тьюринга относились к области математической логики и вычислительной математики. В 1936–1937 гг. он ввел математическое понятие абстрактного эквивалента алгоритма, или вычислимой функции, получившее впоследствии название "машины Тьюринга". Ему также принадлежит идея, что рано или поздно будет создан компьютер, способный мыслить, и предложен простой тест для определения этой способности у компьютера, названный "тестом Тьюринга". Работы в этой области считаются основополагающими в теории искусственного интеллекта. В последние годы жизни А. Тьюринг работал над математическими проблемами биологии.

Нейман Джон фон

Крупнейший американский математик, член Национальной академии наук США (1937). В 1926 г. окончил Будапештский университет. С 1927 г. преподавал в Берлинском университете, в 1930–1933 гг. — в Принстонском университете (США). С 1933 г. — профессор Принстонского института перспективных исследований. С 1940 г. — консультант различных военных учреждений (в частности, принимал участие в работах по созданию первой атомной бомбы). С 1954 г. был членом Комиссии по атомной энергии и председателем консультативного комитета ВВС США по баллистическим ракетам.

Основные научные работы Дж. фон Неймана посвящены функциональному анализу и его приложениям к вопросам классической и квантовой механики. Он также автор исследований по математической логике и по теории топологических групп. В последние годы жизни занимался главным образом разработкой вопросов, связанных с теорией игр и теорией автоматов; внес большой вклад в создание первых ЭВМ и разработку методов их применения.