Л.- Хронологическая ваша схема не совсем верна: вы не принимаете в расчет геометрию Римана с ее предположением, что сумма углов треугольника больше двух прямых. Эта геометрия (Феликс Клейн говорил даже о двух "возможных Римановских геометриях") очень способствовала успеху идеи русского геометра. Теперь Белл, вслед за Клиффордом, называет Лобачевского "Коперником геометрии" (14) . Е. Т. Bell, Les Grands Mathmaticiens, Paris, 1950.
. Между ним и польским астрономом есть, однако, разница: кажется, никто больше не доказывает, что солнце вращается вокруг земли; между тем, по свидетельству Пуанкаре, и в настоящее время многие математики по-прежнему рассматривают воображаемую геометрию как логический курьез, а Французская Академия Наук еще и поныне каждый год получает работы, доказывающие постулат Эвклида.
А.- Я, действительно, несколько упрощаю хронологическую схему. Это отчасти связано с тем, что и у самого Эвклида вопрос об аксиомах не так уж прост. Сколько их он дал? Он с самого начала говорит о двенадцати аксиомах, но в некоторых дошедших до нас рукописях его труда одиннадцатая и двенадцатая находятся в перечне не аксиом, а вопросов (15) . Les Elements de Gometric d'Euclide, traduits litteralement par F. Peyrard, Paris, 1809, p. 6.
. Едва ли можно сказать с уверенностью, что сам Эвклид считал свою аксиоматику единственной возможной. Недаром он был учеником Платона. Доказательство посредством "сведения к абсурду" было приемом Эвклида, и философская заслуга Лобачевского заключалась в попытке не признавать абсурдом того, что таковым казалось Эвклиду и за ним сотне поколений ученых. Теперь нам даже трудно себе представить всю необыкновенную смелость этой попытки: математики с тех пор ушли очень далеко, - не слишком ли далеко? Бертран Рессель, этот enfant terrible новейшей научной философии, будто бы сказал (я не нашел у него этих слов и цитирую не по первоисточнику): "Математика наука, где неизвестно, о чем идет речь, и неизвестно, верно ли то, что утверждается". Это, конечно, "бутада", - хотя без критики Ресселя и Уайтхеда теперь о смысле математических наук говорить было бы трудно. Известно ли вам, в каком положении находится математика сейчас? Белл, достаточно компетентный человек, пишет, что ее близкое будущее может предсказать "разве только пророк или седьмой сын пророка". Споры же новейших математиков и математических логиков и по тону иногда мало отличаются от политической полемики в газетах. Бруер говорил о "преступном поведении" своих критиков. Не решаюсь упоминать о новейших математических теориях, связанных с именем Бурбаки (я слышал, что это коллективный псевдоним группы математиков. Если это верно, то шутка довольно непонятная: до сих пор математика монмартрских шуток не знала). О них я, по недостаточности познаний, к сожалению, судить никак не могу: пытался читать Бурбаки - и просто ничего не понял. Но останемся в пределах той математики, которая все-таки успела стать и стала классической. Пеано показал, и Рессель это принимает (16) . Bertrand Russel, Introduction to Mathematical Philosophy, London, I960, pp. 5-6.
, что вся теория чисел строится на трех первоначальных идеях (primitive ideas): о; number; successor (из которых, кстати сказать, одной - нуля - древние математики не знали, что не мешало некоторым из них быть великими математиками) и на пяти первоначальных предложениях (primitive propositions). Философский их анализ завел бы нас слишком далеко, но, вопреки Ресселю, скажу, что эти предложения, в частности, третье ("No two number have the same successor"), философского анализа не выдержат, не выдержат, разумеется, как положения единственные и обязательные: новый Лобачевский мог бы создать новую теорию чисел. Иду еще дальше. Гильберт произвел в геометрии еще более глубокую революцию, чем Лобачевский, Риман и Больяи. Он оказал огромную услугу и математике, и теории познания, и научной методологии, и философии вообще. Не знаю, был ли он кантианцем, да в пору Канта эти проблемы едва ли могли быть поставлены. Но эпиграфом к своей основной работе Гильберт взял слово из "Критики Чистого Разума": "Всякая человеческая наука начинается с интуиции, от них переходит к понятиям и кончается идеями". Настоящая геометрия "разъяснилась" только после его гениальных работ. Колерус правильно говорит, что Гильберт почти на вечные времена разъяснил сложнейший вопрос об основаниях геометрии, и называет его аксиоматику "одним из величайших шедевров всего 19-го столетия" (17) . Е. Colerus, De Pythagore Hubert, Paris, 1937, pp. 299-300.
. Выразим основную мысль Гильберта его собственными словами: его цель заключалась в том, чтобы "выяснить, какие именно аксиомы, гипотезы и средства необходимы для доказательства геометрических истин" (18) . D. Hilbert, Les principes fondamentaux de la gometric, Paris,1900, p. 111.
. И, действительно, он объяснил или связал в одно целое структуру всех геометрий. Отбрасывая некоторые из аксиом, он получает из них любую. Математик, ему не сочувствующий, Племптон Ремсей, излагает учение Гильберта следующим образом: "Математика превращается в некоторый вид игры, ведущейся на бумаге при помощи ничего не значащих значков вроде нолей и крестиков... Поскольку каждый математик делает значки на бумаге, надо признать, что формалистическое учение содержит только правду; но трудно предположить, чтобы это была вся правда: ведь наш интерес в символической игре, конечно, происходит от возможности дать смысл по крайней мере некоторым из делаемых нами значков и от надежды, что после придачи им смысла они будут выражать знание, а не ошибку" (19) . Frank Plumpton Ramsey, Foundation of Mathematics The Encyclopaedia Britannica. .
. В этой критике видно огромное различие между таким человеком, как Гильберт, и математиком философски не одаренным (хотя, быть может, превосходным специалистом в своей области).
Читать дальше