Тьюринг с самого начала интересовался не машинами.
Его интересовал вопрос глубже:
что вообще можно посчитать.
В 1936 году он публикует работу,
которая на первый взгляд выглядит как чистая математика.
Но внутри неё скрыта идея,
без которой не было бы современных компьютеров.
Тьюринг описал абстрактную машину,
которая выполняет простые шаги по инструкции.
Не конкретное устройство, а принцип.
Он показал, что любое вычисление
можно свести к последовательности элементарных операций.
Если задачу вообще можно решить, такая машина справится.
Но вместе с этим он сделал куда более неприятное открытие.
Существуют задачи, которые невозможно решить в принципе,
независимо от мощности машины.
Это был удар по мечте о «всемогущих алгоритмах».
Во время Второй мировой войны
его идеи неожиданно стали практическими.
Тьюринг работал над взломом немецких шифров,
создавая машины, которые перебирали варианты быстрее человека.
Эта работа показала:
мышление можно частично автоматизировать,
если правильно задать правила.
После войны Тьюринг задал следующий вопрос.
Если машина выполняет инструкции,
может ли она вести себя как мыслящее существо?
В 1950 году он предложил простой критерий:
если в диалоге нельзя отличить машину от человека,
имеет ли смысл говорить, что она «не думает»?
Этот вопрос до сих пор вызывает споры.
Тьюринг не пытался очеловечить машины.
Он пытался понять границу между
алгоритмом и мышлением.
Ирония в том,
что общество, получившее от него
основы цифрового мира,
оказалось не готово принять его самого.
Он слишком рано жил в будущем.
И слишком точно его описал.