ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда
Шрифт:
«Основания математики» явились первой, но далеко не последней жертвой удара. Выражение «и родственные системы» в заглавии Гёделевой статьи говорит о многом. Если бы результат, полученный Гёделем, указывал бы только на дефект в работе Рассела и Уайтхеда, другие математики могли бы попытаться исправить ошибки в «Основаниях математики» и «перехитрить» теорему Гёделя. Однако это оказалось невозможным: теорема Гёделя была приложима ко всем аксиоматическим системам, ставившим своей целью то же, что и система Рассела и Уайтхеда. Для различных систем подходил один и тот же основной трюк. Короче, Гёдель показал, что понятие «доказуемости» уже, слабее понятия
Таким образом, теорема Гёделя произвела электризующий эффект на логиков, математиков и философов, заинтересованных в основах математики, поскольку она показала, что ни одна установленная система, какой бы сложной она не была, не может отразить всей сложности целых чисел: 0,1, 2, 3… Современный читатель, возможно, не окажется от этого в таком замешательстве, как читатели 1931 года, так как за прошедшее время наша культура впитала теорему Гёделя вместе с революционными идеями теории относительности и квантовой механики, и широкая публика получила доступ к этим концепциям, поражающим и дезориентирующим мышление даже в смягченном прослойкой переводов (а зачастую и затемненном этими переводами) виде. Сейчас идея «ограничивающих» результатов витает в воздухе; тогда, в 1931 году, она была как гром с ясного неба.
Чтобы полностью оценить теорему Гёделя, необходим определенный контекст. Я попытаюсь здесь дать обзор истории математической логики до 1931 года на нескольких страницах — невозможная задача! (Хорошее изложение истории этого предмета читатель может найти у Делонга, Нибоуна, или Нагеля и Ньюмена). Все началось с попытки механизировать мыслительный процесс логических рассуждений. Обратите внимание, что умение мыслить всегда рассматривалось как отличительная черта человека; на первый взгляд, желание механизировать самую человеческую черту кажется парадоксальным. Тем не менее, уже древние греки знали, что логическое мышление - структурный процесс, до некоторой степени управляемый определенными законами. Эти законы можно описать. Аристотель систематизировал силлогизмы, а Эвклид — геометрию; однако с тех пор прошло много веков до того, как в изучении логического мышления снова наступила эра прогресса.
Одним из важнейших открытий геометров девятнадцатого столетия были различные геометрии, равно имеющие право на существование. Под геометрией здесь понимается теория, описывающая свойства абстрактных точек и линий. До этого считалось, что геометрия — это система, кодифицированная Эвклидом; она могла иметь незначительные недостатки, которые могли быть со временем исправлены. Таким образом, любой прогресс в этой области означал исправление и дополнение Эвклида. Это убеждение было разбито вдребезги, когда несколько математиков почти одновременно открыли неэвклидову геометрию — открытие, потрясшее математический мир, поскольку оно сильно поколебало бытовавшее мнение, что математика изучает реальную действительность. Каким образом в одной и той же реальности могли существовать различные типы точек и линий? Сегодня решение этой дилеммы может быть очевидно даже для некоторых далеких от математики людей, но в то время она посеяла панику в математических кругах.
Позже в девятнадцатом веке английские логики Джордж Буль и Август де Морган пошли значительно дальше Аристотеля в кодификации строго дедуктивных рассуждений. Буль даже назвал свою книгу «Законы мысли», что, безусловно, было некоторым преувеличением; однако его попытки внесли серьезный вклад в общие усилия. Льюис Кэрролл был очарован механическими методами рассуждений и изобрел множество головоломок, решавшихся с помощью этих методов. Готтлоб Фреге в Йене и Джузеппе Пеано в Турине работали над соединением
Между тем, в классической математике тоже происходили интересные события. В 1880-х годах Георг Кантор развил теорию о различных типах бесконечности, известную под именем теории множеств. Теория Кантора была глубока и красива, но шла вразрез с интуицией; вскоре на свет появилось целое семейство парадоксов, основанных на теории множеств. Ситуация была не из приятных. Только математики начали оправляться от удара, нанесенного по математическому анализу парадоксами, связанными с теорией пределов, как попали из огня в полымя из-за нового, еще худшего набора парадоксов!
Самый известный из них — парадокс Рассела. По всей видимости, большинство множеств не являются элементами самих себя: скажем, множество моржей — это не морж; множество, содержащее только одного члена, Жанну д'Арк, само не является Жанной (множество не человек!), и так далее. В этом смысле, большинство множеств совершенно заурядны. Однако существуют такие «самозаглатывающие» множества, которые содержат самих себя, как, например, множество всех множеств, или множество всех вещей за исключением Жанны Д'Арк, и тому подобные. Ясно, что множества могут быть только одного из этих двух типов — либо заурядные, либо самозаглатывающие — и ни одно множество не может входить сразу в два класса. Однако ничто не мешает нам изобрести множество R всех заурядных множеств. На первый взгляд, R кажется довольно заурядным изобретением, но вам придется пересмотреть свое мнение, если вы спросите себя, является ли множество R самозаглатывающим или заурядным. Вы придете к следующему ответу: R не является ни тем, ни другим, так как любой из этих двух ответов приводит к парадоксу. Попробуйте и убедитесь сами!
Но если R не заурядное и не самозаглатывающее, тогда что же оно такое? По меньшей мере, ненормальное. Однако такой уклончивый ответ никого не удовлетворял. Тогда люди стали пытаться докопаться до основ теории множеств; при этом они задавали себе следующие вопросы: «В чем заключается ошибка нашего интуитивного понимания понятия „множество“? Можно ли создать строгую теорию множеств, которая бы не противоречила нашей интуиции и в то же время исключала бы парадоксы?» Здесь, так же как и в теории чисел и в геометрии, проблема заключалась в том, чтобы примирить интуицию с формальными, аксиоматическими системами логических рассуждений.
Удивительный вариант парадокса Рассела, называющийся парадоксом Греллинга, получается, если вместо множеств использовать прилагательные. Разделите все прилагательные русского языка на две категории: те, которые описывают самих себя, «самоописывающие», («пятисложное», «шелестящий,» «пренеестественнейший» и т. п.), и те, которые таким свойством не обладают («съедобный», «двусложный», «кратчайший»). Рассмотрим теперь прилагательное «несамоописывающий». К какому классу оно относится? Попробуйте ответить!
У всех этих парадоксов есть общий виновник: автореферентность, или «страннопетельность». Таким образом, если наша цель — избавиться от всех парадоксов, то почему бы нам не попытаться избавиться от автореферентности и тех условий, которые ее порождают? Это не так легко, как кажется, так как иногда бывает трудно найти, где именно происходит автореференция. Иногда она бывает распределена по Странной Петле в несколько ступеней, как в следующей расширенной версии парадокса Эпименида, напоминающей Эшеровские «Рисующие руки» —