Читать «Серебряная подкова» онлайн - страница 176

- Вы, математический гений, не можете понять, что значат аксиомы и постулаты? - расхохотался Кондырев. - Уморили, Николай Иванович! Кто же кроме гимназистанедоучки этому поверит-?

- Можете не удивляться! Я такой же гений, как ваш гимназист. Не понимаю. И смешного тут, Петр Сергеевич, не вижу. - Лобачевский взволнованно зашагал по гостиной. - Я не согласен с точкой зрения Румовского, Лежандра, Лакруа и других математиков. Для них аксиомы суть истины сами по себе очевидные, а теоремы - предложения, коих истина делается очевидною посредством рассуждения - доказательства. Но теорема: "две прямые имеют лишь одну общую точку" - не менее очевидна, чем постулат: "через две различные точки проходит только одна прямая". Более того, очевидность эту, в силу неизбежно ей присущей субъективности, вообще нельзя принять в качестве мерила истинности. По этому поводу когда-то Ибрагимов привел нам столь убедительный пример, что я и до сих пор его помню. "Птолемеева идея неподвижности Земли, ее центрального положения в мироздании, - говорил он, - согласуется полностью с непосредственным зрительным восприятием и поэтому должна быть отнесена к числу истин, кажущихся нам очевидными".

Лобачевский остановился. Глаза его что-то искали в пространстве, пока не задержались на какой-то невидимой точке.

- По-видимому, трудность понятий увеличивается по мере их приближения к начальным истинам в природе, - продолжал он. - С первого взгляда исходные положения геометрии кажутся нам столь же простыми, сколь и необходимыми, но когда вдумываемся в их смысл, пытаемся понять, откуда берут они свое начало, то встречаемся тут с большими трудностями. Не разрешить их значило бы сделать важное упущение в преподавании. Здесь нельзя довольствоваться одним названием истин, а должно утвердить их неоспоримо. Речь идет об аксиомах. До тех пор, покуда не будет уяснена их природа, покуда не будут положены основания геометрии, прочные и в истинном смысле математические, изложение геометрии не следует, мне кажется, начинать с аксиом и постулатов.

- Отчасти я согласен с вами, друг мой, - вежливо сказал Бартельс.

На минуту он задержался. Раскуривая свою неизменную трубку с янтарным наконечником, затем, выпустив дым и слегка рукой отмахнув его, продолжал:

- Да, вопрос о происхождении основных исходных допущений геометрии остается по celt день открытым. Являются ли аксиомы результатом нашего произвола? Вот в чем вопрос. Или они покоятся на врожденных идеях? Или же представляют собой истины, заимствованные из опыта?

Евклид не дает нам ответа на эти вопросы. Он довольствуется установлением аксиом. Вопрос о том, какое различие между аксиомами и постулатами "Начал", также остается открытым. Теперь мы даже не делаем различия между нимш все первичные утверждения называем аксиомами. Но во времена Евклида, по-видимому, под постулатами разумели допущения о возможности определенных геометрических построений, а под аксиомами общеизвестные положения, относящиеся к величинам вообще.