С древнейших времен критические пересмотры оснований всей математики в целом или любого из ее разделов почти неизменно сменялись периодами неуверенности, когда возникали противоречия, которые приходилось решать… Но вот уже двадцать пять веков математики имеют обыкновение исправлять свои ошибки и видеть в этом обогащение, а не обеднение науки; это дает им право смотреть в будущее спокойно.

([2], с. 30.)

Но гораздо больше математиков настроены пессимистично. Один из величайших математиков XX в. Герман Вейль сказал в 1944 г.: 

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

Говоря словами Гете, «история науки — это сама наука». 

Разногласия по поводу того, что такое настоящая математика, и существование многочисленных вариантов оснований математики не только серьезно сказались на самой математике, но и оказали самое непосредственное влияние на физику. Как мы увидим, далее, наиболее развитые физические теории ныне полностью «математизированы». (Разумеется, выводы таких теорий интерпретируются посредством так или иначе наблюдаемых «чувственных», подлинно физических объектов: сидя у радиоприемников, мы слышим реальные голоса, чему не мешает отсутствие представления о том, что такое радиоволны.) Поэтому ученых — даже тех, кто не работает непосредственно над решением фундаментальных проблем, — не может не занимать вопрос о судьбах математики, которую они могут применять с уверенностью, не рискуя затратить годы на изыскания, некорректные в силу сомнительности использования математического аппарата. 

Утрата критериев абсолютности истины, все возрастающая сложность математики и естественных наук, неуверенность в выборе правильного подхода к математике привели к тому, что большинство математиков оставили вопросы оснований. С проклятием «Чума на оба ваши дома!» они обратились к тем областям математики, где методы доказательства казались им надежными. Они нашли также, что проблемы, придуманные человеком, более привлекательны и легче поддаются решению, чем проблемы, поставленные природой. 

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

Несмотря на неудовлетворительное состояние математики, многочисленные существенно различные подходы, разногласия по поводу приемлемости аксиом и опасности возникновения новых противоречий, могущих подорвать значительную часть математической науки, многие математики продолжают применять математику для описания физических явлений и даже расширяют сферу ее применимости на экономику, биологию и социологию. Безотказная эффективность математики подсказывает две темы для обсуждения. Во-первых, такая эффективность может рассматриваться как критерий правильности. Разумеется, подобный критерий имеет временный характерно, что сегодня считается правильным, в дальнейшем может оказаться неверным. 

Вторая тема ставит нас перед загадкой: почему математика вообще эффективна, если вопрос о том, что такое настоящая математика, вызывает столько споров ([96]*; [4])? Не творим ли мы чудеса, пользуясь при этом несовершенными средствами? Пусть человек заблуждается, но разве может и природа также заблуждаться до такой степени, чтобы поддаться математическому диктату человека? Безусловно, нет. А как быть с успешными полетами на Луну, исследованиями Марса и Юпитера, ставшими возможными благодаря технике, существенно зависящей от математики: разве они не подтверждают математические теории космоса? Как же можно в таком случае говорить об искусственности и неединственности математики? Может ли тело продолжать жить, если разум и дух помутились? Может! И это относится и к человеку, и к математике. Итак, нам надлежит выяснить, почему, несмотря на шаткие основания и взаимоисключающие теории, математика оказалась столь непостижимо эффективной. 

I
Становление математических истин

Трижды счастливы души, которым дано

Подняться до истин подобных и звездное небо измерить!

Взорам их без помех дальние звезды открылись,

В цепи прочные мысли своей ширь эфира они заковали.

Так люди достигли небес — не как встарь,

В тщетной гордыне взгромоздивши горы на горы.

Овидий

Любая цивилизация, достойная так называться, занимается поиском истин. Мыслящие люди не могли не пытаться понять многообразие явлений природы, разгадать тайну появления на Земле человека, постичь смысл жизни и выяснить предназначение человека. Во всех древних цивилизациях, кроме одной, ответы на эти вопросы давались религиозными лидерами и принимались всеми. Единственным исключением была цивилизация, созданная древними греками. Греки совершили открытие, величайшее из когда-либо совершенных человеком: они открыли могущество разума. Именно греки классического периода, достигшего наивысшего расцвета в период VI-III вв. до н.э., поняли, что человек наделен способностью мыслить, наделен разумом, который, опираясь на наблюдение или опыт, способен открывать истины.