|
|
От
|
Руднев
|
|
|
К
|
Игорь С.
|
|
|
Дата
|
21.09.2005 09:45:43
|
|
|
Рубрики
|
Россия-СССР; Катастрофа;
|
|
по-моему, горячитесь...
>Математика не есть полностью формализованная наука. См. Рузавина. Теорема Гёделя, запрещает, понимаете ли.
ТГеделя ограничивает возможности аксиоматического метода. Но есть же другие. Например, машины Тьюринга. И тезис Черча.
>Аксиоматическая основа какой геометрии? Нет одной аксиоматической основы геометрии "вообще". У геометрии Эвклида - одни аксиомы, у геометри Лобачевского - другие.
ну как же, как же. А точки, прямые и т.п. Прямая проходит через 2 точки. Нет геометрии в которой это было бы неверно. Различия начинаются в определении метрики.