Безумные русские ученые. Беспощадная наука со смыслом

Первые попытки решить проблему, связанную с аксиомой Евклида о параллельных прямых, были предприняты еще математиками Древней Греции. Но наиболее значительные результаты получил Джироламо Саккери (1667–1733), священник, член ордена иезуитов и профессор университета в Павии. Идея Саккери состояла в том, чтобы, заменив аксиому Евклида о параллельных ее отрицанием, попытаться вывести теорему, которая бы противоречила одной из доказанных Евклидом теорем. Полученное противоречие означало бы, что аксиома, отрицающая аксиому Евклида о параллельных – единственную аксиому, вызывающую сомнения, – ложна, а, следовательно, аксиома о параллельных Евклида истинна и является следствием девяти остальных аксиом.

Над этой проблемой работали также такие математики XVIII века, как Г.С. Клюгель (1739–1812), И.Г. Ламберт (1728–1777), А.Г. Кестнер (1719–1800). Но самым выдающимся математиком среди взявшихся за решение проблемы, возникшей в связи с аксиомой Евклида о параллельных прямых, был Гаусс. Он прекрасно знал о безуспешных попытках доказать или опровергнуть аксиому о параллельных, ибо такого рода сведения не составляли секрета для геттингенских математиков. Историю проблемы параллельных досконально знал учитель Гаусса – Кестнер. Много лет спустя (в 1831 году) Гаусс сообщил своему другу Шумахеру, что еще в 1792 году, когда Гауссу было всего 15 лет, он понял возможность существования логически непротиворечивой геометрии, в которой постулат Евклида о параллельных прямых не выполняется.