Проблемы истории как науки
В ответ на:А чем еще руководствоваться?
А все равно не очень убеждает. ЭВМ принципиально предназначена для решения численного и изначально неточного. Аналитическое решение на ЭВМ затруднительно (ну то есть существует направление, называемое "символьной математикой", Maple там и прочая шняга, но это же все иллюзия..) и в общем случае невозможно.
Ну, например, "доведением до абсурда" было бы представить себе ЭВМ, которая оперирует исключительно с целами числами и исследователь, изучающий какое-нибудь там круговое движение, учитывая эти ее особенности, уже в начальной системе уравнений (которая сама по себе и знать ничего не знает ни про ЭВМ, ни про разрядности) округляет число Пи (предположительно от греческого Пи
) до 3.
Тем более, как было отмечено ранее, разрядности длинного целого числа
на разных платформах разные (разумеется, есть приколы, связанные еще и с системами программирования). Значит ли это, что исследователь должен готовить несколько моделей, под каждую платформу?
То есть, кажется, существует три уровня "реальности":
- сама реальность (объективная, данная нам в ощущениях(С))
- модель аналитическая (реальность упрощенная и точная в рамках полноты нашего представления о реальности).
- модель численная (реальность упрощенная и неточная, однако практичная)
Связь между моделями исключительно однонаправленная. Другими словами, невозможно получить аналитическую модель из численной и (какой сюрприз) "настояшую" из аналитической.
Численная модель, конечно, знает, каким методом ее будут решать и, возможно, на какой платформе (тоже вопрос, многие численные методы платформенно независимы сами по себе и только параметр точности (часто -- разница между последовательными итерациями) зависит от разрядности), однако, на мой взгляд,
это не должно оказывать влияния на аналитическую модель.
Насколько я понял, в
В ответ на:
Если мы хотим им пользоваться, мы должны представить нашу задачу (реальную жизнь) в виде модели, доступной для функционирования в качестве программы для ЭВМ
имелась в виду численная модель, а аналитическая отсутствует как класс. Вопрос, насколько это правильно...
I used to be shizophrenic, but now we are ok...