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

Из многих аксиом, предлагавшихся в качестве замены пятого постулата, упомянем лишь об одной. Ее и поныне приводят в некоторых учебниках геометрии. Этот вариант аксиомы о параллельных принадлежит Джону Плейферу (1748-1819), предложившему ее в 1795 г. (в английском «школьном» варианте «Начал» Евклида). Аксиома Плейфера гласит: существует одна и только одна прямая, проходящая через данную точку P, лежащую вне прямой l (рис. 4.2), в плоскости, задаваемой точкой P и прямой

l, которая не пересекается с прямой l.

Рис. 4.2. Вариант аксиомы о параллельных, предложенный Джоном Плейфером.

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

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

Приняв за исходную аксиому Плейфера, эквивалентную аксиоме Евклида о параллельных, Саккери сначала предположил{45}, что через точку P, лежащую вне прямой 

l (рис. 4.3), не проходит ни одна прямая, параллельная прямой l. Из этой аксиомы и девяти остальных аксиом, принятых Евклидом, Саккери вывел противоречие. Затем Саккери испробовал вторую и единственно возможную альтернативу, предположив, что через точку P проходят по крайней мере две прямые p

и q, не пересекающиеся с прямой l, сколько бы их ни продолжали.

Рис. 4.3. Аксиома, принятая основоположниками неевклидовой геометрии (Саккери и др.).

Исходя из этой аксиомы, Саккери удалось доказать много интересных утверждений, пока он не дошел до теоремы, показавшейся ему настолько странной, что он счел ее противоречащей ранее полученным результатам. Решив, что ему удалось тем самым доказать выводимость пятого постулата Евклида из девяти остальных аксиом, Саккери выпустил книгу под многозначительным названием «Евклид, избавленный от всяких пятен» (Euclides ab omni naevo vindicatus, 1733). Однако впоследствии математики выяснили, что во втором случае Саккери в действительности не пришел к противоречию и что, следовательно, проблема параллельных по-прежнему остается открытой. Попытки найти подходящую замену евклидовой аксиоме о параллельных или доказать, что она следует из девяти остальных аксиом, были столь многочисленны и тщетны, что в 1759 г. Д'Аламбер назвал проблему параллельных «скандалом в области оснований геометрии». 

Постепенно математики начали приходить к правильному пониманию статуса аксиомы Евклида о параллельных. В своей докторской диссертации 1763 г. Георг С. Клюгель (1739-1812), впоследствии профессор университета в Хельмштадте, отлично осведомленный и о книге Саккери, и о многих других попытках «исправить» аксиому о параллельных, высказал весьма ценное соображение о том, что принятие большинством людей аксиомы Евклида о параллельных как истины, не подлежащей сомнению, основано на опыте. Так впервые была явно сформулирована идея о том, что весомость аксиом определяется их соответствием опыту, а не самоочевидностью.{46} Клюгель выразил сомнение в том, что пятый постулат Евклида можно вывести из остальных аксиом. Более того, Клюгель понял, что Саккери пришел не к противоречию, а лишь к результатам, поразившим его своей необычностью.