Котофеич писал(а):
На каком основании Вы будете использовать ту или иную теорию
вещественных чисел в качестве базы для описания физической реальности, если заранее
уверены, что у этой теории нет адекватной физической модели
Использование математических моделей для описания реальных процессов и их изучение - это уже задача теоретической физики - науки, которая "занимается прежде всего изучением некоторых математических моделей". Т.е. это уже не математикам надо думать могут они применять эту теорию в качестве базы для описания физической реальности или нет. Нам, математикам, главное, чтобы все высказывания, составляющие теорию, в пересечении с аксиомами давали истину.
Котофеич писал(а):
Это фактически означает, что Вы разрешаете использовать математические теории, которые заведомо противоречивы
и соответствующие предсказания будут не очень надежны.
Мы, математики, никому ничего не разрешаем. Теоретические физики просто берут наши математические аппараты и начинают их применять, где это возможно, задавая области применимости и используемые при этом приближения. Математические теории заведомо не противоречивы, так как выведены из используемой начальной аксиоматической системы. Применение их в физике действительно может приводить к неожиданным результатом, т.к. могут быть неправильно определены области применения, допущены слишком грубые приближения, да и наконец кто сказал, что аксиоматическая система, использованная математиками хоть как-нибудь была связана с реальным миром? (пример тому гиперкомплексные числа - при создании теории была как-то маловажно их связь с реальными объектами)
Арнольд в своей книге приводит и такой интересный пример, когда строго доказанная математическая теорема не может быть применена к физическим процессам, при описании которых так или иначе используется конечная точность. Имеется в виду теорема единственности, согласно которой интегральные кривые обыкновенных ДУ не пересекаются. Применительно к реальным физическим процессам, которые мы исследуем с конечной точностью, существуют такие из них, что теорема будет нарушена.