Математик-любитель и офицер австро-венгерской армии Янош Бойяи (1802–1860) подошел к задаче с несколько иной точки зрения. Он разработал абсолютную геометрическую теорию, используя только первые четыре постулата, и исследовал, зависят ли полученные геометрические результаты от пятого постулата. Его статья была опубликована в 1832 г. в виде приложения к работе его отца, близкого друга Гаусса, математика Фаркаша Бойяи (1775–1856), который также работал над проблемой о параллелях. Он так написал об этом своему сыну: «Ради бога, молю тебя, оставь эту материю. Страшись ее не меньше, нежели чувственных увлечений, потому что и она может лишить тебя всего твоего времени, здоровья, покоя, всего счастья твоей жизни…»
* * *
ИММАНУИЛ КАНТ И ЕВКЛИДОВА ГЕОМЕТРИЯ
После эпохи Возрождения образ Бога начал терять свое значение в области математики и науки в целом. Позже, в XVIII в., роль Бога как архитектора мира еще более поблекла. Говорят, что Наполеон упрекал французского математика Пьера Лапласа (1749–1827) в том, что в его главной работе «Небесная механика» тот не упоминал Творца, на что Лаплас ответил: «Сир, я не нуждался в этой гипотезе».
Но тогда философы задались вопросом, а верны ли сами математические законы природы?
Шотландский философ Дэвид Юм (1711–1776) считал, что наше знание о мире является субъективным, поскольку оно получено через наши органы чувств. Другими словами, никто не может гарантировать существование объективного физического мира, и, следовательно, не имеет смысла говорить о его научных законах.
Со своей стороны, Кант в работе «Критика чистого разума» (1781) утверждал, что пространство и время являются формами восприятия и интуиции, на основании которых ум рассматривает реальность. Так как понятие пространства находится в нашем сознании, оно принимает форму определенных истин, которые Кант называл «априорными синтетическими суждениями», являющимися частью наших врожденных умственных способностей. Геометрия просто следует из них. Евклидова геометрия и трехмерное пространство являются частью этих истин априори.
* * *
И сумма углов треугольника, и количество прямых, параллельных данной прямой линии и проходящих через точку вне ее, зависит от типа геометрии: евклидовой, гиперболической или эллиптической.
Сначала работы этих гениев никого не заинтересовали. Труды Лобачевского были в основном на русском языке, а Бойяи опубликовал свою статью в качестве приложения. Математическое сообщество проявило интерес к этой теме только после лекции немецкого математика Бернхарда Римана «О гипотезах, лежащих в основании геометрии» (1854), которую мы рассмотрим более подробно в следующих главах. Риман был первым математиком, который обратил внимание на возможность существования геометрии, вытекающей из гипотезы тупых углов, так называемой эллиптической геометрии, в которой не существует прямых, параллельных данной прямой и проходящих через точку вне ее. Его идея заключалась в замене гипотезы бесконечного пространства на гипотезу неограниченного пространства. Например, сфера является конечной, но неограниченной.