Иллюзия пользователя

Гедель вел очень одинокую жизнь, доверял очень немногим людям и несколько раз лечился в санаториях по поводу депрессии и переутомления. Он был сдержанным и подозрительным — не до такой степени, чтобы это обеспокоило докторов — несмотря на то, что был озабочен своим здоровьем. Его депрессия усугублялась и в 70-е годы превратилась в паранойю с ее классическим синдромом страха отравления. В 1977 году ситуация стала критической — его жена попала в больницу и больше не могла за ним ухаживать. Он не открывал дверь медицинскому персоналу и 14 января 1978 умер. Его тело нашли в позе эмбриона. «Недоедание и истощение», которые стали результатом «нарушений психики» — такой была официальная причина смерти.

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

Сам Курт Гедель признавал следующую формулировку, которая пришла к нам от математического логика Хао Ванга: «В философии Геделю так и не удалось найти то, что он искал: новый взгляд на мир, его базовые составляющие и правила, по которым они складываются. Несколько философов, особенно Платон и Декарт, утверждают, что в определенные моменты жизни у них возникал интуитивный взгляд на подобные вещи, отличный от нашего повседневного взгляда на мир».

Безусловно, у Геделя тоже были подобные откровения. Но он не осмеливался их обсуждать. Он осмеливался открывать нам только те из них, которые мог однозначно толковать. Он осмеливался делиться своими откровениями только в том виде, какими они представали снаружи — с точки зрения всего остального общества.

Чудо математики состоит в том, что этого было достаточно, чтобы и другие могли увидеть свет.

Весной 1935 года 22-летний Алан Тьюринг, который только что закончил докторат, посещал лекции, которые проводил математик М.Х.А. Ньюман в Кембридже, Англия. Предметом лекций были фундаментальные задачи математики. Отправная точка — программа Гильберта. На лекциях говорилось, что Гедель ясно и четко показал: центральные элементы программы Гильберта не выдерживают критики. Но оставался один вопрос, который не удалось решить Геделю: так называемая проблема разрешимости — Entscheidungsproblem.

Эта самая Entscheidungsproblem рассматривается по-другому: если у нас есть математическая система, которая говорит о частном предположении — можем ли мы решить, возможно ли вывести это предположение из системы? Гедель показал, что в любой закрытой системе возникнут вопросы, на которые не будет ответов — правдивые утверждения, которые не могут быть выведены. И это было критично, так как показывало, что мечта раз и навсегда уладить все в математике является недостижимой.

Проблема решения, может или нет быть выведено то или иное отдельное предположение, на первый взгляд гораздо больше должна занимать инженеров — это проблема, которая затрагивает специфические и конкурентные вопросы. Безусловно, она интересует и математика, но для всех остальных она должна казаться значительно менее важной, чем сама фундаментальная проблема — что мы не в состоянии доказать все.

Но нет. Даже если этот вопрос может показаться скучным — ответ на него определенно таковым не является.

В своих лекциях Ньюман спрашивал, можем ли мы создать своего рода «механический процесс», который был бы применим к математической задаче с целью определить, имеет ли она решение. В сущности, это было как раз то, о чем спрашивал Гильберт: существует ли рецепт, который может нам сказать, способны ли мы вывести специфические следствия из теории? Желательно, чтобы это был способ, который не потребует слишком много воображения и при этом действительно будет механическим — алгоритм, как называют это математики.

«Механический процесс». Алан Тьюринг принял во внимание выражение Ньюмана. Он подумал о машинах — машинах, которые могли бы считать. В 1935 подобные машины уже существовали — но они не представляли особого интереса. И Тьюринг начал рассматривать принцип работы подобных машин: что нужно, чтобы машина могла решить математическую задачу и определить, может ли предположение быть получено из теоретической системы?

Требовалось не так уж много. Тьюринг изобрел простую логическую машину, которая не слишком много умела. Она могла выполнять несколько инструкций: писать, читать и выполнять в своей памяти исправления. Немногим больше, чем обычная печатная машинка.