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

81

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

82

Современное определение функции как любого правила или закона, сопоставляющего каждому значению x из области X (определения функции) единственное число y — значение функции в «точке» x, было еще в 1817 г. предложено чешским математиком Бернардом Больцано (1781-1848), однако замечено оно было только после повторения его в 40-х годах XIX в. авторитетным немецким математикой Петером Густавом Дирихле (1805-1859). Раньше Дирихле определение «по Больцано» использовал в своих работах по математическому анализу Н.И. Лобачевский, что, однако, тоже никем не было замечено.

83

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

84

Французская школа давно имела традиции «антиевклидовского» изложения курса геометрии, где широко использовались наглядность, соображения симметрии и движения, которых старался избегать Евклид, и ставились во главу угла наиболее важные для практики вопросы измерения геометрических величин. Первый подобный учебник составил страстный борец против схоластики и метафизики Аристотеля (а заодно и против идущих от Аристотеля методологических установок Евклида) Питер Рамус (или Пьер де ла Раме, 1515-1572), поплатившийся жизнью за эту свою деятельность: он был убит в Варфоломеевскую ночь, причем убийство Рамуса было организовано враждебными ему профессорами Парижского университета (Сорбонны). Позиции Рамуса целиком разделял Д'Аламбер, который глубоко развил их в статье «Геометрия», напечатанной в «Энциклопедии». Той же линии придерживался в своем учебнике «Элементы геометрии» и один из крупнейших аналитиков XVII в. А.К. Клеро.

85

Пуанкаре А. О науке. — М.: Наука, 1983, с. 164.

86

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

87

В данном Д'Аламбером определении предела ныне вызывает сомнение лишь замечание о том, что стремящаяся к a величина не может a превзойти; Д'Аламбер требовал, чтобы из x→a следовало постоянство знака разности x − a, в то время как Коши это последнее условие отбросил.

88

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

89

Функция y = f(x) называется непрерывной, скажем на интервале а < x < b, если для каждой точки x этого интервала и каждого (сколь угодно малого!) числа ε > 0 существует такое δ, что |y(x) − у(x0)| < ε коль скоро |x − x0| < δ, и равномерно непрерывной на этом интервале, если соответствующее значение δ можно считать не зависящим от x0 (а только от ε); тонкое (и важное) различие между непрерывностью и равномерной непрерывностью было осознано лишь Кантором и Вейерштрассом.

90

Неверность этого утверждения Коши следует из рассмотрения простейшей функции Z = Z(x, у), где Z = 0, при xy = 0 и Z = 1 при xy ≠ 0.

91

Другими словами, Гамильтон полагал (a, b) + (c, d) = (a + c, b + d); (a, b)∙(c, d) = (ac − bd, ad + bc). Подобное же построение теории комплексных чисел ранее (около 1840 г.) было дано одним из создателей неевклидовой геометрии Я. Бойаи в работе, представленной на конкурс, объявленный Лейпцигским научным обществом. Но, к сожалению, эта работа не была должным образом оценена жюри конкурса и потому осталась неопубликованной.

92

Систему аксиом, описывающую натуральные числа, несколько раньше (1888) Дж. Пеано указал Р. Дедекинд.

93

Первым автором, полностью решившим задачу обоснования евклидовой геометрии, был, по-видимому, итальянец М. Пиери, ученик Дж. Пеано. Несколько позже в том же 1899 г. появились в значительной степени основанные на более ранних исследованиях Паша «Основания геометрии» Д. Гильберта, где производилось тщательное выделение отдельных групп аксиом, описывающих то или иное из неопределяемых отношений между основными элементами (точками, прямыми и плоскостями): принадлежность (точки, прямой или плоскости); понятие «между» и т.д. В настоящее время имеется много разных систем обоснования евклидовой геометрии (см., например, [49]).

94

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

95

Дж. Буль родился в очень бедной семье мелкого торговца, в силу чего он сумел окончить лишь несколько начальных классов школы для бедных, которые, разумеется, ничего не дали ему в области математики. Все свои знания Буль приобрел путем самообразования. Стремясь разобраться в математике глубже, Буль обратился к трудам классиков науки; тогда и родились у него первые самостоятельные идеи, которые он изложил в статьях, направленных в «Кембриджский математический журнал». К счастью, редактору журнала, представителю «кембриджской группы» математиков Д. Грегори, поиски Буля оказались достаточно близкими. Именно с помощью «кембриджцев» Булю удалось в конце жизни стать профессором математики во вновь открытом католическом колледже (университете) в Корке. Характерно, что первая развернутая система формальной (символической) логики принадлежит самоучке Булю — не закончив даже средней школы, он тем самым не был связан путами традиционных взглядов и установок, смог взглянуть на математику свежим взглядом и оценить ее логический статут с той ясностью и полнотой, которая позволила Б. Расселу позже сказать: «Чистую математику открыл Буль в сочинении, которое называлось «Законы мысли».

96

У самого Буля сумма x + y обозначала класс объектов, принадлежащих либо x, либо y, но не x и y одновременно; сегодня в этом случае говорят не о сумме, а о «симметричной разности» x и y и пишут xΔy.

97

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