[Swark]

Сообщение от Владимир Чернявский

В том же смысле, что и Евклид является частным случаем Лобачевского У этих систем просто разные аксиоматические наборы. Есть Теорема Гёделя , которая вообще ставит крест на попытках найти универсальный набор аксиом.

Геометрия Лобачевского не сводима к геометрии Римана и наоборот. Значит они не самостоятельны. А вот Эвклид описывает и то и другое. Насчет Теоремы Гёделя. Да, все нельзя заранее предсказать, но так и должно быть при наличии свободы воли. Но это не повод, чтобы не построить теорию, описывающую матрицы всех возможных форм движения. А конкретную жизнь этих матриц оставить эволюции.