Математика. Утрата определенности.

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

Чтобы спасти здание от разрушения, необходимы были экстренные меры — и математики приняли вызов. Они наконец поняли, что прочного грунта, на котором можно было бы возвести фундамент здания математики, не существует. То, что кажется прочным, в действительности обманчиво и зыбко. Но, быть может, здание математики удастся возвести на прочном основании иного рода? В качестве такого основания математики решили выбрать четко сформулированные определения, полные перечни используемых аксиом и явное доказательство всех результатов, сколь бы очевидными они ни выглядели интуитивно. Кроме того, вместо поиска истины математики устремились теперь на поиск логической непротиворечивости. Доказываемые теоремы должны быть строго взаимосвязаны, придавая зданию математики желанную прочность (гл. VII). Движение за аксиоматизацию, развернувшееся в конце XIX в., позволило придать прочность зданию математики. Так, несмотря на то что математика как будто бы утратила опору в реальности, очередной кризис в истории математики удалось преодолеть.

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

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