А. - Я, действительно, несколько упрощаю хронологическую схему. Это отчасти связано с тем, что и у самого Эвклида вопрос об аксиомах не так уж прост. Сколько их он дал? Он с самого начала говорит о двенадцати аксиомах, но в некоторых дошедших до нас рукописях его труда одиннадцатая и двенадцатая находятся в перечне не аксиом, а вопросов. Едва ли можно сказать с уверенностью, что сам Эвклид считал свою аксиоматику единственной возможной. Недаром он был учеником Платона. Доказательство посредством "сведения к абсурду" было приемом Эвклида, и философская заслуга Лобачевского заключалась в попытке не признавать абсурдом того, что таковым казалось Эвклиду и за ним сотне поколений ученых. Теперь нам даже трудно себе представить всю необыкновенную смелость этой попытки: математики с тех пор ушли очень далеко, - не слишком ли далеко? Бертран Рессель, этот enfant terrible новейшей научной философии, будто бы сказал (я не нашел у него этих слов и цитирую не по первоисточнику): "Математика наука, где неизвестно, о чем идет речь, и неизвестно, верно ли то, что утверждается". Это, конечно, "бутада", - хотя без критики Ресселя и Уайтхеда теперь о смысле математических наук говорить было бы трудно. Известно ли вам, в каком положении находится математика сейчас? Белл, достаточно компетентный человек, пишет, что ее близкое будущее может предсказать "разве только пророк или седьмой сын пророка". Споры же новейших математиков и математических логиков и по тону иногда мало отличаются от политической полемики в газетах. Бруер говорил о "преступном поведении" своих критиков. Не решаюсь упоминать о новейших математических теориях, связанных с именем Бурбаки (я слышал, что это коллективный псевдоним группы математиков. Если это верно, то шутка довольно непонятная: до сих пор математика монмартрских шуток не знала). О них я, по недостаточности познаний, к сожалению, судить никак не могу: пытался читать Бурбаки - и просто ничего не понял. Но останемся в пределах той математики, которая все-таки успела стать и стала классической. Пеано показал, и Рессель это принимает, что вся теория чисел строится на трех первоначальных идеях (primitive ideas): о; number; successor (из которых, кстати сказать, одной - нуля - древние математики не знали, что не мешало некоторым из них быть великими математиками) и на пяти первоначальных предложениях (primitive propositions). Философский их анализ завел бы нас слишком далеко, но, вопреки Ресселю, скажу, что эти предложения, в частности, третье ("No two number have the same successor"), философского анализа не выдержат, не выдержат, разумеется, как положения единственные и обязательные: новый Лобачевский мог бы создать новую теорию чисел. Иду еще дальше. Гильберт произвел в геометрии еще более глубокую революцию, чем Лобачевский, Риман и Больяи. Он оказал огромную услугу и математике, и теории познания, и научной методологии, и философии вообще. Не знаю, был ли он кантианцем, да в пору Канта эти проблемы едва ли могли быть поставлены. Но эпиграфом к своей основной работе Гильберт взял слово из "Критики Чистого Разума": "Всякая человеческая наука начинается с интуиции, от них переходит к понятиям и кончается идеями". Настоящая геометрия "разъяснилась" только после его гениальных работ. Колерус правильно говорит, что Гильберт почти на вечные времена разъяснил сложнейший вопрос об основаниях геометрии, и называет его аксиоматику "одним из величайших шедевров всего 19-го столетия".