Даглас Хофштадтер - ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда

Ахилл : Разумеется.

Черепаха : Хорошо. Предположим, что я получила ответ ω + 1. Вооруженная им, я могу приступить к принятию гипотезы, что сегодня ваш день рождения, если только это позволено сделать. Что вы мне посоветуете, Ахилл?

Ахилл : Что такое? Я-то думал, что мне удалось вырваться из ваших бесконечных сетей. Почему же вас не удовлетворяет ответ ω + 1? Ну, хорошо: я дам вам не только положительный ответ ω + 2, но и ω + 3, ω + 4, и так далее.

Черепаха : Как это щедро с вашей стороны, Ахилл. А ведь сегодня как раз ваш день рождения, когда это Я должна преподносить ВАМ подарки, а не наоборот. Скорее, я ПОДОЗРЕВАЮ, что сегодня ваш день рождения. Наверное, теперь, когда я вооружена новой Схемой Ответов, которую я назову «Схемой Ответов 2ω», я могу заключить, что сегодня ваш день рождения. Но скажите мне, пожалуйста, Ахилл: действительно ли Схема Ответов 2ω позволяет мне совершить этот огромный скачок, или же я что-то пропускаю?

Ахилл : Больше вы меня не проведете, г-жа Черепаха. Как я погляжу, этой глупой игре конца нет! Я решил покончить с этим раз и навсегда и дать вам такую Схему Ответов, которая одним ударом расправится со всеми предыдущими Схемами. Я дам вам одновременно Схему Ответов ω, 2ω, Зω, 5ω и т. д. С этой Мета-Схемой-Ответов мне уж наверняка удастся ВЫСКОЧИТЬ из системы, перехитрить эту глупую игру, в сети которой вы думали меня уловить — теперь-то вам ПРИДЕТСЯ в этом признаться!

Черепаха : О, Боже мой! Какая честь для меня — оказаться обладательницей такой мощной Схемы Ответов! Мне кажется, что человеческая мысль редко изобретала что-либо подобное. Я восхищена ее гигантской мощью! Вы не возражаете, если я дам имя вашему подарку?

Ахилл : Конечно, нет.

Черепаха: Тогда я назову его «Схемой Ответов ω 2.» И мы сможем перейти к другим темам — как только вы скажете мне, что обладание Схемой Ответов ω 2позволит мне заключить, что сегодня ваш день рождения.

Ахилл : Увы мне, увы!.. Кончатся ли когда-нибудь эти мученья? Что еще меня ожидает?

Черепаха : С удовольствием скажу вам. Дело в том, что после вашей Схемы Ответов ω 2идет ответ ω 2+ 1, затем ω 2+ 2… Разумеется, вы можете собрать их в кучу под названием Схема Ответов ω 2+ ω, после чего могут последовать несколько других «куч», как, например, ω 2+ 2ω, ω 2+ Зω и так далее. Рано или поздно вы придете к Схеме Ответов 2ω 2, затем Зω 2, 4ω 2и так далее. Существуют также дальнейшие Схемы Ответов, такие, как ω 3, ω 4, ω 5Так может продолжаться довольно долго.

Ахилл : Могу себе представить. Наверное, через некоторое время так можно дойти до Схемы Ответов ω ω.

Черепаха : Разумеется.

Ахилл : А затем ω ω ωи так далее?

Черепаха: Вы довольно быстро ухватили мою идею. Если не возражаете, хочу вам кое-что предложить. Почему бы вам не соединить их все в одну-единственную Схему Ответов?

Ахилл : Хорошо, хотя я начинаю сомневаться, есть ли от этого какая-нибудь польза.

Черепаха : Мне кажется, что нам будет трудненько найти имя для этой Схемы. Может быть, нам придется просто назвать ее Схема Ответов ε 0.

Ахилл : Черт побери! Каждый раз, когда вы даете очередной Схеме Ответов, имя это разбивает мои надежды на то, что мой ответ вас, наконец, удовлетворит. Почему бы нам просто не оставить Схему безымянной?

Черепаха : Никак невозможно, Ахилл. Как же мы будем говорить об этой схеме, если у нее не будет имени? Кроме того, именно в этой Схеме есть что-то особенно завершенное и прекрасное. Было бы некрасиво оставить ее безымянной! А вы не хотели бы совершать некрасивых поступков, особенно в день вашего рождения не правда ли? Неужели сегодня ваш день рождения? Кстати о днях рождения, сегодня мой день рождения!

Ахилл : Неужели?

Черепаха : Да. Вообще-то, на самом деле, сегодня день рождения моего дяди, но это почти одно и то же. Как насчет того, чтобы пригласить меня на шикарный праздничный ужин?

Ахилл : Подождите минутку г-жа Ч! Сегодня МОЙ день рождения, и это Вы должны меня приглашать!

Черепаха : Но вам так и не удалось убедить меня в том, что вы говорите правду! Вы развели страшную путаницу, выдумали какие-то Схемы Ответов… Я всего-навсего хотела узнать, не день рождения ли у вас сегодня, но вам удалось меня совершенно сбить с толку. Как вам только не стыдно? Так или иначе я была бы счастлива, если бы вы пригласили меня на ужин сегодня вечером.

Ахилл : Ну что ж. Я знаю одно местечко. Там готовят самые экзотические супы, и я точно знаю какого супчика мне бы сейчас хотелось!

РАЗМЫШЛЯЯ над доказательством Гёделя, вдумчивый критик мог бы задаться вопросом, насколько оно обще. Он мог бы подумать, что Гёделю удалось найти недостаток лишь в одной формальной системе — в ТТЧ. Если бы это было так, то, возможно, удалось бы найти какую-нибудь лучшую систему, в которой Гёделев трюк был бы невозможен — и, таким образом, Теорема Гёделя потеряла бы значительную часть своей мощи. В этой главе мы подробно рассмотрим те характеристики ТТЧ, которые сделали ее уязвимой для аргументов, изложенных ранее.

Естественно подумать, что если проблема в том, что в ТТЧ есть «дырка» — иными словами, неразрешимое суждение G — то почему бы нам не заткнуть эту дырку? Почему бы не добавить G к ТТЧ в качестве шестой аксиомы? Конечно, по сравнению с остальными аксиомами, G — неуклюжий великан, и получившаяся система ТТЧ + G выглядела бы довольно комично из-за диспропорции ее аксиом. Тем не менее, это предложение имеет смысл. Представим себе, что перед нами ТТЧ + G — высшая формальная система. Мы надеемся, что она не только свободна от супернатуральных чисел, но и полна. Безусловно то, что ТТЧ + G лучше ТТЧ по крайней мере в одном, строчка G больше не является в ней неразрешимой, поскольку теперь она превратилась в теорему.

В чем же была причина недостатков ТТЧ? Ее уязвимость объяснялась тем, что она была способна говорить о себе самой. В частности, источником неприятностей было высказывание:

«Я не могу быть доказано в формальной системе ТТЧ»

или, более подробно,

«Не существует такого натурального числа, которое составляло бы пару доказательства ТТЧ с Гёделевым номером этой строчки.»

Есть ли у нас причина ожидать, что ТТЧ + G будет неуязвима для Гёделева доказательства? На самом деле, нет. Наша новая система может выразить ничуть не меньше, чем ТТЧ. Поскольку Гёделево доказательство основывается, прежде всего, на выразительной мощи формальной системы, будет неудивительно, если наша новая система окажется подверженной тому же недугу, как и ТТЧ. Для этого нужно будет найти строчку, выражающую высказывание: