Искушение Тьюринга

– Ведь Гилберт, – продолжал он, – призвал лучшие умы эпохи сформулировать метод, который позволял бы определить в отношении любой математической проблемы, разрешима ли она. Многие пытались реабилитировать таким образом математику. Проблема разрешимости – так ее назвали. Или, если по-немецки, – Entscheidungsproblem. Макс Ньюман[41] – тот самый Ньюман, что сейчас работает над цифровыми машинами в Манчестере, – прочел на эту тему курс лекций. Думаю, тем самым он хотел сподвигнуть хоть кого-нибудь взяться за эту задачу. Без особой надежды на успех, впрочем. Проблема разрешимости представлялась неразрешимой. Попробуй-ка сформулируй такой метод, годный для любого математического высказывания за всю историю науки! Задача представлялась слишком монументальной. Это все равно что мечтать о вечном двигателе. Но Ньюман… В ходе рассуждений он как-то обмолвился, что, возможно, проблема решится чисто механически.

– Механически? – переспросил Корелл.

– Он выразился фигурально, в переносном смысле. Механически – то есть самоочевидным, формальным способом. Но среди слушателей оказался один молодой человек, который имел обыкновение любое высказывание трактовать буквально.

– Тьюринг, – догадался Леонард.

Краузе кивнул.

– Алан всегда стремился следовать буквальной трактовке любого высказывания. Так, когда ему однажды заметили, что в паспорте не хватает его подписи, Алан ответил следующее: «Но мне сказали, что в нем ничего нельзя писать». Подобную упертость многие понимали как отсутствие фантазии. Но в действительности дело обстояло с точностью до наоборот. Понимая слова в их прямом значении, Алан нередко оказывался на шаг впереди остальных. Так оно получилось и на этот раз.

Краузе замолчал. Корелл перегнулся через стол:

– Ну, рассказывай же…

Глава 20

Рассказ стопорился, и не только по причине усложнения материала. Оба они – и слушатель, и рассказчик – успели порядком опьянеть. Но Корелл уловил, что Тьюринг был молод, когда услышал слово «механически» не в том контексте, который был предусмотрен его изначальным значением. Судя по всему, Алану было двадцать с небольшим. Как и Гёделю, как и большинству математиков, когда им удается выдумать нечто новое и великое. Но, в отличие от большинства своих коллег, Тьюринг почти не интересовался историей своей науки и совершенно не был настроен учиться на чужих ошибках.

Вот уже много раз, особенно в детском возрасте, он решал классические математические задачи, уже решенные до него другими, иногда сотни лет назад. Алан не имел потребности обсуждать с кем-либо свои идеи и предпочитал идти собственным путем. Он был полон сил, уверен в себе и смотрел на мир собственными глазами.

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

– Что же это было?

– Ну… для начала он хотел попробовать себя в квантовой физике. Интересовала его и теория вероятностей. Но он так ничего и не сделал ни там, ни там, потому что не мог избавиться от того, что говорил Макс Ньюман.

– То есть от идеи найти механический метод…

– При помощи которого можно было бы определить, решаема ли та или иная математическая проблема.

– Звучит впечатляюще.

– Это бессмысленно. Математических истин, которые нельзя ни опровергнуть, ни доказать, пруд пруди. Взять хотя бы третью теорему Ферма. Или положение Гольбаха о том, что всякое четное число является суммой простых чисел. Как может бездушный механизм справиться с задачей, о которую сломали зубы лучшие математические умы человечества? Научный мир буквально покатывался со смеху. Харди[42] – небожитель Харди! – писал, что такое может взбрести в голову разве что конченому идиоту. Математик, решающий задачи при помощи чудо-машины! Да нынешняя математика полна неразрешимых противоречий. Это мечта, чудесный сон…

– Тем не менее Тьюринг мечтал, – перебил собеседника Корелл.

– Мечтал, – согласился тот. – Потому что не был математиком в полном смысле слова. Он стоял в стороне от всего этого и мог позволить себе думать не так категорично, как Харди. Он не утратил наивности, а она, в сочетании с гениальностью, – гремучая смесь.

– Но почему машины? – недоумевал Корелл.