Если мы рассматриваем основы матекатики - еее аксиоматику, правильность, полноту :-))), т.е. философию математики, ее претензии на то, что бы быть наукой, а не набором ремесленных правил, то вычислительная математика тут не причем. У Пуанкаре, если не ошибаюсь, вся небесная механника построена на несходящихся рядах - и ничего считают и летают.
Ну да, у вас то кант наивен, то Гильберт. По его наметкам доказали же теорему, что математика нее противоречива. если не противоречива арифметика. А дальше пришел Гедель и все испохабил. Остается только забыть его и выбросить. Что бы не мешал доблестным позитивистам заниматься игрой в бисер.
