Комиссия по борьбе с лженаукой и фальсификацией научных исследований - В защиту науки (Бюллетень № 5)

С именем и научными изысканиями Фреге связана, пожалуй, одна из самых драматических историй в развитии науки о числах. Когда второй том был уже в печати, ученый получил письмо от молодого английского математика Бертрана Рассела. Поздравив коллегу с выдающимися результатами, Рассел, тем не менее, указал на одно обстоятельство, прошедшее мимо внимания автора. Коварным «обстоятельством» был получивший впоследствии широкую известность «парадокс Рассела», представлявший собой вопрос: будет ли множество всех множеств, не являющихся своими элементами, своим элементом? Фреге не смог немедленно разрешить загадку. Ему не оставалось ничего другого, как только добавить в послесловии к выходящему из печати второму тому своей книги полные горечи слова: «Вряд ли что-нибудь может быть более нежелательным для ученого, чем обнаружить, что основания едва завершенной работы рухнули. Письмо, полученное мной от Бертрана Рассела, поставило меня именно в такое положение…» Огорченный математик взял академический отпуск в своем университете, потратил массу сил, пытаясь подправить свою теорию, но все было тщетно. Он прожил ещё более двадцати лет, но не написал больше ни одной работы по арифметике.

Однако Расселу удалось вывести вариант формальной системы, позволяющий охватить всю математику и свободный от всех известных к тому времени парадоксов, с опорой именно на идеи и работы Фреге. Полученный им результат, опубликованный в 1902 г. в книге «Principia Mathematica» (написанной совместно с А.Н. Уайтхедом), фактически стал аксиоматизацией логики, а Д. Гильберт считал, что его «можно рассматривать как венец всех усилий по аксиоматизации науки».

Была и ещё одна причина столь пристального интереса математиков к основаниям своей дисциплины. Дело в том, что на рубеже XIX и XX столетий в теории множеств были обнаружены противоречия, для обозначения которых был придуман эвфемизм «парадоксы теории множеств». Наиболее известный из них — знаменитый парадокс Рассела — был, увы, не единственным. Более того, для большинства учёных было очевидно, что за открытием новых странностей дело не станет. Их появление оказало на математический мир, по выражению Гильберта, «катастрофическое воздействие», поскольку теория множеств играла роль фундамента, на котором возводилось всё здание науки о числах. «Перед лицом этих парадоксов надо признать, что положение, в котором мы пребываем сейчас, на длительное время невыносимо. Подумайте: в математике — этом образце надежности и истинности — понятия и умозаключения, как их всякий изучает, преподает и применяет, приводят к нелепостям. Где же тогда искать надежность и истинность, если даже само математическое мышление дает осечку?», — сокрушался Гильберт в своем докладе на съезде математиков в июне 1925 г.

Таким образом, впервые за три тысячелетия математики вплотную подошли к изучению самых глубинных оснований своей дисциплины. Сложилась любопытная картина: любители цифр научились четко объяснять, по каким правилам они ведут свои вычисления, им оставалось лишь доказать «законность» принятых ими оснований с тем, чтобы исключить любые сомнения, порождаемые злополучными парадоксами. И в первой половине 20-х годов великий Гильберт, вокруг которого сложилась к тому времени школа блестящих последователей, в целой серии работ наметил план исследований в области оснований математики, получивший впоследствии название «Гёттингенской программы». В максимально упрощенном виде её можно изложить следующим образом: математику можно представить в виде набора следствий, выводимых из некоторой системы аксиом, и доказать, что:

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

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

3. Математика является разрешимой, т. е., пользуясь правилами, можно выяснить относительно любого математического утверждения, доказуемо оно или опровержимо.

Фактически программа Гильберта стремилась выработать некую общую процедуру для ответа на все математические вопросы или хотя бы доказать существование таковой. Сам учёный был уверен в утвердительном ответе на все три сформулированных им вопроса: по его мнению, математика действительно была полной, непротиворечивой и разрешимой. Оставалось только это доказать.

Более того, Гильберт полагал, что аксиоматический метод может стать основой не только математики, но и науки в целом. В 1930 г. в статье «Познание природы и логика» он писал: «…даже в самых обширных по своему охвату областях знания нередко бывает достаточно небольшого числа исходных положений, обычно называемых аксиомами, над которыми затем чисто логическим путем надстраивается всё здание рассматриваемой теории».

Какими были бы для дальнейшего развития науки последствия успеха Гильберта и его школы? Если бы, как он считал, вся математика (и наука в целом) сводилась к системе аксиом, то их можно было бы ввести в вычислительную машину, способную по программе, следующей общим логическим правилам, обосновать любое утверждение (т. е. доказать теорему), вытекающее из исходных утверждений.

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

Однако «вселенская аксиоматизация» не состоялась. Вся суперамбициозная, грандиозная программа, над которой несколько десятилетий работали крупнейшие математики мира, была опровергнута одной-единственной теоремой. Её автором был Курт Гёдель, которому к тому времени едва исполнилось 25 лет.

В 1930 г. на конференции, организованной «Венским кружком» в Кёнигсберге, он сделал доклад «О полноте логического исчисления», а в начале следующего года опубликовал статью «О принципиально не разрешимых положениях в системе Principia Mathematica и родственных ей системах». Центральным пунктом его работы были формулировка и доказательство теоремы, которая сыграла фундаментальную роль во всем дальнейшем развитии математики, и не только её. Речь идет о знаменитой теореме Гёделя о неполноте. Наиболее распространенная, хотя и не вполне строгая её формулировка утверждает, что «для любой непротиворечивой системы аксиом существует утверждение, которое в рамках принятой аксиоматической системы не может быть ни доказано, ни опровергнуто». Тем самым Гёдель дал отрицательный ответ на первое утверждение, сформулированное Гильбертом.