JК
Деление на ноль :: Чан Тед
Страница: 7 из 25Позднее было доказано, что неевклидовы геометрии вполне последовательно соотносятся с евклидовой: они логическизамкнуты постольку, поскольку таковой является евклидова геометрия.
Однако тот факт, что евклидова геометрия логически замкнута, так и не был доказан. Максимум, чего удалось достичь к концу девятнадцатого века, — это доказать, что евклидова геометрия логически замкнута постольку, поскольку логически замкнута арифметика.
4 a
Вначале Рене отнеслась к случившемуся как к мелкой докуке. Пройдя по коридору, она постучала в открытую дверь кабинета Питера Фабризи.
— Пит, у тебя есть минутка?
Рене вошла, зная, какой будет его реакция. Никогда прежде ни у кого на факультете она не просила совета по какой-либо проблеме — всегда бывало наоборот. Не важно.
— Я подумала, может, ты мне сделаешь одолжение? Помнишь, я пару недель назад говорила, что разрабатываю математический формализм для одной теории?
Он кивнул.
— Ты с его помощью еще аксиоматику переписывала.
— Верно, Ну, несколько дней назад я начала приходить к совершенно нелепым выводам, а теперь мой теоретический формализм противоречит сам себе. Можешь на «его взглянуть?
Выражение на лице Фабризи было в точности таким, как ожидалось?
— Ты хочешь?.. Ну конечно. С радостью.
— Прекрасно. Проблема как раз в первых нескольких страницах примеров, остальное — просто для справки. — Она протянула Фабризи тонкую стопку бумаг. — Я подумала, если мы с тобой об этом сперва поговорим, ты только увидишь то же, что и я.
Однако тот факт, что евклидова геометрия логически замкнута, так и не был доказан. Максимум, чего удалось достичь к концу девятнадцатого века, — это доказать, что евклидова геометрия логически замкнута постольку, поскольку логически замкнута арифметика.
4 a
Вначале Рене отнеслась к случившемуся как к мелкой докуке. Пройдя по коридору, она постучала в открытую дверь кабинета Питера Фабризи.
— Пит, у тебя есть минутка?
Рене вошла, зная, какой будет его реакция. Никогда прежде ни у кого на факультете она не просила совета по какой-либо проблеме — всегда бывало наоборот. Не важно.
— Я подумала, может, ты мне сделаешь одолжение? Помнишь, я пару недель назад говорила, что разрабатываю математический формализм для одной теории?
Он кивнул.
— Ты с его помощью еще аксиоматику переписывала.
— Верно, Ну, несколько дней назад я начала приходить к совершенно нелепым выводам, а теперь мой теоретический формализм противоречит сам себе. Можешь на «его взглянуть?
Выражение на лице Фабризи было в точности таким, как ожидалось?
— Ты хочешь?.. Ну конечно. С радостью.
— Прекрасно. Проблема как раз в первых нескольких страницах примеров, остальное — просто для справки. — Она протянула Фабризи тонкую стопку бумаг. — Я подумала, если мы с тобой об этом сперва поговорим, ты только увидишь то же, что и я.