Морис Клайн - Математика. Утрата определенности.

Можно не сомневаться, что для многих читателей изложенные автором факты будут весьма неожиданными: мы привыкли считать, что математика всегда являлась образцом строгости, — автор же говорит о «нелогичном развитии» этой самой строгой и последовательной из наук и указывает, что античный идеал «доказательности» был достигнут здесь лишь во второй половине XIX в., а до этого общенаучный уровень арифметики и алгебры, геометрии и анализа был таким, что от него, безусловно, отшатнулись бы в ужасе древнегреческие мыслители. Неспециалисты привыкли считать, что в математике вообще не осталось никаких нерешенных проблем, но автор подчеркивает, что даже фундамент этой «самой научной из наук» не только не достроен, но, как будто никогда и не будет достроен до конца {4} 4 Трудно не процитировать здесь столь почитаемого Клайном Германа Вейля: «…Процесс познания начинается, так сказать, с середины и далее развивается не только по восходящей, но и по нисходящей линии, теряясь в неизвестности. Наша задача заключается в том, чтобы постараться в обоих направлениях пробиться сквозь туман неведомого, хотя, конечно, представление о том, что колоссальный слон науки, несущий на себе груз истины, стоит на каком-то абсолютном фундаменте, до которого человек может докопаться, является не более чем легендой» (из статьи «Феликс Клейн и его место в математической современности»; Felix Klein. Stellung in der mathematischen Gegenwart. Die Naturwissenschaften, Bd 18, 1930, S. 4-11; Gesammelte Abhandlungen, Bd, 3. — Berlin: Springer-Verlag, 1968, S. 292-299). , так что непротиворечивость математики вызывает известные сомнения (ср. впрочем, с шутливым высказыванием Вейля, процитированным ниже). Главы «Нелогичное развитие» являются, быть может, самыми удачными в книге: читателю будет интересно узнать, с каким трудом входили в математику современное понятие числа или геометрические представления, с которыми мы знакомимся ныне буквально на школьной скамье.

Однако книга Клайна нуждается и в некоторых предостережениях. Рассчитывая на вдумчивого читателя и доверяя его критическому чутью, автор приводит много разных — иногда друг другу противоречащих — точек зрения и свободно сталкивает разные суждения, не настаивая на каком-либо определенном. Однако из того, что Клайн подробно рассказывает, скажем, о философии Канта, вовсе не следует, что сам он является кантианцем. Излагая далее религиозные установки ученых XVII-XVIII вв., Клайн также позже открещивается от них. Автор не претендует на то, чтобы читатель принял какую-либо из изложенных в книге философских концепций, как не требует он и безоговорочно признать правоту той или иной из обсуждаемых им школ, занимающихся основаниями математики: Клайн хочет о многом рассказать, но вовсе не во многом убедить. Это, конечно, не означает, что в книге абсолютно не выражена собственная позиция автора. Так, анализируя взаимоотношения математики с действительностью, Клайн явно стоит на стороне тех, кто видит в математике мощный аппарат познания реального мира, хотя не обходит вниманием и ученых, настаивавших на «объективном» существовании математических понятий как образов, которые складываются в нашем мозгу и позволяют нам судить о Вселенной, существующей для нас лишь в той форме, какую придает ей наш разум (с этой позицией еще в середине XVIII в. полемизировал Л. Эйлер). Впрочем, книга М. Клайна, требующая известного внимания и определенной научной культуры, явно не рассчитана на легковерного читателя — это позволяет нам не спорить со всеми теми из изложенных в книге взглядов, с которыми ни редактор, ни читатель никогда не согласятся.

Впрочем, несколько оговорок, относящихся к книге М. Клайна, возможно, будут здесь полезны. Прежде всего следует иметь в виду, что это отнюдь не учебник, а всего лишь сочинение научно-популярного характера: автор порой позволяет себе упрощать реальную ситуацию — поэтому читателям, которые захотят поглубже ознакомиться с затронутыми в книге вопросами, бесспорно, придется обратиться к дополнительной литературе, начиная с «Философской энциклопедии» (тт. 1-5. — М.: Советская энциклопедия, 1960-1970), содержащей не только достаточно подробные и снабженные дальнейшими литературными ссылками статьи, о всех упоминаемых в книге философах (скажем о Канте и кантианстве, о Юме и его школе), но и весьма отчетливые характеристики основных направлений в области оснований математики [логицизм, гильбертов формализм, интуиционизм и понимаемый Клайном, пожалуй, слишком расширительно конструктивизм (зачастую отождествляемый автором с интуиционизмом)] и даже обсуждение основных фактов и теорем из области оснований математики, упоминаемых в этой книге. Далее, надо учитывать полемическую заостренность этой интересной книги, стремление автора пробудить читателя к размышлениям, вызвать его на спор, для чего Клайн иногда намеренно несколько драматизирует события. Так, он уделяет много внимания дискуссиям об основаниях математики, развернувшимся в начале нашего столетия и не стихающим до сих пор: однако при этом, конечно, надо учитывать, что «истинность» и применимость основного костяка математической теории ни у кого не вызывает серьезных сомнений, так что заключающая гл. XII притча о пауках в старинном замке представляется здесь вполне уместной.