: : : : Рылов утверждает, что аксиоматика евклидовой геометрии противоречива.
: : : : Достаточно?
: : :
: : : Если так прямым текстом и написано - вполне достаточно, что бы поменять отношение. Я с большим вниманием взгляну на конкретный абзац.
: : : Мне же удалось разыскать прямо противоположное утверждение Рылова:
: : : "Собственно евклидова геометрия была построена много лет назад Евклидом. Непротиворечивость этого построения была исследована и доказана в [2]". Имеется ввиду Гилберт и, как мне показалось, автор с этим не спорит. Я ошибаюсь?
: : : http://hypercomplex.xpsweb.com/page.php?lang=ru&id=178
: : : Второй абзац от начала.
: : А вот моя цитата
: : http://gasdyn-ipm.ipmnet.ru/~rylov/cdg1rw.pdf стр2 начало
: : пардон, там речь идет не только оевклидовой геометрии но даже о римановой геометрии вообще, частным случаем которой является евклидова,
:
: Оговорка, прямо, по Фрейду! Сначала идет одно утверждение, потом приводится цитата, подтверждающая нечто иное - и вот уже доказательство некорректности оппонента, казалось бы, предъявлено.
: Так не пойдет. Да, евклидова геометрия является частным случаем римановой, но из утверждения о противоречивости аксиом второй, ну никак не следует противоречивость аксиом первой.
Следует. Если все киты теплокровные, а касатка - кит, то касатка теплокровное.
: В этом месте, наверное, именно мне следовало бы прекратить разговор, как не имеющий шансов на соблюдение обычной логики:(
:
: : вот и получается по приведенным цитатам, что у Рылова евклидова геометрия непротиворечива, а риманова, аксиомы которой являются подмножеством в множестве евклидовых аксиом -- противоречива.
: : Если Вы не понимаете, что это бред, то надо сесть подучить мат.логику.
:
: Может быть я тупой? Тогда давайте по порядку. Рассмотрим простой пример. Имеется большая семья. Глава семейсвтва знает, что "в семье не без урода" и во всеуслушание перед всем честнЫм народом признается, что не все в его семье красавцы. Иван Царевич, который желает посвататься к дочке главы семейства: Василисе Прекрасной - делает вывод, что раз она из именно той семьи, где не все благополучно - она также урод. Почему? Да потому что она "является подмножеством в множестве", где есть урод!
Пример не соответствует. |
» Общий форум