КНИГИ НА РУССКОМ ЯЗЫКЕ


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

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

URSS. 2018. 232 с. Мягкая обложка. ISBN 978-5-9710-5214-2.

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

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


Оглавление
"Тест Тьюринга": полвека спустя. Вместо предисловия (В.В.Бирюков)8
Предисловие к русскому переводу (С.А.Яновская)30
Алан М.Тьюринг. МОЖЕТ ЛИ МАШИНА МЫСЛИТЬ?55
1.Игра в имитацию56
2.Критика новой постановки проблемы59
3.Машины, привлекаемые к игре62
4.Цифровые вычислительные машины65
5.Универсальность цифровых вычислительных машин73
6.Противоположные точки зрения по основному вопросу80
 6.1.Теологическое возражение81
 6.2.Возражение со "страусовой" точки зрения84
 6.3.Математическое возражение85
 6.4.Возражение с точки зрения сознания88
 6.5.Возражения, исходящие из того, что машина не все может выполнить92
 6.6.Возражение леди Лавлейс97
 6.7.Возражение, основанное на непрерывности действия нервной системы101
 6.8.Возражение с точки зрения неформальности поведения человека102
 6.9.Возражение с точки зрения сверхчувственного восприятия105
7.Обучающиеся машины108
Джон фон Нейман. ОБЩАЯ И ЛОГИЧЕСКАЯ ТЕОРИЯ АВТОМАТОВ123
1.Предварительные соображения125
 1.1.Подразделение проблемы: природа элементов, аксиоматический подход к их синтезу125
 1.2.Аксиоматическая процедура126
 1.3.Значимые порядки величин127
2.Некоторые черты вычислительных машин129
 2.1.Вычислительные машины. Типичные операции129
 2.2.Требования точности и надежности132
 2.3.Принцип аналогового моделирования134
 2.4.Цифровой принцип137
 2.5.Роль цифрового метода в понижении уровня шума141
3.Сравнение вычислительных машин с живыми организмами143
 3.1.Смешанный (аналогово-цифровой) характер живых организмов143
 3.2.Смешанный характер каждого элемента145
 3.3.Понятие о переключательном, или релейном, органе149
 3.4.Сравнение размеров больших вычислительных машин и живых организмов151
 3.5.Существенно важные отношения размеров элементов152
 3.6.Причины различия в размерах электронной лампы и нейрона154
 3.7.Связь этих причин с характером современной техники156
4.Будущая логическая теория автоматов158
 4.1.Ограничения, вытекающие из отсутствия логической теории автоматов159
 4.2.Возможные характеристики логической теории автоматов160
 4.3.Как влияет отсутствие логической теории автоматов на процедуру обращения с ошибками164
 4.4.Принцип единственной ошибки167
5.Принципы цифризации169
 5.1.Цифризация непрерывных величин: метод цифрового представления и метод счета169
 5.2.Сопоставление обоих методов. Предпочтительное использование живыми организмами метода счета171
6.Формальные нервные сети174
 6.1.Теория формальных нервных сетей Маккаллока–Питтса174
 6.2.Основной результат теории Маккаллока–Питтса176
 6.3.Осмысление этого результата178
7. Понятие сложности. Самовоспроизведение182
 7.1.Понятие сложности182
 7.2.Теория вычислительных автоматов Тьюринга184
 7.3.Основной результат теории Тьюринга187
 7.4.Расширение программы на случай автоматов, которые производят автоматы189
 7.5.Основные определения189
 7.6.Основная идея доказательства теоремы о самовоспроизведении191
 7.7.Осмысление полученного результата и его непосредственных обобщений195
Примечания198
 Может ли машина мыслить?198
 Общая и логическая теория автоматов217
Литература222
Именной указатель228

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

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

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

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