Тьюринг и рождение вычислительной мысли

Машина, вычисляющая всё

Алан Тьюринг (1912–1954) — один из нескольких людей, которых можно назвать «отцом компьютера» в разных смыслах. Его главные вклады: математические основы вычисления, практическое создание первых компьютеров, теория искусственного интеллекта — и трагическая судьба, определённая преследованием за гомосексуальность.

«Вычислимые числа» (1936) — фундаментальная работа. Тьюринг описал «машину Тьюринга» — абстрактный вычислительный механизм с лентой, головкой и таблицей правил. Это не физический объект, а математическая модель вычисления. Тезис Чёрча — Тьюринга: всё, что может быть вычислено вообще — может быть вычислено машиной Тьюринга. Это определяет математические пределы вычисления.

Тьюринг показал: существуют задачи, которые машина Тьюринга не может решить — «проблема остановки» (невозможно написать программу, определяющую, остановится ли другая программа). Это математическое доказательство пределов вычисления.

Блетчли-парк и взлом «Энигмы»

Вторая мировая война дала Тьюрингу практическую задачу: взломать «Энигму» — немецкую шифровальную машину. Тьюринг создал «бомбу» — электромеханическую машину для взлома — которая позволила союзникам читать немецкую военную переписку. По некоторым оценкам, это сократило войну на 2–4 года.

После войны он работал над созданием настоящего программируемого компьютера в Манчестерском университете. Его «Вычислительная машина и интеллект» (1950) ввела «тест Тьюринга»: если машина в текстовом диалоге неотличима от человека — следует ли считать её разумной?

Вопрос для размышления: Тест Тьюринга определяет «разум» через поведение, а не через субстрат. Чат-боты уже проходят упрощённые версии теста. Достаточно ли этого для разума — или нужно что-то ещё?