Teopeмa Гёделя

Нагель Эрнст

Второй основной результат работы Гёделя, пожалуй, еще более неожидан и поразителен; он указывает на некоторую принципиальную ограниченность возможностей аксиоматического метода. Гёдель показывает, что система Principia Mathematica, как и всякая иная система, средствами которой можно построить арифметику, — существенно неполна. Это значит, что для любой данной непротиворечивой системы арифметических аксиом имеются истинные арифметические предложения, не выводимые из аксиом этой системы.

Это обстоятельство играет решающую роль для оценки всей работы Гёделя, и на нем стоит остановиться несколько подробнее. Математикам хорошо известны примеры общих утверждений, для которых до сих пор не найдено никакого опровергающего примера, но не найдено и доказательства. Классическим примером такого рода может служить знаменитая «теорема Гольдбаха», утверждающая, что каждое четное число можно представить в виде суммы двух простых чисел. Мы не можем указать ни одного четного числа, которое не являлось бы суммой двух простых, но у нас нет и доказательства гипотезы Гольдбаха, пригодного для всех четных чисел. Таким образом, перед нами — арифметическое утверждение, которое вполне может быть истинным,

но не выводимым из аксиом арифметики. Допустим, что это действительно так (утверждать подобное мы, разумеется, не можем). Представим себе, что мы изменили или пополнили исходную аксиоматику таким образом, чтобы все истинные, но не выводимые в исходной системе предложения (к их числу относится, по сделанному только что предположению, гипотеза Гольдбаха) станут в расширенной системе выводимыми [9] . Теорема Гёделя показывает, что никакое такое расширение арифметической системы не может сделать ее полной, т. е. что даже если пополнить ее бесконечным множеством аксиом, все равно в новой системе найдутся истинные, но не выводимые (хотя и выразимые!) ее средствами предложения.

9

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

^{Истинность таких предложений, как мы ниже увидим, можно установить посредством некоторого метаматематического рассуждения об арифметической системе. Но такое рассуждение не удовлетворяет требованию, согласно которому исчисление должно быть, так сказать, «замкнутой системой», т. е. все доказуемые в нем истинные предложения должны быть получены как формальные следствия из аксиом внутри самого исчисления. Таким образом, аксиоматический метод как средство построения всей содержательной арифметики оказывается принципиально ограниченным.}

Чтобы читателю было легче понять идею доказательства Гёделя, мы (следуя Гёделю) приведем вначале схему рассуждения, посредством которого получается логическая антиномия (противоречие), известная под названием «парадокса Ришара» (по имени описавшего ее в 1905 г. французского математика).

Возьмем какой-нибудь язык (например, русский) [10] , средствами которого можно описывать и определять все чисто арифметические свойства чисел. Рассмотрим определения, которые можно сформулировать на этом языке. Ясно, что некоторые термины, относящиеся к арифметическим свойствам, нам определить явным образом все равно не удастся (с чего-то надо начать и в определениях во избежание ситуаций, известных под названиями «порочного круга» и «бесконечного спуска»), хотя, конечно, мы можем в принципе понимать смысл этих слов и без определений. Для нашей цели несущественно, какие именно термины принять в качестве исходных, неопределяемых; мы можем, например, считать, что мы понимаем смысл предложений «целое число делится на другое целое число», «целое число является произведением двух целых чисел» и т. п. Свойство быть простым числом тогда можно определить следующим образом: «не делиться ни на одно целое число, кроме самого себя и числа 1»; свойство быть точным квадратом: «быть произведением некоторого целого числа на то же число» и т. п.

10

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

Легко видеть, что каждое такое определение состоит лишь из конечного числа слов, а потому и из конечного числа букв алфавита. Поэтому мы можем ввести для таких словесных определений отношение порядка, считая одно определение предшествующим другому, если число букв, из которых состоит первое определение, меньше числа букв, составляющих второе определение; в тех же случаях, когда два определения состоят из одного и того же числа букв [11] , одно из них считать предшествующим другому в обычном лексикографическом (алфавитном, словарном) порядке. Исходя из такого упорядочения можно теперь расположить все определения рассматриваемого вида в последовательность, сопоставив каждому из них единственное натуральное число — номер в этой же последовательности. Тогда самое короткое (и стоящее ранее других в алфавитном порядке) определение получит номер 1, следующее за ним в этом «словаре определений» — номер 2 и т. д.

11

Пропуск между словами можно при этом считать особой «буквой» (например, последней в алфавите) или просто писать слова подряд, без пропусков. — Прим. перев.

Поскольку каждому определению теперь сопоставлено некоторое натуральное число, то может оказаться, что в некоторых случаях число, сопоставленное какому-нибудь определению, само будет обладать определяемым свойством.

^{Ситуация здесь в точности такова же, как в том случае, когда все слова в обычном орфографическом словаре делятся на два класса: односложные и многосложные; при этом слово «многосложное» само оказывается многосложным.}

Пусть, например, определяющее выражение «не делиться ни на одно натуральное число, кроме самого себя и числа 1» оказалось в нашей последовательности на 17-м месте; ясно, что сопоставленное ему число 17 само подпадает под это определение. Пусть, с другой стороны, определяющее выражение «быть произведением некоторого натурального числа на то же самое число» получило номер 15; само число 15, очевидно, не является точным квадратом

и потому данным свойством не обладает. Назовем числа, не обладающие свойствами, определяемыми предложениями, которым они соответствуют в описанной нами нумерации, ришаровыми. Таким образом, «x — ришарово число» — это просто сокращение выражения «x не обладает свойством, определяемым предложением, имеющим номер x в данной словарной последовательности определяющих предложений». (Скажем, число 17 из нашего первого примера не является ришаровым, а число 15 из второго примера — ришарово.)

Теперь мы уже можем сформулировать парадокс Ришара. Определяющее выражение для свойства быть ришаровым числом описывает, очевидно, некоторое арифметическое свойство натуральных чисел. Значит, само определяющее выражение входит в описанную выше последовательность определяющих выражений. Но тогда оно имеет в этой последовательности некоторый номер, который мы обозначим через n. Зададим теперь вполне естественный вопрос (немедленно приводящий к антиномии Ришара): является ли число n ришаровым? Читатель, конечно, сразу увидит, что противоречие теперь неизбежно. В самом деле, число n является ришаровым в том и только в том случае, если оно не обладает свойством, описываемым предложением, имеющим номер n, т. е. не обладает свойством быть ришаровым! Короче говоря, n ришарово тогда и только тогда, когда оно не ришарово, т. е. утверждение «n — ришарово число» является одновременно истинным и ложным.

Следует заметить, что это противоречие в известном смысле есть трюк, который нам удался благодаря не вполне точному соблюдению правил игры. Дело в том, что мы фактически использовали одно допущение, которое, однако, предпочли в явном виде не формулировать. Мы согласились рассматривать определения чисто арифметических свойств натуральных чисел, т. е. свойств, формулируемых в терминах таких понятий, как арифметическое сложение, умножение и т. п. Затем, однако, без дополнительных оговорок мы включили в ту же последовательность определений предложение, сформулированное посредством упоминания о некотором способе записи арифметических свойств. Строго говоря, определение свойства быть ришаровым числом просто не принадлежит к той последовательности определений, которая вначале описывалась, так как это определение использует такие метаматематические понятия, как номер буквы (или вообще знака) в некоторой последовательности. Таким образом, если мы будем четко различать утверждения самой арифметики (относящиеся к числам, а отнюдь не к записям, в которые такие числа входят, т. е. к равенствам, неравенствам и вообще формулам) и утверждения относительно арифметики (т. е. как раз утверждения об арифметических формулах), то мы не получим никакого парадокса Ришара.

Значит, сам по себе парадокс Ришара совсем не страшен. Но сама схема приводящего к нему рассуждения чрезвычайно поучительна и плодотворна. Речь идет о возможности «отображения» (или «перевода») метаматематических высказываний, относящихся к некоторой достаточно богатой формальной системе, в саму систему. Сама по себе идея «перевода» хорошо известна и играет важнейшую роль во многих областях математики. Такая идея лежит, например, в основе всей аналитической геометрии, где геометрические понятия переводятся в алгебраические (арифметические), так что вместо геометрических соотношений мы, по существу, имеем дело с алгебраическими. (Вспомните хотя бы обсуждавшееся в разделе 2 отображение геометрии в алгебру, использованное Гильбертом для доказательства относительной непротиворечивости его системы геометрических аксиом). Такие отображения-«переводы» играют большую роль и в физике, например, когда свойства электрического тока излагаются на языке гидродинамических явлений. Эта же идея перевода лежит в основе технического моделирования — идет ли речь об исследовании свойств модели самолета (или же самолета в натуральную величину) в аэродинамической трубе, или же об изучении в лабораторных условиях распределения каких-либо материальных масс с помощью аналоговой модели, где роль этих масс играют электрические заряды.

На идее отображения [12] основан так называемый принцип двойственности в проективной геометрии, состоящий в возможности взаимной замены в аксиомах (а значит, и в теоремах) проективной геометрии терминов «точка» и «прямая», в результате чего аксиомы переходят в аксиомы (соответственно теоремы — в теоремы). При одном из таких «переводов» слово «точка» можно считать «образом», слово «прямая» — «прообразом»; при обратном переводе роли меняются.

Самым существенным в обсуждаемой здесь идее «моделирования» является то, что абстрактная структура отношений, выполняемых для «предметов» какой- либо области, может быть изучена с помощью рассмотрения отношений, имеющих место между «предметами» (как правило, другой природы, чем «предметы» исходной области), принадлежащими совсем другой области. Именно эта идея «кодирования» лежит в основе доказательства Гёделя. Если некоторые сложные метаматематические высказывания о формализованной системе арифметики можно, как рассчитывает Гёдель, перевести (или «отобразить») в некоторые арифметические высказывания, принадлежащие самой системе, то это уже само по себе явится большим достижением в деле развития теоретико-доказательственной техники, так же, как исследовать алгебраические соотношения, представляющие (изображающие, кодирующие) некоторые геометрические соотношения между кривыми и поверхностями, гораздо удобнее, чем иметь дело с самими геометрическими соотношениями, — точно так же арифметические аналоги («образы») сложных логических соотношений оказываются в известном смысле более обозримыми и доступными для изучения, чем их логические «прообразы».

12

Можно было бы сказать «перевода», «моделирования», «кодирования», «представления»; в переводе мы далее будем сознательно варьировать употребление этих терминов, чтобы подчеркнуть принципиальное родство понятий, выражаемых этими терминами, между собой и с используемым далее понятием «нумерации». — Прим. перев.