Математика. Утрата определенности.
Шрифт:
Изложенные выше взгляды на роль интуиции и доказательства отражают точку зрения на современную математику, но не учитывают всех мнений о будущем. Взгляд на логику был подтвержден группой французских математиков, выступающих под коллективным псевдонимом Никола Бурбаки. В предисловии к первому тому «Элементов математики» Бурбаки пишет:
Как показывает анализ исторического развития математики, было бы неверно утверждать, что математика свободна от противоречий; непротиворечивость предстает как цель, к которой следует стремиться, как некое данное богом качество, ниспосланное нам раз и навсегда. С древнейших времен все критические пересмотры принципов математики в целом или любой из ее областей почти неизменно сменялись периодами неопределенности,
Обращение к истории, возможно, в какой-то степени утешает, но та же история учит, что новые кризисы непременно возникнут. Однако столь мрачная перспектива не охлаждает оптимизма Бурбаки.
Один из ведущих французских математиков, бурбакист, Жан Дьедонне, выразил уверенность в том, что проблемы логики, коль скоро они возникнут, непременно будут разрешены:
Если когда-нибудь будет доказано, что математика противоречива, то скорее всего станет известно, какому правилу следует приписать полученный результат. Отбросив это правило или надлежащим образом видоизменив его, мы избавимся от противоречия. Иначе говоря, математика изменит направление своего развития, но не перестанет быть наукой. Сказанное не просто умозаключение: нечто подобное произошло после открытия иррациональных чисел. Мы далеки от мысли оплакивать это открытие, потому что оно вскрыло противоречие в пифагорейской математике, а, напротив, сегодня мы считаем его одной из великих побед человеческого духа.
Дьедонне мог бы привести еще один пример: лейбницевский подход к дифференциальному и интегральному исчислению (гл. VII). После всех критических замечаний, выпавших на долю понятия бесконечно малой величины в XVIII в., новая формулировка (нестандартный анализ, гл. XII) придала ему строгий смысл, согласующийся с логистическим, формалистским и теоретико-множественным вариантами оснований математики.
Помимо тех, кто, подробно бурбакистам, преисполнен оптимизма и считает устранимым любое противоречие, могущее возникнуть в основаниях математики, среди математиков есть и такие, кто верит в существование единого непротиворечивого, вечного ядра математики, которое может быть применимым или неприменимым к физическому миру. По мнению этих математиков, не все идеи, образующие вечное ядро математики, могут быть известны человеку, тем не менее эти идеи существуют, — так и несогласованность и неопределенность доказательства обусловлены только ограниченностью человеческого разума. Имеющиеся ныне разногласия между математиками не более чем временное препятствие, которое постепенно будет преодолено.
Некоторые из мыслителей считают, что математика настолько глубоко внедрилась в человеческий разум (в этом отношении их можно считать кантианцами), что вопрос о ее непротиворечивости отпадает сам собой. Так, Уильям Роуан Гамильтон, хотя он и ввел объекты (кватернионы), которые породили сомнение в соответствии арифметики физическому миру, в 1836 г. высказался вполне в духе Декарта:
Такие чисто математические науки, как алгебра и геометрия, являются науками чистого разума, не подкрепляемыми опытом и не получающими от него помощи, изолированными или могущими быть изолированными от всех внешних и случайных явлений… Вместе с тем это идеи, рожденные внутри нас, обладание которыми в сколько-нибудь ощутимой степени есть следствие нашей врожденной способности, проявление человеческого начала.
В докладе, прочитанном в 1883 г. на заседании Британской ассоциации поощрения науки, один из крупнейших алгебраистов XIX в. Артур Кэли заявил: «Мы обладаем априорными знаниями, не зависящими не только от того или иного опыта, но и от всякого опыта вообще… Эти знания составляют вклад нашего разума в интерпретацию опыта».
В то время как одни (например, Гамильтон и Кэли) представляли
Веру в существование объективного реального мира математики разделял один из искуснейших аналитиков XIX в. Шарль Эрмит (1822-1901). В письме математику Томасу Яну Стильтьесу Эрмит утверждал:
Я убежден в том, что числа и функции анализа не являются произвольным продуктом нашего духа. Я верю, что они лежат вне нас с той же необходимостью, как предметы объективной реальности, а мы обнаруживаем или открываем и исследуем их так же, как это делают физики, химики и зоологи. {171}
171
Ср. с примечанием {6}к Введению.
По другому случаю Эрмит сказал: «В математике мы больше слуги, чем господа».
Многие из математиков XX в., несмотря на споры по поводу оснований, заняли ту же позицию. Создатель теории множеств и трансфинитных чисел Георг Кантор считал, что математики не изобретают понятия и теоремы, а открывают их. Математические понятия и теоремы существуют независимо от человеческого мышления. Себя самого Кантор считал репортером и секретарем, записывающим эти понятия и теоремы. Годфри Гарольд Харди, скептически относившийся к предлагаемым человеком доказательствам, утверждал в 1929 г.:
Мне кажется, что ни одна философия не может вызвать сочувствие у математика, если она так или иначе не признает незыблемости и безусловной годности математической истины. Математические теоремы истинны или ложны, и их истинность или ложность абсолютно не зависит от того, известны ли нам эти теоремы. В некотором смысле математическая истина является частью объективной реальности.
Аналогичные взгляды Харди выразил и в своей книге «Апология математика» [39]*:
Свою позицию я сформулирую догматически во избежание малейшей неясности. Я считаю, что математическая реальность лежит вне нас, что наша функция заключается в открытии и наблюденииее и что теоремы, которые мы доказываем и высокопарно называем своими «творениями», в действительности являются не более чем записями наших наблюдений.
Выдающийся французский математик XX в. Жак Адамар (1865-1963) утверждал в работе «Исследование психологии процесса изобретения в области математики», что, «хотя истина еще не известна нам, она предсуществуети неизбежно подсказывает нам путь, которым мы должны следовать» [70].
Гёдель также разделял мнение о существовании трансцендентального мира математики. Что касается теории множеств, то он считал вполне допустимым рассматривать все множества как реальные объекты:
Мне кажется, что допущение о существовании таких объектов столь же законно, как и допущение о существовании физических объектов, и что имеется не меньше оснований верить в их существование. Они необходимы для получения удовлетворительной теории математики в том же смысле, в каком физические тела необходимы для удовлетворительной теории наших чувственных восприятий, и в обоих случаях невозможно интерпретировать утверждения, которые мы хотим высказать об этих сущностях, как утверждения о «данных», т.е., в последнем случае, о реальных чувственных восприятиях.