Алан Тьюринг
1912–1954
Главный урок
Если задача не поддаётся — переформулируй её. Иногда правильно поставленный вопрос уже содержит ответ.
Когда
1936 — 24 года. Статья «On Computable Numbers», где он вводит машину Тьюринга. Это определение того, что такое алгоритм.
1939–1945 — работа в Блетчли-парке над взломом немецкой «Энигмы». Здесь теория становится практикой.
1950 — статья «Computing Machinery and Intelligence», где он предлагает тест Тьюринга. Что значит «думать» — переформулировано через поведение.
Контекст
Кембридж, 1930-е. Вся Европа занята программой Гильберта — попыткой обосновать математику на конечной системе аксиом.
Тьюринг пытался решить одну из задач этой программы — Entscheidungsproblem (проблема разрешения): существует ли механический способ определить, доказуемо ли утверждение?
Логическая цепочка
- Задача: можно ли механически определить, доказуемо ли утверждение?
- Тьюринг не пытался решить её напрямую. Вместо этого он спросил: что значит «следовать правилу»? Что делает человек, когда вычисляет?
- Он сел и симулировал собственное мышление на бумаге. Записывал каждый шаг, который совершает при вычислении. Искал паттерны.
- Свёл к простейшей модели: бесконечная лента, головка, конечное число состояний. Машина Тьюринга — не физическое устройство, а мысленный эксперимент о сути вычисления.
- Из этого определения сразу следует: есть задачи, которые эта машина не решит. Доказательство через диагональный аргумент (как у Кантора).
Как ему это удавалось
- Переформулировал вопрос. Не решал задачу, а переписал её так, чтобы ответ стал очевидным.
- Симулировал себя. Буквально — записывал, что он сам делает, когда вычисляет.
- Концептуальная редукция. Сложнейшую проблему свел к простейшей модели, в которой сохраняется вся суть.
- Использовал уже существующий результат. Гёдель за три года до этого уже доказал неполноту.
Что отсюда можно взять
- Если задача не поддаётся — переформулируй её. Часто правильная формулировка содержит половину ответа.
- Сведи к простейшей модели, сохраняющей суть. «Если бы у меня была только лента и головка — как бы я решал эту задачу?»
- Попробуй симулировать своё мышление. Когда решаешь что-то сложное — запиши, какие действия ты совершаешь.
- Строй на чужих результатах. Тьюринг не изобрёл всё с нуля.