Гёдель, Эшер, Бах. Эта бесконечная гирлянда

Не пытайся пробовать этот подход к параллельным линиям. Я прошел этот путь до самого конца. Я пережил эту бездонную ночь, погасившую всякий свет и радость в моей жизни. Молю тебя, оставь науку о параллельных прямых в покое. Я думал, что жертвовал собой во имя истины. Я был готов стать мучеником, который освободил бы геометрию от ее недостатков и, очищенную, возвратил бы ее человечеству. Я предпринял огромный, чудовищный труд; мои создания — неизмеримо лучше, чем у моих предшественников. И все же я не смог добиться полного удовлетворения. Поистине, si paullum a summo discessit, vergit ad imum . Убедившись, что ни один смертный не может достичь дна этой темной бездны, я повернул обратно, безутешный, жалея себя и все человечество… Я проплыл мимо всех рифов этого дьявольского мертвого моря, всегда возвращаясь со сломанной мачтой и разодранными в клочья парусами. Именно в это время у меня испортился характер и в жизни моей началась осень. Я легкомысленно поставил на карту мое счастье и саму мою жизнь — aut Caesar aut nihil.[9]

Однако позже, убежденный, что его сын действительно чего-то достиг, Фаркаш настоятельно советовал ему опубликовать свои результаты, правильно предвидя такую частую в науке проблему одновременности:

Когда для определенных вещей пришло время, они появляются в разных местах, подобно тому, как фиалки появляются на свет ранней весной.[10]

Насколько верным это оказалось в случае с неэвклидовой геометрией! В Германии сам Гаусс и еще несколько человек одновременно набрели на неэвклидовы идеи. Среди них были адвокат Ф. К. Швайкарт, который в 1818 году послал Гауссу письмо с описанием новой «астральной» геометрии, племянник Швайкарта Ф. А. Тауринус, который занимался неэвклидовой тригонометрией и Ф. Л. Вахтер, студент Гаусса, который умер в 1817 году в возрасте двадцати пяти лет, успев получить несколько глубоких результатов в неэвклидовой геометрии.

Ключом к неэвклидовой геометрии являлось «принятие всерьез» постулатов, на которых основаны такие геометрии как геометрия Саккери или Ламберта. Постулаты Саккери кажутся «отвратительными самой природе понятия прямой линии» только в том случае, если вы не можете освободиться от предвзятого мнения о том, что называть «прямой линией». Однако если вы можете отказаться от подобных идей и считать, что «простая линия» — это то, что удовлетворяет новым постулатам, то ваша точка зрения радикально изменится.

Неопределяемые понятия

Эти рассуждения, вероятно, уже начинают звучать знакомо. В частности, они возвращают нас к теме системы pr и ее варианта, где символы приобретали пассивное значение, зависящее от их роли в теоремах. Особенно интересен был символ r, поскольку его «значение» изменилось, когда мы прибавили новую схему аксиом. Совершенно так же значения понятий «точка», «линия» и т. д. могут определяться множеством теорем (или постулатов), в которых они встречаются. Очень важно, что открыватели неэвклидовой геометрии это осознали. Они нашли различные неэвклидовы геометрии, по-разному отрицая пятый постулат Эвклида и изучая последствия этого. Строго говоря, они (как и Саккери) не отрицали пятого постулата прямо; вместо этого они отрицали эквивалентный, так называемый параллельный постулат:

Через точку, лежащую вне прямой, можно провести одну и только одну прямую, не пересекающуюся с первой прямой, сколько бы мы их не продолжали.