Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Дроздов Введен в прикл мат моделиров Уч. пособи...doc
Скачиваний:
22
Добавлен:
25.08.2019
Размер:
758.27 Кб
Скачать

3.2.8. О математической строгости

Абсолютной строгости в математике не существует и, видимо, не может существовать. Строгость того или иного рассуждения есть средство избежать ошибочных выводов.

Понятие строгости в чистой математике непрерывно уточняется. В настоящее время различные уровни строгости имеют место в математической логике, в основной части чистой математике и в прикладной математике.

В прикладной математике уровни строгости должны выбираться адекватно решаемой задаче. Легко убедиться, что в различных приложениях эти уровни различны, достаточно сравнить модели в различных областях физики и техники и в экономике. Проблема строгости в прикладных исследованиях связана с проблемой равнопрочности при моделировании.

3.3. Типовые, рациональные рассуждения

В предыдущем разделе отмечено, что одной из особенностей прикладной математики является широкое использование рациональных рассуждений, т.е. является типичной ситуация, когда, используя только точные методы, не удается получить решение задачи.

Перечислим основные виды рациональных рассуждений .

а) Применение формулировок, включающих не точно определенные понятия.

б) Применение понятий вне рамок их первоначального определения. Например, интеграл, обоснованный для непрерывных функций, применяется и для разрывных функций.

в) Применение утверждений, справедливых в практических случаях, но допускающих построение искусственных противоречащих примеров.

Многие дедуктивные теоремы и рассуждения значительно проигрывают из-за того, что они ориентированы на справедливость во всех случаях, в том числе самых неблагоприятных. Это приводит к нежелательному смещению акцентов - патологические случаи приобретают большее значение, чем основные. Однако, как сказал Эйнштейн: " Господь бог изощрен, но не злонамерен." Природа, в отличие от людей, не строит противоречащие примеры с единственной целью - опровергнуть рациональное рассуждение.

г) Доводы, основанные на аналогии или эксперименте. Разумная аналогия служит в прикладных исследованиях доказательством. Результаты эксперимента часто служат подтверждением рабочих гипотез. Многие коэффициенты в теоретических зависимостях получаются из эксперимента.

д) Нелокальное применение результатов локального исследования. Например, некоторый процесс, включающий параметр d>0, сходится при малых значениях d. Но в случае, если значение d не мало, о сходимости судят по первым шагам.

е) Доказательства, основанные на рассмотрении частных случаев. Индукция. Применение индукции в прикладной математике обусловлено сложностью или недоступностью дедуктивных доказательств.

ж) Использование результатов приближенного решения при отсутствии строгого доказательства точности решения. Заключение о правильности решения опирается на его совпадение с ожидаемым результатом или на контрольные вычисления для частных случаев.

з) Применение численных методов, сходимость которых не доказана.

и) Изучение и решение задачи, когда соответствующие теоремы о разрешимости ( о существовании и единственности решения ) не доказаны.