в математике разработана специальная технология, которая, в применении к реальному миру, иногда полезна, а иногда может приводить и к самообману. Эта технология называется моделированием. При построении модели происходит следующая идеализация: некоторые факты, известные лишь с некоторой долей вероятия или лишь с некоторой точностью, признаются «абсолютно» верными и принимаются за «аксиомы». Смысл этой «абсолютности» состоит ровно в том, что мы позволяем себе оперировать с этими «фактами» по правилам формальной логики, объявляя «теоремами» всё то, что из них можно вывести.
[...]
Понятное дело, что ни в какой реальной деятельности полностью полагаться на подобные дедукции невозможно.
[...]
Математическая технология моделирования состоит в том, чтобы от этой неприятности отвлечься и говорить о своей дедуктивной модели так, как если бы она совпадала с реальностью. Тот факт, что этот — явно неправильный с точки зрения естествознания — путь часто приводит к полезным результатам в физике, называют «непостижимой эффективностью математики в естественных науках» (или «принципом Вигнера»).
цитата по http://www.ega-math.narod.ru/Arnold2.htm
3 comments
recommend
bookmark
subscribe
К сожалению, ни подобные примеры, ни обсуждение опасности фетишизирования теорем не встречаются в современных учебниках математики, даже лучших. У меня даже создалось впечатление, что математики-схоласты (мало знакомые с физикой) верят в принципиальное отличие аксиоматической математики от обычного в естествознании моделирования (всегда нуждающегося в последующем контроле выводов экспериментом).
Попытки создания «чистой» дедуктивно-аксиоматической математики привели к отказу от обычной в физике схемы (наблюдение — модель — исследование модели — выводы — проверка наблюдениями) и замена её схемой: определение — теорема — доказательство. Понять немотивированное определение невозможно, но это не останавливает преступных алгебраистов-аксиоматизаторов.
Я благодарен тебе, @nicka, за эту ссылку, потому что она помогла с ещё одним примером ущерности вольфрамальфы:
http://www.wolframalpha.com/input/?i=x+%...
неущербные пакеты, когда им задаёшь t до sqrt(3.0), рисуют линию до пересечния с осью ординат, до точки (0,3)
вольфрамальфа этого нишмагла.