Авторов Коллектив - Философия Науки. Хрестоматия

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

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

Мое мнение таково: несмотря на то, что генетический метод имеет высокое педагогическое и эвристическое значение, все же для окончательного оформления и полного логического обоснования содержания нашего познания предпочтительнее аксиоматический метод. (С. 315-316)

<...> При исследовании основ геометрии можно было обойти некоторые трудности чисто арифметической природы; но при обосновании арифметики ссылка на другую основную дисциплину становится уже недопустимой. Я смогу с большей четкостью выявить те существенные трудности, которые встречаются при обосновании арифметики, если я подвергну краткому критическому разбору взгляды отдельных исследователей.

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

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

Э.Б. Кристоффеля и всех тех противников Кронекера, которые под влиянием правильного чувства, подсказывавшего им, что без понятия иррационального числа весь анализ оказывается осужденным на бесплодие, пытались спасти существование иррационально го числа путем отыскания «положительных» свойств этого понятия или другими аналогичными способами, — я позволю себе назвать оппортунистами. Однако опровержение точки зрения Кронекера, по моему мнению, ими, по сути дела, не было достигнуто.

Из ученых, которые глубже проникли в существо понятия «целое число», я упомяну следующих:

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

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

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

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

Я придерживаюсь того мнения, что все затронутые трудности могут быть преодолены и что можно прийти к строгому и вполне удовлетворительному обоснованию понятия числа и притом с помощью метода, который я называю аксиоматическим. (С. 322-324)

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

Обращаясь к задаче о выяснении сущности бесконечного, мы должны по возможности кратко представить себе, какое содержательное значение соответствует бесконечному в действительности; мы посмотрим сначала, что нам дает в этом отношении физика.

Первым наивным впечатлением, производимым явлениями природы и материей, является впечатление чего-то непрерывного, континуального. Если мы имеем перед собою кусок металла или некоторый объем жидкости, то нам навязывается представление о том, что они неограниченно делимы, что сколь угодно малый кусок их опять-таки обладает теми же свойствами. Но повсюду, где методы исследования в физике материи достаточно усовершенствованы, мы наталкиваемся на границы этой делимости, которые лежат не в несовершенстве нашего опыта, а в природе самой вещи, так что можно было бы прямо-таки воспринимать тенденцию современной науки, как освобождение от бесконечно малого; теперь можно было бы старому тезису «natura non facit saltus» (природа не делает скачков) противопоставить антитезу: «природа делает скачки».