Любопытно, что на этой же конференции с докладом на тему «Каузальное знание и квантовая механика» выступил Вернер Гейзенберг. В этом докладе были намечены первые подходы к его знаменитым «соотношениям неопределенности».
Выводы Гёделя произвели в математическом сообществе эффект интеллектуальной бомбы, тем более что вскоре на их основе были получены опровержения двух других пунктов программы Гильберта. Оказалось, что математика неполна, неразрешима, и её непротиворечивость нельзя доказать (в рамках той самой системы, непротиворечивость которой доказывается).
Теорема Гёделя.
С тех пор прошло три четверти века, но споры о том, что же все-таки доказал Гёдель, не утихают. Особенно жаркие прения идут в околонаучных кругах. «Теорема Гёделя о неполноте является поистине уникальной. На неё ссылаются всякий раз, когда хотят доказать „всё на свете“ — от наличия богов до отсутствия разума», — пишет выдающийся современный математик В.А. Успенский.
Если оставить в стороне многочисленные подобные спекуляции, то нужно отметить, что учёные разделились в вопросе оценки роли Гёделя на две группы. Одни вслед за Расселом считают, что знаменитая теорема, которая легла в основу современной математической логики, тем не менее, оказала весьма незначительное влияние на дальнейшую работу за пределами данной дисциплины — математики как доказывали свои теоремы в «догёделевскую» эпоху, так и продолжают доказывать их и по сей день.
Что же касается фантасмагорического видения компьютеров, непрерывно доказывающих всё новые теоремы, то смысл подобной деятельности у многих специалистов вызывает большое сомнение. Ведь для математики важна не только формулировка доказанной теоремы, но и её понимание, поскольку именно оно позволяет выявить связь между различными объектами и понять, в каком направлении можно двигаться дальше. Без такого понимания теоремы, генерируемые на основе правил формализованного вывода, представляют собой лишь своего рода «математический спам», — таково мнение сотрудника кафедры математической логики и теории алгоритмов мехмата МГУ Александра Шеня.
Похожим образом рассуждал и сам Гёдель. Тем, кто упрекал его в разрушении целостности фундамента математики, он отвечал, что по сути ничего не изменилось, основы остались по-прежнему незыблемыми, а его теорема привела лишь к переоценке роли интуиции и личной инициативы в той области науки, которой управляют железные законы логики, оставляющие, казалось бы, мало места для подобных достоинств.
Однако некоторые ученые придерживаются другого мнения. Действительно, если считать умение логически рассуждать основной характеристикой человеческого разума или, по крайней мере, главным его инструментом, то теорема Гёделя прямо указывает на ограниченность возможностей нашего мозга. Согласитесь, что человеку, воспитанному на вере в бесконечное могущество мысли, очень трудно принять тезис о пределах её власти. Скорее уж речь может идти об ограниченности наших представлений о собственных ментальных возможностях. Многие специалисты полагают, что формально-вычислительные, «аристотелевские» процессы, лежащие в основе логического мышления, составляют лишь часть человеческого сознания. Другая же его область, принципиально «невычислительная», отвечает за такие направления, как интуиция, творческие озарения и понимание. И если первая половина разума подпадает под гёделевские ограничения, то вторая от подобных рамок свободна.
Наиболее последовательный сторонник подобной точки зрения — крупнейший специалист в области математики и теоретической физики Роджер Пенроуз — пошел ещё дальше. Он предположил существование некоторых квантовых эффектов невычислительного характера, обеспечивающих реализацию творческих актов сознания. И хотя многие его коллеги критически относятся к идее наделить человеческий мозг гипотетическими квантовыми механизмами, Р. Пенроуз со своими сотрудниками уже разработал схему эксперимента, который должен, по их мнению, подтвердить их наличие.
Одним из многочисленных следствий гипотезы Пенроуза может стать, в частности, вывод о принципиальной невозможности создания искусственного интеллекта на основе современных вычислительных устройств, даже в том случае, если появление квантовых компьютеров приведёт к грандиозному прорыву в области вычислительной техники. Дело в том, что любой компьютер может лишь всё более детально моделировать работу формально-логической, «вычислительной» деятельности человеческого сознания, но «невычислительные» способности интеллекта ему не доступны.
Такова лишь небольшая часть естественно-научных и философских споров, вызванных опубликованной 75 лет назад математической теоремой молодого Гёделя. Вместе с другими великими современниками он заставил человека иначе взглянуть на окружающий мир и на самого себя. Величайшие открытия первой трети XX в., в том числе теорема Гёделя, а также создание теории относительности и квантовой теории, показали ограниченность механистическидетерминистской картины природы, созданной на основе научных исследований двух предшествующих столетий. Оказалось, что и пути развития мироздания, и нравственные императивы подчиняются принципиально другим закономерностям, где имеют место и неустранимая сложность, и неопределенность, и случайность, и необратимость. Однако последствия великого научного переворота не исчерпываются уже упомянутыми. К началу XX в. идеи лапласовско-ньютоновского детерминизма оказывали огромное влияние на развитие общественных наук. Вслед за корифеями классического естествознания, представлявшими природу в виде жесткой механической конструкции, где все элементы подчиняются строгим законам, а будущее может быть однозначно предсказано, если известно текущее состояние, жрецы — деятели общественных наук — рисовали человеческое общество, подчиненное непреложным закономерностям и развивающееся в заранее заданном направлении. Одной из последних попыток сохранить подобную картину мира был, по-видимому, марксизм-ленинизм, приверженный концепции «единственно верного научного учения», составной частью которого было «материалистическое понимание истории». Достаточно вспомнить ленинскую идею построения социалистического общества по типу «большой фабрики».
Постепенно с огромным трудом идеи о сложности, случайности, неопределенности, утвердившиеся в естественно-научной картине мироздания, стали проникать и в социальные и гуманитарные науки.
В обществе непредрешенность реализуется через феномен личной свободы индивидуума. Именно присутствие в природе человека в качестве субъекта, осуществляющего вольный и непредсказуемый выбор, делает исторический процесс сложным и не подчиняющимся никаким непреложным законам вселенского развития.
Однако нельзя не заметить, что обретение новой картины сложного мира в нашей стране происходило с огромным трудом. Господствовавшая семь десятилетий идеология тяготела к детерминизму лапласовского типа как философии всеобщего авторитарного порядка. Именно такой принцип предопределенности лежал в основе мечты, никогда не покидавшей правящую советскую бюрократию, об обществе-фабрике, управляемой жесткими законами иерархии. И поэтому всякий раз, как речь заходила о сложности, плюрализме, разнообразии, будь то теория относительности, квантовая механика, генетика, кибернетика, социологические исследования, психоанализ и т. д., - сразу включался механизм идеологической цензуры, который имел своей целью изгнать все упоминания о свободе и из природы, и из общества. Увы, косное наследие до сих пор мрачной тенью довлеет над умами многих наших соотечественников и современников. Свидетельством тому — инициируемые властью мучительные поиски новой «национальной идеологии», которая могла бы занять место, освободившееся в связи с кончиной коммунистической доктрины.
Так Курт Гёдель и его великие современники заставили нас по-новому взглянуть и на «звездное небо над головой, и на нравственный закон внутри нас», и на общество, в котором мы живем.
Александров Е.Б., академик РАН, Физико-технический институт им. А.Ф. Иоффе РАН, СПб.
Арнольд В.И., академик РАН, Математический институт имени В.А. Стеклова РАН.
Власов В.В., доктор медицинских наук, вице-президент Общества доказательной медицины.
Гинзбург В.Л., академик РАН, лауреат Нобелевской премии, ФИАН, Москва.
Запесоцкий А.С., академик Российской академии образования, СанктПетербургский гуманитарный университет профсоюзов, заслуженный артист Российской Федерации.
Китаев Н.Н., кандидат юридических наук, Факультет права, социологии и СМИ Иркутского государственного технического университета.
