На сегодняшний день занимающиеся хаососложностью ученые создали несколько сильных метафор: эффект бабочки, фракталы, искусственная жизнь, грань хаоса, самоорганизованная критичность. Но они не сказали нам ничего о мире, который одновременно является конкретным и истинно удивительным — в отрицательном или в положительном смысле. Они слегка расширили границы знания в определенных областях и более четко очертили границы знаний в других местах.
Компьютерные модели представляют собой тип метареальности, в рамках которой мы можем играть и даже — в ограниченном объеме — тестировать научные теории, но они не являются самой реальностью (хотя многие ревностные поборники упустили из виду это различие). Более того, давая ученым больше власти в манипулировании различными символами, различными путями для моделирования природного явления, компьютеры могут подорвать их веру в то, что созданные ими теории не просто истинны, но эта истина эксклюзивная и абсолютно верная. Компьютеры могут, во всяком случае (если уж на то пошло), ускорить конец эмпирической науки. Кристофер Лангтон был прав: в будущем науки есть что-то, более похожее на поэзию.
Глава 9
Конец лимитологии
Точно так же, как влюбленные начинают говорить о своих отношениях только когда они ухудшаются, так и ученые становятся более сдержанными и сомневающимися, когда их усилия дают все меньшую и меньшую отдачу. Наука пойдет по пути, уже протоптанному литературой, искусством, музыкой и философией. Она станет более интроспективной, субъективной, рассеивающейся, преследуемой навязчивыми идеями и неспособной отойти от своих методов. Весной 1994 года я увидел будущее науки в микрокосме, когда сидел на семинаре под названием «Границы научных знаний» в Институте Санта-Фе. Во время трехдневного семинара ученые, среди которых были математики, физики, биологи и экономисты, размышляли о том, есть ли границы у науки, и если есть, может ли она их достичь. Семинар был организован двумя исследователями, связанными с Институтом Санта-Фе: Джоном Касти (John Casti) , математиком, написавшим множество популярных книг по вопросам математики, и профессором Колумбийского университета Джозефом Траубом (Joseph Traub) , занимающимся информатикой[147].
Я приехал на семинар в основном для того, чтобы встретится с Грегори Чайтином (Gregory Chaitiri) , математиком и специалистом по информатике из «IBM», который с начала шестидесятых посвятил себя исследованию и расширению теорем Геделя через так называемую алгоритмическую теорию информации. Насколько я могу судить, Чайтин приблизился к доказательству того, что математическая теория сложности невозможна. Перед встречей с Чайтином я представлял его согбенным, мрачным человеком с волосатыми ушами и восточноевропейским акцентом. Это представление было связано с характером его исследования, пронизанного некой философской тревогой, столь характерной для Старого Света. Но Чайтин ни в коей мере не напоминал созданную моим воображением модель. Полный, лысый и с каким-то мальчишеским поведением. На нем были мешковатые белые брюки с эластичным ремнем, черная футболка с репродукцией с картины Матисса и сандалии. Он оказался моложе, чем я ожидал; позднее я узнал, что его первая работа была опубликована, когда ему было всего восемнадцать, в 1965 году. Благодаря своей гиперактивности он выглядел еще моложе. Темп его речи постоянно нарастал, и слова сыпались словно горох. Иногда темп падал: возможно, Чайтин сознавал, что приближается к границам человеческого понимания и ему следует говорить медленнее. Скорость и громкость можно было бы изобразить в виде перекрывающихся синусоид. Пытаясь донести идею, он зажмуривал глаза и с мучительной гримасой наклонял голову вперед, словно пытался отделить слова от липкого мозга.
147
Семинар под названием «Границы научных знаний» проводился в Институте Санта-Фе с 24 по 26 мая 1994 г.