Формализм и теоретико-множественные основания математики 10 страница
Но коль скоро математику надлежит рассматривать как одну из естественных наук, важно досконально представить себе, как устроены и как работают естественные науки. В любой такой науке производят наблюдения над природными явлениями или ставят специально организованные эксперименты, а затем на основании полученных результатов строят теории — движения, света, звука, теплоты, электричества, химического строения вещества и т.д. Все эти теории созданы человеком, и правильность их оценивается по соответствию сделанных на их основе предсказаний с последующими наблюдениями и экспериментами. Если предсказания подтверждаются (во всяком случае, в пределах ошибки эксперимента), то теория считается верной. Тем не менее впоследствии такая теория может быть опровергнута; поэтому ее всегда надлежит рассматривать как «полуэвристическую» теорию (где, впрочем, доли «теоретичности» и «эвристичности» могут варьироваться в весьма широких пределах), а не как абсолютную истину, входящую неотъемлемой составной частью в структуру физического мира. Мы привыкли к подобному взгляду на естественнонаучные теории, поскольку нам неоднократно приходилось быть свидетелями того, как одни естественнонаучные теории (корпускулярная теория света, флогистон, эфир, в какой-то степени даже ньютонова механика и волновая теория света Гюйгенса) опровергались и уступали место новым теориям.[178]Единственная причина, по которой подобный взгляд не распространялся на математику, состояла, как отметил Милль, в том, что элементарная арифметика и евклидова геометрия сохраняли эффективность на протяжении многих веков и люди ошибочно приняли эту эффективность за абсолютную истинность.[179]Однако не следует упускать из виду, что любая область математики предлагает только такую теорию, которая дееспособна. Покуда она эффективна, мы можем следовать ей, но впоследствии нам, возможно, понадобится более усовершенствованный вариант теории. Математика выполняет миссию посредника между человеком и природой, между внутренним миром человека и тем, что его окружает. Математика — это отличающийся необычайной смелостью линий грандиозный мост между нами и внешним миром. Горько сознавать, что концы его не закреплены ни в реальности, ни в умах людей.
Разум обладает способностью прозревать истину только в том, что строит по собственному плану и, хотя начать построение он может, руководствуясь своими идеями, на более позднем этапе ему необходимо с помощью эксперимента выведать у природы, насколько удачны предложенные им идеи. Вот тогда и наступает время для теории и для проверки ее соответствия реальному миру. В основном математика отличается от естественных наук одной особенностью: в то время как в физике на смену одним теориям приходили другие, радикально новые, в математике значительная часть логики, теории чисел и классического анализа успешно функционировали на протяжении многих веков. Более того, они применимы и поныне. Независимо от того, являются ли названные выше составные части математики абсолютно надежными или нет, они отлично нам служат — у нас нет ни оснований, ни права усомниться в них. Все эти разделы математики можно было бы назвать «квазиэмпирическими», ибо эмпирические их истоки потонули в глубине веков и для нас почти неразличимы.
В подтверждение сказанного приведем пример из истории дифференциального и интегрального исчисления. Несмотря на несмолкавшие споры о логических основах исчисления, как методология оно оказалось вполне успешным. По иронии судьбы именно теория бесконечно малых Лейбница (а не весь аппарат математического анализа) во второй половине нашего столетия неожиданно получила строгое обоснование (так называемый нестандартный анализ; см. гл. XII).
Критерием применимости к внешнему миру можно воспользоваться даже для проверки аксиомы выбора. Сам Цермело в работе 1908 г. утверждал: «Каким образом Пеано приходит к своим основополагающим принципам… если в конечном счете он не может их доказать? Ясно, что он получает их, анализируя способы логического вывода, признанные правильными в ходе исторического развития, и отмечая, что эти принципы интуитивно очевидны и необходимы для науки…» Отстаивая правомерность использования аксиомы выбора, Цермело ссылался на успехи, достигнутые с помощью этой аксиомы. В работе 1908 г. он отметил, сколь полезной оказалась (даже тогда) аксиома выбора в теории трансфинитных чисел, в теории вещественного числа Дедекинда (см. [46] и [47]) и в решении более специальных проблем анализа.
Лидеры различных математических школ и направлений, рекомендуя использовать приложения к естественным наукам как путеводную нить и критерий доброкачественности математики, руководствуются не только желанием выбрать одно из течений в основаниях математики. Все они сознают, что силы математики в решении физических проблем неизмеримо возросли, и считают недопустимым игнорировать услуги, оказываемые математикой человечеству в познании мира, только потому, что сохранились разногласия в основаниях математики. Хотя многие математики на протяжении без малого последних ста лет и перестали заниматься естественнонаучными приложениями, величайшие из математиков XX в. — Пуанкаре, Гильберт, фон Нейман и Вейль — внесли существенный вклад в современную физику.
К сожалению, большинство математиков — в силу указанных ранее (гл. XIII) причин, которые следует считать скорее предосудительными, чем похвальными, — и поныне не работают в области приложений своей науки; вместо этого они продолжают во все возрастающем темпе создавать все новые теоремы чистой математики. Некоторое представление о размахе современных исследований по (чистой и прикладной) математике можно получить по журналу Mathematical Review [180], печатающему краткие рефераты наиболее значительных новых работ, — ежемесячно в этом журнале публикуется около 2500 рефератов, т.е. около 30 000 рефератов в год.
Можно было бы думать, что тупик, в который зашел нескончаемый спор о том, какую именно математику можно считать «правильной» и какая школа математической мысли является наиболее последовательной, а также множество направлений, по которым математика может далее развиваться (даже оставаясь в рамках одного и того же течения в области оснований), позволит чистым математикам воспользоваться «паузой» и переключиться на решение проблем, связанных с основаниями математики, вместо того чтобы достраивать в разных направлениях здание математической науки, игнорируя шаткость фундамента и рискуя тем, что новые теоремы могут оказаться логически неверными. Но этого не происходит, так что математики пренебрегают как философскими вопросами оснований, так и критерием практической приложимости. Почему же они так охотно работают в областях математики, далеких от приложений?
Это объясняется несколькими причинами. Многие математики ничего не знают о работах по основаниям математики. Стиль деятельности, выработавшийся у математиков XX в., типичен для подхода наших современников ко многим проблемам. Почти каждый математик работает в своем уголке на каком-то этаже огромного здания математики. Покуда те, кто занимается основаниями математики, копают все глубже и глубже, дабы придать зданию устойчивость, обитатели верхних этажей продолжают оставаться на своих рабочих местах и выполнять свои функции. Специалисты по основаниям математики зарылись в землю так глубоко, что их просто не видно. Работающие в здании даже не знают, что кто-то заботится о его устойчивости, и не подозревают, что оно может рухнуть. Без тени сомнения они спокойно продолжают пользоваться традиционной математикой. Пребывая в счастливом неведении о вызовах, бросаемых господствующей доктрине, они трудятся в рамках этой доктрины, не интересуясь ни ее обоснованием, ни дополнительными подкреплениями, коими может служить критерий практики. Другие математики прекрасно осведомлены о разногласиях и пробелах в основаниях математики, но предпочитают держаться в стороне от этих, как они называют, философских (в отличие от чисто математических) проблем. Таким математикам трудно поверить в существование сколько-нибудь серьезных проблем, связанных с основаниями математики, по крайней мере таких, которые касались бы их собственной деятельности. Они предпочитают оставаться верными обветшалому символу веры. Их неписаный девиз гласит: будем действовать так, словно за последние семьдесят пять лет ничего не произошло. Они говорят о доказательстве в некотором общепринятом смысле, хотя этот «зверь» не то что занесен в «Красную книгу», но просто давно вывелся, пишут и публикуют работы, словно никаких разногласий по поводу оснований математики не было и в помине. Единственное, что их интересует, — это число новых публикаций. Чем больше, тем лучше. Если «прагматики» и заботятся о надежных основаниях, то исключительно по воскресеньям, и даже в эти дни они либо возносят молитвы об отпущении грехов, либо воздерживаются от писания новых статей только для того, чтобы почитать, чем занимаются их соперники. Личное преуспевание — превыше всего, а будут ли основания математики надежными, не так уж важно.
Но разве нет власти, способной наложить запрет на массовое производство новых результатов на том основании, что, прежде чем продвигаться дальше, необходимо навести порядок в основаниях математики? Редакторы математических журналов могли бы отказаться печатать новые работы. Но редакторы и рецензенты — такие же математики и находятся в таком же положении, как и большинство их коллег — и работы, хотя бы отдаленно отвечающие требованиям строгости, т.е. требованиям начала XX в., охотно принимаются к печати и публикуются. Если король голый и придворным также нечем прикрыть наготу, то появление голого человека никого уже не удивляет и не приводит в замешательство. Как сказал однажды Лаплас, прогресс стоит человеческому разуму меньших усилий, чем познание самого себя.
Как бы то ни было, проблемы оснований отступили для многих математиков на задний план. Правда, те, кто занимается математической логикой, уделяют основаниям математики значительное внимание, но математическую логику нередко считают лежащей за пределами собственно математики.
Не следует думать, будто все математики, игнорирующие проблемы оснований и действующие так, словно этих проблем никогда не было, достойны осуждения. Некоторые из них серьезно озабочены применением математики и в подтверждение своего modus vivendi [образа жизни] ссылаются на примеры из истории математики. Как мы уже видели (гл. V-VI), несмотря на отсутствие логических обоснований системы чисел и правил действий над ними, а также дифференциального и интегрального исчисления, по поводу чего на протяжении почти ста лет велись жаркие споры, математики продолжали использовать материал и получать новые результаты, эффективность которых не вызывала никаких сомнений. Приводимые доказательства были грубыми и даже содержали прямые ошибки. Когда обнаруживались противоречия, математики пересматривали свои рассуждения и вносили в них надлежащие изменения. Часто и исправленный вариант доказательства не был строгим даже по тем критериям, которые предъявлялись к строгости в конце XIX в. Если бы математики вздумали ждать до тех пор, пока им удастся достичь уровня строгости, они не смогли бы продвинуться ни на шаг.[181]Как заметил Эмиль Пикар, если бы Ньютон и Лейбниц знали, что непрерывные функции не обязательно должны быть дифференцируемыми, математический анализ никогда не был бы создан. В прошлом смелость и разумная осторожность приводили к наилучшим результатам.
Философ Джордж Сантаяна отметил в своей книге «Скептицизм и слепая вера», что скептицизм и сомнения важны для мышления, тогда как слепая вера важна для поведения. Значительная часть математических работ отличается высокими достоинствами, и, если мы хотим, чтобы эти достоинства приумножались, математические исследования необходимо продолжать. Слепая вера позволяет действовать без колебаний.
Лишь немногие математики проявили озабоченность по поводу спорных вопросов в основаниях математики, обесценивающих их работу. Эмиль Борель, Рене Бэр и Анри Лебег открыто выразили сомнения в пригодности теоретико-множественных методов, но продолжали пользоваться этими методами с некоторыми оговорками относительно надежности получаемых с их помощью результатов. Борель заявил в 1905 г., что охотно допускает всякого рода рассуждения о канторовских трансфинитных числах, поскольку эти числа оказываются весьма полезными в важных математических исследованиях. Но курс, избранный Борелем и некоторыми другими математиками, не следует расценивать как проявление своего рода математического легкомыслия. Прислушаемся, что сказал по этому поводу Герман Вейль, один из наиболее глубоких математиков современности и, несомненно, наиболее эрудированный из них:
Сейчас мы менее, чем когда-либо, уверены в первичных основаниях математики и логики. Мы переживаем свой «кризис» подобно тому, как переживают его все и вся в современном мире. Кризис этот продолжается вот уже пятьдесят лет [Вейль написал эти строки в 1946 г.]. На первый взгляд кажется, будто нашей повседневной работе он особенно не мешает. Тем не менее я должен сразу же признаться, что на мою математическую работу этот кризис оказал заметное практическое влияние: он направил мои интересы в области, которые я считал относительно «безопасными», и постоянно подтачивал энтузиазм и решимость, с которой я занимался своими исследованиями. Мой опыт, вероятно, разделили и другие математики, небезразличные к тому, какое место их собственная научная деятельность занимает в этом мире в общем контексте бытия человека, интересующего, страдающего и созидающего.
Коль скоро о степени обоснованности математики мы намереваемся судить по ее приложениям, сразу же возникает вопрос: насколько эффективна математика в этом отношении? Рассказывая о математике, созданной и применявшейся до XIX в., мы привели несколько примеров, доказывающих, сколь хорошо математика описывает и предсказывает явления реального мира (гл. III). Но в XIX в. математики, руководствуясь, несомненно, вескими доводами, ввели ряд понятий и теорий, не заимствованных непосредственно из природы и даже, казалось, противоречивших ей, например бесконечные ряды и неевклидовы геометрии, комплексные числа и кватернионы, необычные алгебры и бесконечные множества различной мощности, а также другие не менее странные объекты, которых мы не касались. Никаких оснований ожидать априори, что эти понятия и теории окажутся применимыми, разумеется, не было. Итак, прежде всего убедимся, что вся современная математика работает в приложениях, причем делает это великолепно.
Все величайшие достижения физики за последние сто лет — теория электромагнитного поля, теория относительности и квантовая механика — широко используют современную математику. Мы рассмотрим лишь теорию электромагнитного поля, наиболее знакомую неспециалистам. В первой половине XIX в. физики и математики провели многочисленные исследования электричества и магнетизма. Им удалось получить небольшое число математических законов, описывающих различные электрические и магнитные явления. В 60-е годы XIX в. Джеймс Клерк Максвелл поставил перед собой задачу собрать все эти разрозненные законы и выяснить, насколько они совместимы. Максвелл обнаружил, что для математической совместимости необходимо ввести в уравнения еще один член, который он назвал током смещения. Единственный физический смысл, который Максвелл мог придать току смещения, состоял в утверждении, что источник электричества (грубо говоря, проводник с током) должен быть источником электромагнитного поля (т.е. от него исходит — и распространяется в пространстве — электромагнитная, волна). Испускаемые источником электромагнитные волны имеют различные частоты. Это могут быть радиоволны, улавливаемые антеннами наших радиоприемников и телевизоров, гамма-лучи, видимый свет, инфракрасное и ультрафиолетовое излучение. Так, из чисто математических соображений Максвелл предсказал существование огромного класса ранее не известных явлений и пришел к правильному выводу об электромагнитной природе света.
Электромагнитные волны, как и гравитация (гл. III), обладают одной замечательной особенностью: мы не имеем ни малейших представлений о том, какова их физическая природа. Существование этих волн подтверждается только математикой — и только математика позволила инженерам создать радио и телевидение, которые нашим предкам показались бы поистине сказочными чудесами.
То же самое можно сказать и о всевозможных явлениях атомной и ядерной физики. Математики и физики-теоретики говорят о полях (гравитационном, электромагнитном, поле электрона и других частиц) так, словно все эти поля — «материальные» волны, которые распространяются в пространстве и вызывают различные наблюдаемые эффекты, подобно, скажем, волнам на воде, бьющим о борт судна или разбивающимся о скалы. Но все эти поля не более чем фикции. Их физическая природа нам неизвестна. Они лишь отдаленно связаны с наблюдаемыми явлениями, например c ощущениями света, звука, движения материальных тел, с радио и телевидением. Беркли некогда назвал производную призраком навсегда ушедших величин. Современная физическая теория имеет дело с призраком материи.[182]Но, формулируя математические законы, которым подчиняются фиктивные поля, не имеющие наглядных аналогов в реальности, и выводя из этих законов логические следствия, мы приходим к выводам, допускающим при надлежащем переводе на язык физики проверку c помощью чувственных восприятий.
Фиктивный характер современной науки подчеркивал еще в 1931 г. Альберт Эйнштейн:
Согласно ньютоновской системе, физическая реальность характеризуется понятиями пространства, времени, материальной точки и силы (взаимодействия материальных точек)…
После Максвелла физическая реальность мыслилась в виде непрерывных, не поддающихся механическому объяснению полей, описываемых дифференциальными уравнениями в частных производных. Это изменение понятия реальности является наиболее глубоким и плодотворным из тех, которое испытала физика со времен Ньютона…
Нарисованной мною картине чисто фиктивного характера основных представлений научной теории не придавалось особого значения в XVIII и XIX вв. Но сейчас она приобретает все большее значение, по мере того как увеличивается в нашем мышлении расстояние между фундаментальными понятиями и законами, с одной стороны, и выводами, к которым они приводят в отношении нашего опыта, с другой стороны, по мере того как упрощается логическая структура, уменьшается число логически независимых концептуальных элементов, необходимых для поддержания структуры.
([126], т. 4, с. 136-139.)
Современную науку неоднократно восхваляли за то, что, дав рациональные объяснения явлений природы, она исключила духов, дьяволов, ангелов, демонов, мистические силы и анимизм. К этому необходимо добавить теперь, что, постепенно изгоняя физическое и интуитивное содержание, апеллирующее к нашему чувственному восприятию, наука исключила и материю. Теперь она имеет дело только с синтетическими, и идеальными понятиями, такими, как поля и электроны, о которых единственно, что нам известно, это управляющие ими математические законы. После длинных цепочек дедуктивных умозаключений наука сохраняет лишь небольшой, но жизненно важный контакт с чувственными восприятиями. Наука — это рационализованная фикция, и рационализована она математикой.
Выдающийся физик Генрих Герц (1857-1894), первым экспериментально подтвердивший предсказание Максвелла о том, что электромагнитные волны могут распространяться в пространстве, был настолько восхищен могуществом математики, что воскликнул: «Трудно отделаться от ощущения, что эти математические формулы существуют независимо от нас и обладают своим собственным разумом, что они умнее нас, умнее тех, кто открыл их, и что мы извлекаем из них больше, чем было в них первоначально заложено».
Роль математики в изучении природы подчеркивал Джеймс Джинс (1877-1946). В книге «Загадочная Вселенная» он утверждал: «Самый важный факт состоит в том, что все картины природы, рисуемые наукой, которые только могут находиться в согласии с данными наблюдений, — картины математические… За пределы математических формул мы выходим на свой страх и риск». Физические понятия и механизмы подсказывают, как построить математическое описание явлений, после чего, как ни парадоксально, становится ясно, что вспомогательные физические средства не более чем фантазии и что только математические уравнения надежно следуют явлениям.
Аналогичную мысль Джинс высказал и в книге «Между физикой и философией». С помощью моделей или картин, доступных нашим органам чувств, человеческий разум не в силах постичь, как функционирует природа. Нам не дано понять, что представляют собой явления, и приходится ограничиваться описанием схем явлений на математическом языке. Урожай, пожинаемый физикой, всегда состоит из набора математических формул. Подлинная сущность материальной субстанции непознаваема.
Итак, как мы видим, роль математики в современной науке отнюдь не сводится к почетным обязанностям главного инструмента познания. О математике нередко говорят, что она резюмирует и систематизирует в символах и формулах данные физических наблюдений или экспериментов, извлекая из формул дополнительную информацию, недоступную прямому наблюдению и эксперименту. Такое описание умалчивает о многом из того, что делает математика в естественных науках. Математика выражает саму суть естественнонаучных теорий, и приложения чисто математических понятий позволили в XIX-XX вв. получить гораздо более сильные и неожиданные результаты, чем это удавалось сделать в предшествующие столетия математикам, оперировавшим с математическими понятиями, непосредственно связанными с физическими явлениями. Хотя достижениями современной науки — радио, телевидением, авиацией, телефоном, телеграфом, высококачественной звукозаписывающей и звуковоспроизводящей аппаратурой, гамма-лучами, транзисторами, атомной энергией (и, к сожалению, атомными бомбами!), если говорить только о некоторых наиболее известных достижениях, — мы обязаны не только математике, роль математики намного больше и оценить ее гораздо труднее, чем вклад экспериментальной науки.
Френсис Бэкон в XVII в. скептически относился к таким теориям, как астрономические теории Коперника и Кеплера. Бэкон опасался, что философские убеждения или религиозные верования (например, тезисы о том, что господь бог стремится к простоте или что природа построена богом по плану, основанному на математических принципах) сказываются на формировании этих теорий в большей степени, чем согласие с наблюдениями или экспериментом. Отношение Бэкона к теориям, несомненно, имеет некие разумные основания, но современные математические теории доминируют в физике только потому, что они эффективны. Разумеется, согласие с наблюдениями является непременным условием принятия любой математической теории в физике.
Итак, на любой вопрос о том, работает ли математика, мы можем с уверенностью дать положительный ответ. Гораздо труднее ответить на вопрос, почему она столь эффективна. Во времена античности и много столетий спустя математики считали, что знают верные приметы того, где следует искать «золото» (математика была сводом истин о физическом мире, и заложенные в ее основу логические принципы также были абсолютными истинами), и поэтому копали энергично, с размахом и настойчиво. Им удалось добиться замечательных успехов. Но теперь-то мы знаем, что они принимали за золото какой-то совсем другой, пусть даже и не менее драгоценный, металл. Этот «металл» позволял с замечательной точностью описывать явления природы. Вопрос о том, почему он служил так хорошо, требует особого рассмотрения. Действительно, почему некая независимая, абстрактная конструкция, плод «точной» мысли, должна соответствовать физическому миру человека?
Один из возможных ответов состоит в том, что математические понятия и аксиомы подсказаны человеку опытом. Даже законы логики человек заимствовал из опыта; поэтому они и согласуются с опытом. Но такой ответ чрезмерно упрощает суть дела. Разумеется, он позволяет объяснить, почему, прибавив к пятидесяти коровам еще пятьдесят, мы получим сто коров. В арифметике и в элементарной геометрии повседневный опыт может подсказать правильные аксиомы, и используемая здесь логика не выходит за рамки обычного здравого смысла. Но в алгебре, дифференциальном и интегральном исчислении, в теории дифференциальных уравнений и в других более «высших» областях математики были созданы математические понятия и методы, далеко выходящие за рамки повседневного опыта.
Помимо этих примеров «неэмпирической» математики необходимо также иметь в виду, что математическая прямая состоит из несчетного множества точек. В математическом анализе используется понятие времени, состоящего из мгновений, «спрессованных», как числа на вещественной прямой. Понятие производной (гл. VI) было навеяно физическим представлением о скорости за некоторый «бесконечно малый» промежуток времени; однако описывающая скорость производная соответствует мгновенной скорости, т.е. понятию, которое трудно признать интуитивно ясным. Разнообразие типов бесконечных множеств вовсе не подсказано повседневным опытом, тем не менее оно используется в математических рассуждениях, и так же необходимо для удовлетворительной математической теории, как физические тела для чувственного восприятия. Математика ввела в научный обиход такие понятия, как, скажем, электромагнитное поле, физическая природа которого полностью не ясна и по сей день.
Даже если законы логики и некоторые основные физические принципы выведены из опыта, в процессе длинного математического доказательства, требующегося для получения физически значимого заключения, эти законы используются однократно — и все наше доказательство опирается только на логику. Чисто математические рассуждения позволяют предсказывать некоторые явления. Так, на основе математического предсказания была открыта планета Нептун. Означает ли это, что природа подтверждает логические принципы? Иначе говоря, существуют ли (как угодно открытые) законы логики, которые говорили бы, как должна вести себя природа в тех или иных случаях? То, что целые теория, состоящие из сотен теорем и тысяч дедуктивных умозаключений об абстрактных понятиях, все же отклоняются от реальности не более, чем исходные аксиомы, убедительно свидетельствуют о способности математики описывать и предсказывать реальные явления с поразительной точностью. Почему длинные цепочки, чисто умозрительных заключений должны приводить к выводам, столь хорошо согласующимся с природой? В этом — величайший парадокс математики.
Итак, перед человеком стоит загадка двоякого рода. Почему математика безотказно, срабатывает даже там, где заключение, требующее сотен дедуктивных выводов, оказывается столь же применимым, как и исходные аксиомы, хотя физические явления описываются не на математическом, а на физическом языке? И почему математика эффективна там, где мы располагаем лишь непроверенными гипотезами о сущности физических явлений и где при описании этих явлений вынуждены почти целиком полагаться на одну математику? От этих вопросов нельзя бездумно отмахнуться: слишком уж многое в нашей науке и технике зависит от математики. Может быть, эта наука, хотя ее и используют как непобедимое знамя истины, одерживает свои победы с помощью какой-то таинственной внутренней силы и действительно наделена какими-то волшебными чарами?
Этот вопрос интересовал и продолжает интересовать многих. Неоднократно задавал его себе и Альберт Эйнштейн в книге «Вокруг теории относительности» (1921):
В этой связи возникает вопрос, который волновал исследователей всех времен. Почему возможно такое превосходное соответствие математики с реальными предметами, если сама она является произведением только человеческой мысли, не связанной ни о каким опытом? Может ли человеческий разум без всякого опыта, путем только одного размышления понять свойства реальных вещей?
…Если теоремы математики прилагаются к отражению реального мира, они не точны; они точны до тех пор, пока они не ссылаются на действительность.
([126], т. 2, с. 83.)
Далее Эйнштейн поясняет, что аксиоматизация математики сделала это различие очевидным. Хотя Эйнштейн понимал, что аксиомы математики и принципы логики выведены из опыта, его интересовало, почему длинная и сложная цепь чисто логических рассуждений, которые не зависят от опыта и используют понятия, созданные человеческим разумом без всякой апелляции к эксперименту и природным феноменам, может приводить к выводам, находящим столь широкие применения.
Современное объяснение необычайной эффективности математики восходит к Иммануилу Канту. Кант утверждал (гл. IV), что мы не знаем и не можем знать природы. Мы располагаем лишь чувственными восприятиями. Наш разум, обладая врожденными интуитивными представлениями о пространстве и времени, организует чувственные восприятия в соответствии с тем, что диктуют эти врожденные представления. Так, наши пространственные восприятия мы организуем в соответствии с законами евклидовой геометрии, потому что этого требует наш разум. Упорядоченные разумом, пространственные восприятия продолжают подчиняться законам евклидовой геометрии. Разумеется, Кант заблуждался, считая евклидову геометрию единственно возможной, но главное в его учении заключалось в другом: человеческий разум определяет, как ведет себя природа при неполном (частичном) объяснении. Разум формирует наши концепции пространства и времени. Мы видим в природе то, что предопределено нам видеть нашим разумом.
Взглядов, близких к воззрениям Канта, но выходящих далеко за их пределы, придерживался один из выдающихся физиков нашего времени — Артур Стэнли Эддингтон (1882-1944). По мнению Эддингтона, — человеческий разум решает, как должна себя вести природа: