Кто это
Алан Тьюринг (1912–1954) — английский математик, логик, криптограф, один из основателей информатики и теории вычислимости. В статье «О вычислимых числах» (1936) ввёл понятие абстрактной вычислительной машины (машина Тьюринга) и доказал существование неразрешимых задач (проблема остановки) — результат, тесно связанный с теоремами Гёделя о неполноте. Во время Второй мировой войны руководил взломом немецкого шифра «Энигма» в Блетчли-парке. Сформулировал «тест Тьюринга» для определения способности машины мыслить.
Роль в аргументации Хофштадтера
Машина Тьюринга — формализация самого понятия «вычисления» / «механической процедуры»; проблема остановки — ещё один пример принципиальной неразрешимости, родственный теоремам Гёделя, важный для обсуждения в ГЭБ вопроса о механизации разума и искусственном интеллекте.
Где упоминается в тексте
| Глава | Контекст |
|---|---|
| Интродукция | в перечне логиков/математиков, заложивших теорию вычислимости |
Связанные карточки
Комментарий составителя
Источники: Wikipedia: Alan Turing