Математика. Утрата определенности. - Клайн Морис (бесплатные версии книг .TXT) 📗
Все утверждения о существовании объективного, единого ядра математики ничего не говорят о том, где же находится математика. Они указывают лишь, что математика существует в некотором «потустороннем» мире, своего рода воздушном замке, а человек лишь открывает ее. Аксиомы и теоремы отнюдь не только творения человеческого разума — их скорее можно сравнить ссокровищами, скрытыми в недрах, которые можно извлечь на поверхность, если запастись терпением и копать все глубже и глубже. Но существование аксиом и теорем не зависит от человека, как не зависит от него, например, существование планет.
Является ли математика коллекцией алмазов, спрятанных в недрах Вселенной и постепенно извлекаемых на поверхность, или коллекцией искусственных драгоценных камней, созданных человеком и сверкающих так ярко, что они ослепили тех математиков, кто уже отчасти был ослеплен гордостью за свои творения?
Если существует мир сверхчувственных и трансцендентально абсолютных объектов и если наши логические и математические утверждения представляют собой всего лишь записи наблюдений этих объектов, то не существуют ли противоречия и ложные утверждения в том же смысле, в каком существуют истинные утверждения? Сорные семена ложности и противоречивости могут давать столь же пышные всходы, как и семена истинные и прекрасные. Дьявол сеет свои семена и собирает жатву наряду с богом истины. Разумеется, платонисты могли бы возразить, что ложные утверждения и противоречия возникают только из-за неадекватности усилий, прилагаемых человеком для достижения истины.
Иной точки зрения (согласно которой математика — это только продукт человеческого мышления) придерживаются интуиционисты. Эта точка зрения восходит к Аристотелю. Однако если одни интуиционисты считают, что истина гарантируется разумом, то другие утверждают, что математика представляет собой не незыблемый свод непреложных знаний, а творение человеческого разума, которому свойственно ошибаться. Классическое высказывание на эту тему, появившееся задолго до современных споров, мы находим в «Мыслях» Паскаля: «Истина — слишком тонкая материя, а наши инструменты слишком тупы, чтобы ими можно было прикоснуться к истине, не повредив ее. Достигнув истины, они сминают ее и отклоняются в сторону, скорее ложную, нежели истинную». {172}По утверждению главы интуиционистов Аренда Рейтинга, в наше время никто не может говорить об истинной математике, т.е. о математике как едином своде правильных знаний.
Герман Ганкель, Рихард Дедекинд и Карл Вейерштрасс считали математику творением человека. В письме Генриху Веберу Дедекинд утверждал: «По-моему, то, что мы понимаем под числом, само по себе есть не класс, а нечто новое…. созданное нашим разумом. Мы божественная раса и обладаем… способностью творить». Ту же мысль Вейерштрасс выразил такими словами: «Истинный математик всегда поэт». Ученик Рассела философ Людвиг Виттгенштейн (1889-1951) считал, что математик — изобретатель, а не открыватель. Все эти и многие другие мыслители рассматривали математику как нечто далеко выходящее за пределы эмпирических данных или рациональных дедуктивных умозаключений. В пользу их мнения свидетельствует хотя бы тот факт, что такие элементарные понятия, как иррациональные и отрицательные числа, не являются ни дедукциями из эмпирических данных, ни объектами, заведомо существующими в некотором внешнем мире.
Герман Вейль с большой иронией относился к вечным истинам. В книге «Философия математики и естественных наук»[93]* он писал:
Гёделю с его истовой верой в трансцендентальную логику хочется думать, что наша логическая оптика лишь немного не в фокусе, и надеяться, что после небольших коррекций мы будем видеть четко,и тогда всякий согласится, что мы видим верно.Но того, кто не разделяет этой веры, смущает высокая степень произвола в системе Z [Цермело] или даже в системе Гильберта… Никакой Гильберт не сможет убедить нас в непротиворечивости на вечные времена. Мы должны быть довольны, если какая-нибудь простая аксиоматическая система математики пока выдерживает проверку наших сложных математических экспериментов. Если на более поздней стадии появятся расхождения, то мы еще успеем изменить основания.
Лауреат Нобелевской премии американский физик и философ Перси Уильямс Бриджмен в своей книге «Логика современной физики» (1946) решительно отвергает существование объективного мира математики: «Это общеизвестная истина, очевидная с первого взгляда, что математика — изобретение человека». Теоретическая наука — игра математического воображения. Все, кто считал математику творением человека, утверждали также, что математика испытала на себе сильное влияние тех культур, в рамках которых она развивалась. Математические «истины» в такой же мере зависимы от людей, как восприятие цвета или английский язык. Лишь относительно широкое принятие математических доктрин — по сравнению с политическими, экономическими и религиозными — создает иллюзию, будто математика представляет собой свод истин, объективно существующих вне человека. Математика может существовать независимо от любого человека, но не от культуры, которая его окружает. Перефразируя Германа Вейля, можно сказать, что математика не отдельное техническое достижение, а неотъемлемая часть человеческого существования во всей его общности — и в этом она находит свое обоснование.
Тех, кто разделяет взгляд на математику как на творение человека, по существу, можно было бы назвать кантианцами, ибо они усматривают источник математики в организующей силе человеческого разума. Но эти современные кантианцы подчеркивают, что математика связана не с морфологией или физиологией мозга, а с его деятельностью. Разум организует, используя эволюционные методы. Творческая деятельность разума постоянно порождает все более новые, высшие формы мышления. В математике человеческий разум отчетливо видит, что он способен создать совокупность знаний, которые ему интересны или полезны. Область его созидательной деятельности не замкнута. Формулируемые разумом понятия применимы как к существующим, так и к вновь возникающим областям знания. Разум обладает способностью возводить структуры, охватывающие опытные данные и упорядочивающие их. Источник математики лежит в прогрессивном развитии самого разума.
Острые споры о природе математики и потере ею прежнего статуса свода общепринятых незыблемых истин, бесспорно, свидетельствует в пользу концепции математики, созданной человеком. Как сказал Эйнштейн, «каждый, кто осмеливается взять на себя роль судьи во всем, что касается Истины и Знания, терпит крушение под смех богов».
По иронии судьбы, мыслители Века разума, рассматривая математику как пример способности человека мыслить и получать истины, без тени сомнения утверждали, что разум разрешит все человеческие проблемы. Современные мыслители, даже если некоторые из них разделяют веру в могущество разума, заведомо не считают математику эталоном или парадигмой. Такой поворот событий не так далек от интеллектуальной катастрофы. Математика по-прежнему остается самой длительной и последовательной попыткой человека создать точное и эффективное мышление, а достижения математики по-прежнему служат мерилом того, на что способен человеческий разум. Математика устанавливает верхний предел, которого мы можем лишь надеяться достичь во всех рациональных областях. К сожалению, споры относительно того, что такое «настоящая» математика, не прекращаются. Именно поэтому Гильберт так страстно стремился восстановить истинность в смысле объективных, достоверных умозаключений. В его статье 1925 г. «О бесконечном» говорится: «Где же еще искать надежность и истинность, если даже само математическое мышление дает осечки?» ([50], с. 349.)
Озабоченность Гильберта судьбами математики явственно слышится в его докладе «Проблемы обоснования математики» на Международном математическом конгрессе в Болонье (1928):
Что было бы с истинностью наших знаний вообще и как обстояло бы дело с существованием и прогрессом науки, если бы в математике не было достоверной истины? В наше время нередко даже в специальных изданиях и в открытых докладах высказывается сомнение и уныние по поводу науки; это есть в некотором роде оккультизм, который я считаю вредным.
