Джон Хорган - Конец науки: Взгляд на ограниченность знания на закате Века Науки

• Название: Конец науки: Взгляд на ограниченность знания на закате Века Науки
• Автор: Джон Хорган
• Издательство: Амфора
• Жанр: Философия
• Год: 2001
• ISBN: 5-94278-179-6

Есть ли границы познания? Возможен ли конец науки? Самые интересные научные теории последних двадцати лет, удивительный диапазон воззрений крупнейших исследователей конца XX века представляет читателю американский ученый и писатель Джон Хорган, объединивший в своей книге тонкий анализ потрясающих открытий и ярких, характерных свойств личности ученых, подаривших эти открытия миру.

---

Я приехал на семинар в основном для того, чтобы встретится с Грегори Чайтином (Gregory Chaitiri) , математиком и специалистом по информатике из «IBM», который с начала шестидесятых посвятил себя исследованию и расширению теорем Геделя через так называемую алгоритмическую теорию информации. Насколько я могу судить, Чайтин приблизился к доказательству того, что математическая теория сложности невозможна. Перед встречей с Чайтином я представлял его согбенным, мрачным человеком с волосатыми ушами и восточноевропейским акцентом. Это представление было связано с характером его исследования, пронизанного некой философской тревогой, столь характерной для Старого Света. Но Чайтин ни в коей мере не напоминал созданную моим воображением модель. Полный, лысый и с каким-то мальчишеским поведением. На нем были мешковатые белые брюки с эластичным ремнем, черная футболка с репродукцией с картины Матисса и сандалии. Он оказался моложе, чем я ожидал; позднее я узнал, что его первая работа была опубликована, когда ему было всего восемнадцать, в 1965 году. Благодаря своей гиперактивности он выглядел еще моложе. Темп его речи постоянно нарастал, и слова сыпались словно горох. Иногда темп падал: возможно, Чайтин сознавал, что приближается к границам человеческого понимания и ему следует говорить медленнее. Скорость и громкость можно было бы изобразить в виде перекрывающихся синусоид. Пытаясь донести идею, он зажмуривал глаза и с мучительной гримасой наклонял голову вперед, словно пытался отделить слова от липкого мозга.

Участники сидели в прямоугольной комнате вокруг длинного стола, повторяющего ее контуры. На стене висела доска. Семинар открыл Касти, спросив: «Является ли реальный мир слишком сложным для нашего понимания?» Теоремы неполноты Курта Геделя, отметил Касти, подразумевали, что некоторые математические описания всегда будут неполными; какие-то аспекты мира всегда будут сопротивляться описанию.

Алан Туринг (Alan Turing) тоже показал, что многие математические предложения «нерешаемы», то есть в конечном счете нельзя определить, являются ли предложения истинными или ложными. Трауб попытался перефразировать вопрос Касти в более позитивном свете: можем ли мы узнать то, что не можем знать? Можем ли мы доказать, что у науки есть границы, точно так же, как Гедель и Туринг доказали, что они есть у математики?

Единственным способом получения такого доказательства, объявил Атли Джексон (Atlee Jackson) , физик из Университета Иллинойса, является формулировка теории науки. Чтобы показать, какой трудной будет эта задача, Джексон подскочил к доске и нацарапал чрезвычайно сложный график последовательности операций, который, предположительно, представлял науку. Когда слушатели тупо уставились на него, Джексон перешел к афоризмам. Чтобы определить, имеет ли наука границы, сказал он, надо определить науку, и как только вы определите науку, вы навяжете ей границу. С другой стороны, добавил он, «я не могу определить свою жену, но я могу ее узнать». Награжденный вежливыми смешками, Джексон отправился на свое место.

Теоретик антихаоса Стюарт Кауффман время от времени появлялся на семинаре, выступал с минилекциями в стиле дзэн-буддизма, а затем снова исчезал. Во время одного из появлений он напомнил нам, что само наше выживание зависит от нашей способности классифицировать мир. Но мир не появляется уже распакованным по предварительно подготовленным категориям. Мы можем классифицировать несколькими путями. Более того, чтобы классифицировать явления, мы должны отбросить часть информации. Кауффман закончил выступление заклинанием:

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

Слушатели выглядели одновременно озадаченными и раздраженными.

Тогда несколько слов сказал Ральф Гомори (Ralph Gomory) . Бывший вице-президент по вопросом исследований в «IBM», Гомори теперь возглавляет Фонд Слоана, филантропическую организацию, которая спонсирует относящиеся к науке проекты, включая семинар в Сайта-Фе. Когда Гомори слушал выступления других и даже выступал сам, его лицо выражало полное неверие. Он то склонял голову вперед, словно вглядывался в нечто в невидимый бинокль, то сводил на переносице густые черные брови и хмурил лоб.

Гомори объяснил, что он решил поддержать семинар, потому как давно считал, что образовательная система делает слишком большой упор на том, что известно, и слишком мало внимания уделяет тому, что неизвестно или даже не может быть познано. Большинство людей даже не осознают, как мало известно, сказал Гомори, потому что образовательная система представляет такой бесшовный, непротиворечивый взгляд на реальность. Все, что мы знаем о древних Персидских войнах, например, исходит из единственного источника — Геродота. Откуда нам знать, был ли Геродот точным репортером? Может, у него была неполная или неточная информация! Может, у него было предвзятое отношение или он что-то придумал! И мы этого никогда не узнаем!

В дальнейшем Гомори заметил, что марсианин, наблюдая за тем, как люди играют в шахматы, может быть способен точно вывести правила игры. Но может ли марсианин когда-либо быть уверенным, что это — истинные правила или единственные правила? Все с минуту размышляли над загадкой Гомори. Затем Кауффман стал рассуждать о том, как на нее мог бы ответить Виттгенштейн. Виттгенштейн стал бы «крайне страдать», сказал Кауффман, из-за того, что игроки в шахматы могут сделать ход — преднамеренно или нет, — который нарушает правила. В конце концов, как может марсианин сказать, был ли ход ошибочным или это результат другого правила?

— Вы меня понимаете? — спросил Кауффман у Гомори.

— Для начала я не знаю, кто такой Виттгенштейн, — раздраженно ответил Гомори.

Кауффман приподнял брови.

— Он был очень известным философом.

Они с Гомори неотрывно смотрели друг на друга, пока кто-то не сказал:

— Давайте оставим Виттгенштейна в покое.

Патрик Саппс (Patrick Suppes) , философ из Стэнфорда, все время прерывал дискуссию, чтобы указать, что Кант, обсуждая антиномии, предвидел практически все проблемы, с которыми борются участники семинара. В конце концов, когда Саппс привел еще одну антиномию, кто-кто крикнул:

— Не надо больше Канта!

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

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

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

А теперь неполнота кажется такой естественной, что вы можете спросить, как мы, математики, вообще можем что-то сделать!

Работа самого Чайтина по алгоритмической теории информации предполагала, что, по мере того как математики будут обращаться к проблемам все увеличивающейся сложности, им придется продолжать пополнять свою базу аксиом; другими словами, чтобы знать больше, нужно больше предполагать. В результате, утверждал Чайтин, математике предстоит стать все более экспериментальной наукой с меньшими претензиями на абсолютную истину. Чайтин также установил, что так же, как и природа, математика состоит из фундаментальной неуверенности и беспорядочности. Он недавно нашел алгебраическое уравнение, которое может иметь бесконечное или конечное количество решений, в зависимости от значения переменных в уравнении.

— Обычно предполагается, что если люди думают, что нечто истинно, то это истинно в связи с чем-то.

В математике причина называется доказательством, а работа математика — это нахождение доказательств, причин, выводов из аксиом и принятых принципов. Они истинны случайно. И именно поэтому мы никогда не найдем истину: потому что нет истины, и нет причины, что эти доказательства истинны.

Чайтин также доказал, что никогда нельзя определить, является ли любая компьютерная программа самым возможно кратким методом решения проблемы; всегда возможно, что существуют более сжатые программы. (Это открытие подразумевает, как подтвердили и другие исследователи, что физики никогда не могут быть уверены в том, что нашли окончательную теорию, которая представляет самое компактное описание природы.) Чайтин явно наслаждался положением носителя таких ужасных известий. Он казался разрушителем, который крушит храм науки.