Математизация науки и ее возможности

Р.Декарт известен в математике благодаря методу координат – своеобразному мостику между алгеброй и геометрией. Эта плодотворная идея по сути стала основным толчком для последующего развития математики. В философии Декарт известен как основатель рационализма – попытки математизировать все научное знание того времени. Он использует методы математики и логики в физике, физиологии, этике, философии

. Математика взята за эталон ввиду того, что он считал ее образцом стройности и истинности. Строго доказав то или иное утверждение, математик полностью убеждает остальных в его истинности и освобождает тем самым свою науку от споров и сомнений. Если имеется некая математическая задача, то ее решение полностью закрывает вопрос. Философия же, например, или мораль имеют много таких вопросов, которые на протяжении всей истории вызывали бурные споры и к окончательному мнению относительно них философы так и не пришли. А почему бы не попробывать их решить, используя математические методы, которые в своей области успешно срабатывают? Ведь в справедливости доказанных геометрических теорем никто не сомневается, а правильное решение какой-либо задачи не вызывает споров.Свои размышления Декарт изложил в работе “Рассуждение о методе, чтобы верно направлять свой разум и отыскивать истину в науках”.

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

Настоящей революцией в математике и ее приложениях стало открытие дифференциального и интегрального исчисления И.Ньютоном и Г.Лейбницем. Это стало началом широкого проникновения математических методов в физику, механику и астрономию. Основная идея этого метода – идея предела переменной величины – берет свое начало еще в трудах Архимеда, Демокрита и других древнегреческих ученых. Но всю его мощь оценили лишь после введения удобной системы обозначений и метода координат – чего у древних греков не было. Почему же этот метод стал таким плодотворным именно для физических приложений? Дело в том, что характерной особенностью почти всех физических процессов является наличие непрерывного движения, изменения во времени некоторых числовых параметров, а пределы (а с ними и интегралы и производные) как раз и есть важнейший инструмент для исследования непрерывных функций.

Другой заслугой Ньютона, по сути сделавшей физику самостоятельной наукой, стала идея аксиоматизации механики, предложенная в труде “Математические начала натуральной философии”. Там Ньютон, вдохновленный “Началами геометрии” Евклида, выдвигает несколько фундаментальных законов механического движения, известных сейчас как три закона Ньютона. Опираясь на эти “аксиомы”, он, используя математические методы и дедукцию, описывает качественно и количественно многочисленные физические явления.

Лейбницу мы также обязаны удобной системой обозначений для основных предельных операций. Развивая символьные обозначения дальше, Лейбниц мечтает о неком универсальном исчислении, используя которое можно находить истину, механически применяя некоторые правила. “Тогда философы перестанут спорить, а начнут вычислять”. Его мечта в некотором смысле осуществится в начале XX века, когда математики формализуют логику, создав исчисление предикатов.

XVIII век характеризуется окончательной математизацией физики. Крупнейшие математики того времени: Л.Эйлер, Ж.-Л.Лагранж, П.С. Лаплас развивают анализ бесконечно-малых, делая его основным орудием исследования в естествознании. Полный успех был достигнут с его помощью в небесной механике – описаны движения планет, Луны в рамках закона тяготения Ньютона. Лаплас в своем капитальном сочинении “Трактат о небесной механике” провозгласил тезис, известный как принцип детерминизма: “Зная положения всех частиц во вселенной и их скорости в данный момент, мы можем определить состояние вселенной в любой момент в будущем”. Математическое обоснование ему дается уже в следующем столетии в теореме Коши-Ковалевской о существовании и единственности решения обыкновенного дифференциального уравнения.

XIX век ознаменовался не только социальными революциями, но и революциями в точных науках. Новые идеи, родившиеся в абстрактных недрах математики, такие как понятие группы, неевклидовая геометрия нашли и до сих пор находят применение в физике, кристаллографии, химии. Новые явления в физике – электричество и магнетизм оказываются хорошо описываемыми “старыми” методами дифференциального и интегрального исчисления с некоторыми дополнениями из векторного анализа. Казалось бы все замечательно: математический дух витал над всеми областями знания, которые тогда считались науками, а сама математика была эталоном строгости и непротиворечивости, к которому должны стремиться остальные науки. Но в конце XIX века в трудах Г.Кантора появляется нарушитель спокойствия – теория множеств. Собственно по-началу ничего такого опасного в ней не было – Кантор попытался математически описать понятие множества – произвольного набора каких-либо математических: натуральных чисел, точек на прямой, вещественно-значных функций и т.д. Параллельно шли работы по так называемым основанием математики: ученые пытались на аксиоматической основе построить математический анализ, теорию действительных чисел, геометрию (список аксиом Евклида оказался неполным, полную аксиоматику геометрии дал Гильберт в 1899 г.). Объяснение этому процессу можно дать следующее: математический аппарат (в особенности метод бесконечно-малых) на протяжении нескольких веков использовался во многих приложениях и зарекомендовал себя как эффективное орудие естествознания; но объяснения почему все применяемые методы правильны с точки зрения логической строгости, не было – ну согласуются с наблюдениями и ладно; но это не значит, что мы застрахованы от “сбоев” в будущем. Для подведения фундамента под эти методы, математики решили использовать испытанный аксиоматический метод. В связи с этим было разработано исчисление предикатов – система логических аксиом и правил вывода из них новых утверждений. С его помощью, опираясь на аксиомы любой области математики, посредством буквально механического применения правил вывода можно получить любую теорему данной области. На этом пути удалось найти аксиомы многих областей математики и свести вопрос о непротиворечивости математического анализа к непротиворечивости арифметики. Теория множеств же является в некотором смысле фундаментом математики: все объекты, с которыми работают математики являются множествами. Но вот уже на первых этапах развития этой теории начали появляться противоречия, что грозило фундаменту всей математики. К счастью в начале XX века удалось придумать аксиоматизацию теорию множеств, свободную (на сегодняшний день) от противоречий.

Развитие математики и ее приложений в XX веке было настолько бурным, что его трудно описать достаточно подробно. Выделим лишь некоторые основные моменты. Физические приложения продолжали развиваться, не ограничиваясь уже одним дифференциальным и интегральным исчислениями: в ядерной физике, например, начали широко использовать многомерную геометрию и теорию групп; в теории относительности замечательные применения нашла неевклидова геометрия. Теория вероятностей возможно даже обогнала математический анализ по числу приложений: методы математической статистики используют в огромном числе наук, начиная с физики и заканчивая психологией и лингвистикой. Развитие математической логики, вызванное программой Гильберта обоснования математики, привело к появлению компьютеров, которые изменили мировоззрение современного человека. Практика ставит новые задачи, которые уже не решаются испытанными в физике методами анализа непрерывных функций. Эти дискретные задачи из экономики, генетики, криптографии и др. характеризуются трудоемким перебором огромного числа вариантов, который не под силу даже компьютерам.

 Скачать реферат