Роль математики в современном естествознание

Математика нужна всем вне зависимости от рода занятий  и профессии. Известно, что еще  в древние времена математике придавалось большое значение. Девиз  первой академии – платоновской академии – «Не знающие математики сюда не входят» - ярко свидетельствует о  том, насколько высоко ценили математику на заре науки, хотя в те времена  основным предметом науки была философия.

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

«Тот, кто хочет решить вопросы естественных наук без помощи математики, ставит неразрешимую задачу. Следует измерять то, что измеримо, и делать измеримым то, что таковым  не является», - утверждал выдающийся итальянский физик и астроном, один из основоположников естествознания Галилео Галилей (1564-1642).

Наука не может обойтись без перехода от чувственно-эмпирического  исследования к рационально-теоретическому. На этой стадии выдвигаются гипотезы для объяснения фактов и эмпирических законов, установленных с помощью наблюдений и экспериментов. При разработке и проверке гипотез приходится обращаться не только к логическим, но и к математическим методам. Именно поэтому естествознание и математика тесно связаны. Ведь математика, исследуя формы и отношения, встречающиеся в природе, обществе и мышлении, отходит от содержания и исключает из допустимых аргументов наблюдение и эксперимент. Математику нельзя отнести к естествознанию или общественным наукам, т.к. она изучает не саму природу и объекты действительности, а математические объекты, которые могут иметь прообразы в действительности.

Предмет и специфика математики.

Слово «математика» произошло  от др.-греч. máthēma, что означает изучение, знание, наука, и др.-греч. mathēmatikós, первоначально означающего восприимчивый, успевающий, позднее относящийся к изучению, математике. В частности, ars mathematica, означает искусство математики.

Математика — наука о структурах, порядке и отношениях, которая исторически сложилась на основе операций подсчёта, измерения и описания форм реальных объектов. Математические объекты создаются путём идеализации свойств реальных или других математических объектов и записи этих свойств на формальном языке. Математика не относится к естественным наукам, но широко используется в них как для точной формулировки их содержания, так и для получения новых результатов. Математика является языком науки, обеспечивая взаимосвязь различных наук. Традиционно математика делится на теоретическую, выполняющую углублённый анализ внутриматематических структур, и прикладную, предоставляющую свои модели другим наукам и инженерным дисциплинам, причём некоторые из них граничат с математикой. В частности, формальная логика может рассматриваться и как часть философских наук, и как часть математических наук; механика — и физика, и математика; информатика, компьютерные технологии и алгоритмика относятся как к инженерии, так и к математическим наукам и т. д.

Николай Бурбаки (группа французских  математиков) определяет современную  математику как науку о структурах. Здесь под структурой понимается упорядоченное многообразие математических элементов (чисел, функций и т.п.)[1]. Для построения математической системы  используются аксиоматический и  конструктивистский методы. В первом методе исходят из аксиом и правил вывода из них других положений. Естественный язык заменяется математическими символами. Этот процесс называется формализацией. Вследствие того, что математика работает с чрезвычайно разнообразными и  довольно сложными структурами, система  обозначений также очень сложна. Современная система записи формул сформировалась на основе европейской  алгебраической традиции, а также  математического анализа (понятия  функции, производной и т.д.). В  современной математике распространены также сложные графические системы  записи (например, коммутативные диаграммы), нередко также применяются обозначения  на основе графов.

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

В конструктивистском методе на основе математических конструктов  строят более сложные элементы (но не выводят формулы). В процессе создания этих элементов используют подходящую для построения последовательность шагов. Для математика важно задать отличие метематических конструктов друг от друга. Если многообразие математических конструктов не упорядочено, то есть невозможно их сопоставление друг с другом, то работа математика теряет всякий смысл. Чтобы этого не случилось, математик внимательно следит за тем, чтобы математическая теория была непротиворечивой, т.е. чтобы в ней не было два или больше взаимно исключающих предположения. Непротиворечивость – основополагающий научный критерий математики.

История развития математики.

Математика в качестве самостоятельной отрасли научного знания начинает появляться в античности. Формируются различные представления  о соотношении математических образов  и реальных природных объектов, следовательно, о соотношении математики и естествознания[2]. Платон, к примеру, считал, что понимание  физического мира может быть достигнуто только с помощью математики, т.к. «Бог вечно геометризует». Для Платона математика являлась не просто посредником между идеями и данными чувственного опыта - математический порядок он считал точным отражением самой сути реальности.

В работе Евклида «Начала» впервые были применены доказательства, и это стало важнейшим событием для развития научного знания. Эта  математическая система была преподнесена как идеальная версия того, что  составляло содержание реального мира. Значительно расширили математическое знание греки Александрийского периода: Аполлоний («Конические сечения»), Гиппарх, Менелай, Птолемей, Диофант («Арифметика») и другие.

В средние века в Европе исследование природы любыми способами, включая математические, считалось  предосудительным занятием, т.к. главной  стала теологическая ветвь науки. Центр научной мысли теперь переместился в Индию, а потом в арабские страны. В Индии зарождается алгебра, вводятся десятичная система счисления  и нуль для обозначения отсутствия единиц данного разряда. В XV веке Улугбек  открыл при своем дворце в Самарканде обсерваторию, где были организованны непревзойденные астрономические наблюдения, вычисление атематических таблиц и т.д.

В XVII в. множество отраслей естествознания начинают основываться на экспериментально-математических методах. Появляется убежденность в том, что достоверность знания определяется степенью его математизации. «Книга природы написана на языке математики,» - эти слова принадлежат Г.Галилею. Кант же утверждал: «В каждом знании столько истины, сколько есть математики». Логическая стройность, дедуктивный характер построений, общеобязательность выводов – все эти характеристики сделали математику образцом научного знания.

Однако, были и те, кто был иного мнения о роли математики для раскрытия качественных особенностей. Одним из этих людей являлся И.В.Гёте. Он считал, что природные явления должны наблюдаться в их естественном виде, т.к. эксперимент и количественный анализ не помогают понять их подлинную сущность, это возможно только с помощью опыта и интуиции. Также подход Гёте поддерживал А.Шопенгауэр(XIX в.), он вообще не видел пользы в математическом языке, применяемом к изучению природы. Шопенгауэр считал, что математические доказательства не дают достоверного представления о реальных процессах.

Много выдающихся ученых XX в. считали математику важнейшим  средством для точного выражения  научной мысли. Нильс Бор говорил  об огромном значении математики в  развитии теоретического естествознания и о том, что математика является не только наукой, но и её языком. Р.Фейнман  считал, что математика – это  язык и логика одновременно, однако он не признавал в математике науку.

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

Математика – источник представлений  и концепций в естествознании.

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

Когда-то И.Кант сказал: «Математика  – наука, брошенная человеком  на исследование мира в его возможных  вариантах". Математику дано видеть мир во всех его логических вариантах. Ему разрешены построения, противоречивые физически, главное, чтобы они не были противоречивы логически. Физики говорят, каков мир, математики исследуют, каким бы он мог быть в его потенциальных  версиях. Как замечает австрийский  математик и писатель нашего времени Р. Музиль, «математика есть роскошь броситься вперед, очертя голову, потому математики предаются самому отважному и восхитительному авантюризму, какой доступен человеку». Раскованность и рискованность - преимущество не только собственно математика, но и любого исследователя,поскольку он мыслит математически, то есть, по выражению Г. Вейля, пытаясь дать "теоретическое изображение бытия на фоне возможного".

Но у учёного нет  возможности для бескрайнего  фантазирования. Истина состоит в  том, что нематематические науки, сталкиваясь  с запретами в проявлении какого-либо свойства, действия, не знают границ, до которых распространяется их компетенция. Это может знать только математика, которая владеет расчётами на основе количественного описания явлений. Другие науки не могут устанавливать  пределы возможного - той количественной меры, которая определяет вариантность изменений. Например, биолог не знает пределы возможного для жизни и познаёт её в диапазоне наблюдаемого.

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

Однако математическая наука лишает мир многообразия, как  выразился русский математик  И.Шафаревич она «убивает индивидуальность». Он пишет: «Мы имеем, скажем, яблоко, цветок, кошку, дом, солдата, студента, луну. Можно сосчитать и объявить, что их 7. Но 7 чего? Единственный ответ: "7 предметов". Различия между солдатом, луной, яблоком и т.д. исчезают. Они все потеряли свою индивидуальность и превратились в лишенные признаков "предметы"^». То есть счёт делает предметы равными.

При описании математика выявляет только одну характеристику предмета и, отслеживая её вариации, выводит  закономерность. На остальные характеристики не обращается внимание, т.к. они мешают исследованию. Например, изучая физические свойства апельсина, мы можем абстрагироваться от его цвета и вкуса и представить его (пусть не идеально точно) шаром. Если же нам надо понять, сколько апельсинов получится, если мы сложим вместе два и три, — то можно абстрагироваться и от формы, оставив у модели только одну характеристику — количество. Абстракция и установление связей между объектами в самом общем виде — одно из главных направлений математического творчества.

Из-за того, что за одним  свойством не видно других особенностей предмета или явления, Ю.Шрейдер называет математику пародией на природу. Но всё не так плохо. Математика просто не может работать по-другому, и при таком подходе есть чёткая заданность исследования, когда нужно проследить «поведение» объекта на основе определённого свойства, проследить за изменениями и развитием и отобразить информацию в уравнениях, графиках, схемах.

Другое направление, наряду с абстрагированием — обобщение. Например, обобщая понятие «пространство» до пространства n-измерений. «Пространство Rⁿ, при n > 3 является математической выдумкой. Впрочем, весьма гениальной выдумкой, которая помогает математически разбираться в сложных явлениях».[3]

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