Обложка Тьюринг А., фон Нейман Дж. Может ли машина мыслить? Общая и логическая теория автоматов. Пер. с англ.
Id: 249662
425 руб.

Может ли машина мыслить?
Общая и логическая теория автоматов. Пер. с англ. № 14. Изд. стереотип.

Аннотация

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

Работы написаны популярно, без всякого математического аппарата, хотя некоторые вопросы, которые рассматривали Тьюринг и Нейман, требуют знаний в области теории информации и математической логики. Книга будет интересна широкому кругу читателей, интересующихся проблемами логики и искусственного интеллекта в его историческом и философском контексте.


Содержание
«Тест Тьюринга»: полвека спустя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 г. был членом Комиссии по атомной энергии и председателем консультативного комитета ВВС США по баллистическим ракетам.

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