Гёдель, Эшер, Бах. Эта бесконечная гирлянда

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

Позже в девятнадцатом веке английские логики Джордж Буль и Август де Морган пошли значительно дальше Аристотеля в кодификации строго дедуктивных рассуждений. Буль даже назвал свою книгу «Законы мысли», что, безусловно, было некоторым преувеличением; однако его попытки внесли серьезный вклад в общие усилия. Льюис Кэрролл был очарован механическими методами рассуждений и изобрел множество головоломок, решавшихся с помощью этих методов. Готтлоб Фреге в Йене и Джузеппе Пеано в Турине работали над соединением формальных рассуждений с изучением чисел и множеств. Дэвид Гильберт в Геттингене трудился над более строгой, чем у Эвклида, формализацией геометрии. Все эти усилия были направлены на выяснение вопроса о том, что же такое «доказательство».

Между тем, в классической математике тоже происходили интересные события. В 1880-х годах Георг Кантор развил теорию о различных типах бесконечности, известную под именем теории множеств. Теория Кантора была глубока и красива, но шла вразрез с интуицией; вскоре на свет появилось целое семейство парадоксов, основанных на теории множеств. Ситуация была не из приятных. Только математики начали оправляться от удара, нанесенного по математическому анализу парадоксами, связанными с теорией пределов, как попали из огня в полымя из-за нового, еще худшего набора парадоксов!

Самый известный из них — парадокс Рассела. По всей видимости, большинство множеств не являются элементами самих себя: скажем, множество моржей — это не морж; множество, содержащее только одного члена, Жанну д'Арк, само не является Жанной (множество не человек!), и так далее. В этом смысле, большинство множеств совершенно заурядны. Однако существуют такие «самозаглатывающие» множества, которые содержат самих себя, как, например, множество всех множеств, или множество всех вещей за исключением Жанны Д'Арк, и тому подобные. Ясно, что множества могут быть только одного из этих двух типов — либо заурядные, либо самозаглатывающие — и ни одно множество не может входить сразу в два класса. Однако ничто не мешает нам изобрести множество R всех заурядных множеств. На первый взгляд, R кажется довольно заурядным изобретением, но вам придется пересмотреть свое мнение, если вы спросите себя, является ли множество R самозаглатывающим или заурядным. Вы придете к следующему ответу: R не является ни тем, ни другим, так как любой из этих двух ответов приводит к парадоксу. Попробуйте и убедитесь сами!

Но если R не заурядное и не самозаглатывающее, тогда что же оно такое? По меньшей мере, ненормальное. Однако такой уклончивый ответ никого не удовлетворял. Тогда люди стали пытаться докопаться до основ теории множеств; при этом они задавали себе следующие вопросы: «В чем заключается ошибка нашего интуитивного понимания понятия „множество“? Можно ли создать строгую теорию множеств, которая бы не противоречила нашей интуиции и в то же время исключала бы парадоксы?» Здесь, так же как и в теории чисел и в геометрии, проблема заключалась в том, чтобы примирить интуицию с формальными, аксиоматическими системами логических рассуждений.

Удивительный вариант парадокса Рассела, называющийся парадоксом Греллинга, получается, если вместо множеств использовать прилагательные. Разделите все прилагательные русского языка на две категории: те, которые описывают самих себя, «самоописывающие», («пятисложное», «шелестящий,» «пренеестественнейший» и т. п.), и те, которые таким свойством не обладают («съедобный», «двусложный», «кратчайший»). Рассмотрим теперь прилагательное «несамоописывающий». К какому классу оно относится? Попробуйте ответить!