>Ясно одно - математика уже очень давно развивается без опоры на реальный мир. То, что результаты этого развития как-то сопрягаются с реальным миром - это скорее чудо.
У меня противоположное мнение. Результаты развития не могут быть несопрягаемы с реальным миром, просто в силу сложности сопряжения временной интервал этого процесса резко возрос. Осознание наличия непосредственной связи той или иной абстракции с реальным миром приходит гораздо позднее, чем раньше.
>В любом случае, математика практикой, экспериментом и наблюдением не проверяется.
Хм... Почему? Эксперимент над абстракциями вполне возможен, согласно определению никаких ограничений в этой связи не накладывается. :)
