Логическая может

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

, а также советских первопроходцев в области кибернетики и вычислительной техники (А.А.

Ляпунова, А.И.

Берга, А.Н.

Колмогорова, А.А.

Маркова), фактически положили начало тому кругу проблем, которые ныне входят в информатику и направление «искусственный интеллект». В них раскрывается ряд не утративших своей актуальности вопросов из данных областей.

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

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