Идеи с границы познания. Эйнштейн, Гёдель и философия науки

Тут Харрис несколько лукавит. Он почему-то не упоминает, что стандартные противоположные точки зрения в философии математики изначально сформулировали не философы, а математики, более того, некоторые величайшие математики минувшего столетия. Отцом «формализма», считающего высшую математику игрой в формальные символы, стал Давид Гильберт, «супергигант», по оценке Харриса. А за «интуиционизмом», согласно которому числа и другие математические объекты – мысленные конструкции, стоят Анри Пуанкаре (тоже «супергигант»), Герман Вейль и Л. Э. Я. Брауэр. Бертран Рассел и Альфред Норт Уайтхед занимали так называемую позицию «логицизма» и в своих фундаментальных Principia Mathematica стремились показать, что математика – это просто переодетая логика. А Курт Гёдель отстаивал «платонизм», согласно которому математика описывает вечное и идеальное царство объектов, существующих вне нашего сознания, подобно платоновскому миру форм.

Все эти титаны математики были страстно увлечены философией «Математики с большой буквы», по выражению Харриса. Жаркие споры между ними и их сторонниками разгорелись особенно сильно в двадцатые годы и зачастую переходили на личности. Удивляться здесь нечему: математика того времени переживала «кризис» в результате целой череды открытий, способных подорвать любую уверенность, например, появления неевклидовых геометрий и открытия парадоксов в теории множеств. Возникло ощущение, что под математику нужно подвести новый прочный фундамент, иначе старому идеалу несомненности настанет конец. Под вопросом оказался сам способ заниматься математикой – какие типы доказательств можно признавать и какие применения бесконечности допускать.

И по техническим, и по философским причинам ни одна из конкурирующих фундаментальных программ начала XX века не была признана удовлетворительной (в частности, теоремы о неполноте Гёделя привели к непреодолимым проблемам и для формализма Гильберта, и для логицизма Рассела и Уайтхеда: грубо говоря, теоремы о неполноте говорят, что непротиворечивость правил математической «игры» Гильберта в принципе недоказуема, а логическая система наподобие системы Рассела и Уайтхеда не способна вместить в себя все математические истины). Вопросы математического существования и истинности остались без ответа, и философы по-прежнему размышляли над ними, пусть и безрезультатно, свидетельством чему служит откровенное название статьи Хилари Патнэма, вышедшей в 1979 году: «Философия математики, или Почему ничего не получается» (Putnam, H., Philosophy of Mathematics: Why Nothing Works).

С точки зрения Харриса все это несколько vieux jeu. Ощущение кризиса в профессии, такое острое меньше века назад, несколько померкло, старые трудности удалось либо кое-как преодолеть, либо замаскировать. Если спросить у современного математика, к какой партии он принадлежит, ответом, как в анекдоте, будет, что он платоник по будням и формалист по выходным. То есть математики во время работы над математическими задачами считают, что имеют дело с реальностью, не зависимой от сознания, но когда у них появляется настроение поразмышлять абстрактно, многие утверждают, что математика – всего лишь бессмысленная игра с формальными символами.

Сегодня сдвиги парадигм в математике имеют отношение скорее к поиску более совершенных методов, чем к кризису. Например, бытует мнение, что всю математику можно выстроить из теории множеств. Теория множеств отталкивается от простой идеи, что что-то одно – элемент чего-то другого, и показывает, как на самом скромном материале можно создавать структуры бесконечной, как видно, сложности – системы чисел, геометрические пространства, нескончаемую иерархию бесконечностей. Например, число 0 определяется как «пустое множество», то есть множество, в котором нет ни одного элемента. Число 1 можно определить как множество, которое содержит один элемент – 0 и больше ничего. Число 2, следовательно, можно определить как множество, содержащее 0 и 1, и так далее – каждое следующее число содержит множества для всех предыдущих чисел. Таким образом, числа перестают быть началом начал и рассматриваются как просто множества постепенно усложняющейся структуры.

В 1930-е годы компания блестящих молодых парижских математиков, в которую входил и Андре Вейль, составила заговор с целью укрепить здание математики, перестроив его на логическом фундаменте теории множеств. Этот проект под коллективным nom de guerre Бурбаки просуществовал несколько десятков лет и породил целую череду толстых трактатов. Следствием его деятельности стала, в частности – как ни безумно это звучит – реформа школьного образования в 1960-е годы и введение «новой математики», которая выбила почву из-под ног американских школьников и их родителей, поскольку интуитивное представление о числе заменили непонятным жаргоном теории множеств.