Был ли Бог математиком? Галопом по божественной Вселенной с калькулятором, штангенциркулем и таблицами Брадиса - читать онлайн книгу. Автор: Марио Ливио cтр.№ 50

У математиков появилось ощущение свободы от многовековых оков, привязывавших их к понятиям числа и пространства. Исторически сложилось, что к этим оковам было принято относиться столь серьезно, что уже в XVIII веке весьма плодовитый швейцарско-российский математик Леонард Эйлер (1707–1783) заметил, что «математика в целом – наука о количестве или наука, которая изучает способы измерить количество». Ветер перемен повеял только в XIX веке.

Все началось с введения абстрактных геометрических пространств и понятия бесконечности (и в геометрии, и в теории множеств), которые до неузнаваемости размыли представление о «количестве» и «измерении». Затем стали стремительно множиться исследования математических абстракций, и это помогло математике еще сильнее дистанцироваться от физической реальности, вдохнув при этом жизнь и «существование» в сами абстракции.

Вот какой «декларацией независимости» описал новообретенную свободу математики Георг Кантор (1845–1918), создатель теории множеств ^[113]: «Математика совершенно свободна в своем развитии и связана лишь самоочевидными ограничениями – ее понятия должны соответствовать друг другу логически и при этом состоять в регулируемых определениями строгих отношениях с общепринятыми понятиями, которые были введены раньше и находятся в распоряжении исследователя». К этому алгебраист Рихард Дедекинд (1831–1916) шесть лет спустя добавил ^[114]: «Полагаю, что понятие числа полностью независимо от идей или представлений о пространстве и времени… Числа – вольное творение человеческого разума». То есть и Кантор, и Дедекинд считали математику абстрактным концептуальным исследованием, которое ограничивается исключительно необходимостью соблюдать непротиворечивость безо всяких притязаний как на вычисления, так и на язык физической реальности. Как подытожил Кантор, «Суть математики целиком и полностью в ее свободе».

К концу XIX века большинство математиков уже придерживалось представлений Кантора и Дедекинда о свободе математики. Цель математики изменилась – теперь это был не поиск истин о природе, а конструирование абстрактных структур, систем аксиом и исследование всех логических следствий из этих аксиом.

Казалось бы, это должно было положить конец всем мучительным раздумьям над вопросом, изобретаем мы математику или же открываем. Если математика – не более чем игра, пусть и сколь угодно сложная, в которую играют по произвольно выдуманным правилам, нет никакого смысла верить в реальность математических концепций. Или все же есть?

Как ни странно, разрыв с физической реальностью вызвал у некоторых математиков прямо противоположные чувства. Вместо того чтобы раз и навсегда решить, что математика есть изобретение человека, они вернулись к первоначальной платоновской идее о математике как о независимом мире истин, чье существование столь же реально, сколь и существование физической Вселенной. Попытки связать математику с физикой эти «неоплатоники» прозвали прикладной математикой – в противоположность чистой математике, которая, как предполагалось, индифферентна ко всему физическому. Вот как об этом написал французский математик Шарль Эрмит (1822–1901) в письме голландскому математику Томасу Иоаннесу Стилтьесу (1856–1894) 13 мая 1894 года ^[115].

Английский математик Г. Г. Харди, сам приверженец чистой математики, был одним из самых откровенных сторонников современного платонизма. В красноречивом обращении к Британской ассоциации содействия науки 7 сентября 1922 года он объявил следующее ^[116].

Очевидно, несмотря на то, что все свидетельства того времени указывали на произвольную природу математики, особо упорные платоники не собирались так просто сдаваться. Напротив – они считали, что возможность углубиться, по словам Харди, в «свою реальность», гораздо интереснее, чем и дальше исследовать связи с реальностью физической. Однако независимо от представлений о метафизической реальности математики одно стало очевидно. Даже необузданная на первый взгляд свобода математики предполагала одно несокрушимое и неизменное ограничение – требование логической непротиворечивости. Математики и философы сильнее прежнего понимали, что перерезать пуповину между математикой и логикой ни в коем случае нельзя. Это породило другую идею: можно ли выстроить всю математику на едином логическом фундаменте? И если да, не в этом ли тайна ее эффективности? И наоборот – можно ли применять математические методы при изучении логических рассуждений в целом? Ведь тогда математика станет не только языком природы, но и языком человеческой мысли…

Вывеска на деревенской цирюльне гласит ^[117]: «Брею тех и только тех жителей деревни, кто не бреется сам». Казалось бы, резонно. Очевидно, что те, кто бреется сам, не нуждаются в услугах цирюльника, поэтому вполне естественно, что цирюльник бреет всех остальных. Но задайтесь другим вопросом – кто бреет цирюльника? Если он бреет сам себя, то, согласно вывеске, должен быть среди тех, кого не бреет. С другой стороны, если он сам себя не бреет, то должен, опять же согласно вывеске, быть среди тех, кого бреет! Так бреет или нет? История знает примеры, когда серьезные семейные склоки случались и по куда менее значительным вопросам. Об этом парадоксе первым написал Бертран Рассел (1872–1970), один из величайших логиков и философов ХХ века, – лишь для того чтобы показать, насколько часто логическая интуиция подводит человека. Парадоксы, они же антиномии, отражают ситуации, в которых вполне приемлемые на первый взгляд суждения приводят к неприемлемым следствиям. В вышеприведенном примере деревенский цирюльник и бреет, и не бреет себя самого. Можно ли разрешить этот парадокс? Одно из простейших решений парадокса – строго в том виде, в каком он приведен выше, – очень просто: цирюльник – женщина! С другой стороны, если бы нам сразу сказали, что цирюльник обязательно мужчина, то абсурдный вывод был бы результатом того, что мы приняли первоначальные суждения. Иначе говоря, такой цирюльник существовать не может. Но какое все это имеет отношение к математике? Оказывается, математика с логикой состоят в ближайшем родстве. Вот как описал эти узы сам Рассел ^[118].