Апология математики (сборник статей)

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

Эта и многие другие трудности, возникшие на окраинах современной математики по поводу недавно возникших крайне абстрактных теорий, не мешают, конечно, продолжать текущую работу в классических областях математики. При этом имеется довольно обоснованная уверенность, что наиболее ценные конкретные достижения современной математики устоят против ведущейся разрушительной критики. Однако с чисто логической точки зрения дело обстоит так, что при исследовании весьма конкретных вопросов классического анализа применяются те же самые методы, которые в более общих теориях приводят к затруднениям и даже противоречиям [4]. На этом обстоятельстве особенно настаивает Вейль. Например, он убедительно показывает, что доказательство существования верхнего предела числовой последовательности обосновывается рассуждениями совершенно такого же рода, как те, которые в общей теории множеств приводят к противоречиям (антиномиям), открытым Ресселем [5] и др.

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

Две теории в настоящее время обещают разрешить все затруднения, волнующие математиков, обе, правда, довольно дорогой ценой.

Возглавляемый Гильбертом формализм предполагает сделать это посредством превращения математики в чистую игру символами, в которой всё позволено под единственным условием уметь доказать отсутствие в этой игре противоречий. Интуиционизм Броуэра [6], напротив, предлагает изгнать из математики всё, что не имеет твёрдого основания в общей всем интуиции. Большинство математиков, внимательно присматриваясь к обоим течениям, занимает выжидательную позицию.

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

II

Наибольшей известностью пользуется изложение нового взгляда на структуру математической теории, данное на границе нашего и прошлого века в «Основаниях геометрии» Гильберта [7]. Здесь объявляется, что геометрия имеет дело с системой вещей, условно называемых «точками», «прямыми», «плоскостями», связанных отношениями тоже совершенно неизвестной природы, отношениями, условно описываемыми терминами «прямая проходит через точку» и т. д. Отнюдь не природа этих вещей и отношений определяет содержание геометрии. Для развития геометрии важно только то, что эти отношения удовлетворяют известным аксиомам, например такой: «Существует одна и только одна прямая, проходящая через две данные точки». Гильбертом дана система из двадцати двух аксиом геометрии; всякая система вещей и отношений, которая удовлетворяет этим двадцати двум аксиомам, по мнению Гильберта, с одинаковым правом может быть названа «пространством». В ряде приложений к «Основаниям геометрии» показывается, что и другие математические теории могут быть изложены подобным образом. Рессель формулировал этот взгляд на истинный смысл математической теории в виде широко известного парадокса: «Математика – это наука, которая не знает, о чём она говорит и что она говорит».