Сущность математики и история ее развития
Наука не может ограничиться констатацией фактов и отдельных эмпирических законов. На определенном этапе ее развития необходим переход от чувственно-эмпирического исследования к рационально-теоретическому. На этой стадии выдвигаются гипотезы для объяснения фактов и эмпирических законов, установленных с помощью наблюдений и экспериментов. В процессе разработки и проверки гипотез приходится обращаться не только к логическим, но и к математическим методам. Поэтому естествознание тесно связано с математикой, которая, исследуя формы и отношения, встречающиеся в природе, обществе, а также в мышлении, отвлекается от содержания и исключает из допускаемых внутри нее аргументов наблюдение и эксперимент. Математику нельзя причислить к естествознанию или общественным наукам: естествознание непосредственно изучает природу, а математика изучает не сами объекты действительности, но математические объекты, которые могут иметь прообразы в действительности.
Формирование математики как самостоятельной отрасли научного знания обычно относят к античности. В это время появляются различные представления о соотношении математических образов и реальных природных объектов, следовательно, о соотношении математики и естествознания. Так, Платон считал, что понимание физического мира может быть достигнуто только с помощью математики, ибо <Бог вечно геометризует>. Для Платона математика не просто посредник между идеями и данными чувственного опыта - математический порядок он считал точным отражением самой сути реальности. Наименьшие части элемента Земли он ставил в связь с кубом, наименьшие части элемента воздуха - с октаэдром (правильным многогранником с 8 треугольными гранями, 12 ребрами, 6 вершинами, в каждой из которых сходятся 4 ребра), элементы огня - с тетраэдром (правильной треугольной пирамидой, имеющей треугольные 4 грани, 6 ребер, 4 вершины, в каждой из которых сходятся 3 ребра), элементы воды - с икосаэдром (правильным многогранником с 20 треугольными гранями, 30 ребрами, 12 вершинами, в каждой из которых сходятся 5 ребер). Не было элемента, соответствующего додекаэдру (правильному многограннику, имеющему 12 пятиугольных граней, 30 ребер, 20 вершин, в каждой из которых сходятся 3 ребра), и Платон предположил, что существует пятый элемент, который боги использовали, чтобы создать Вселенную. Он конструировал свои правильные тела из двух видов треугольников - равностороннего и равнобедренного прямоугольного. Соединяя их, он получал грани правильных тел, которые можно разложить на треугольники, а из этих треугольников построить новые правильные тела. Например, по Платону, один атом огня и два атома воздуха в сочетании дают один атом воды. С его точки зрения, треугольники нельзя считать материей, т.е. они не имеют пространственного протяжения. А при объединении треугольников в правильные тела возникает частица материи. Поэтому наименьшие частицы материи представляют собой математические формы. Аристотель, подвергая взгляды Платона сомнению, придерживался другого мнения: он считал, что математические предметы не могут существовать отдельно.
Математика интенсивно развивалась в античности. Поворотным событием для дальнейшего развития научного знания стала работа Евклида <Начала>, где впервые применялись доказательства. Эта математическая система была преподнесена как идеальная версия того, что составляло содержание реального мира. Значительно расширили математическое знание греки Александрийского периода: Аполлоний (<Конические сечения>), Гиппарх, Менелай, Птолемей, Диофант (<Арифметика>) и т.д.
В средневековой Европе главенствующую роль заняла теологическая ветвь науки, а исследование природы любыми средствами, в том числе математическими, трактовалось как предосудительное занятие. Центр научной мысли переместился в Индию, а несколько позже - в арабские страны. В Индии того времени вводятся в широкое употребление десятичная позиционная система счисления и нуль для обозначения отсутствия единиц данного разряда, зарождается алгебра. В арабской культуре сохранялись математические знания древнего мира и Индии. Конец Средневековья (XV в.) в арабских странах отмечен деятельностью Улугбека, который при своем дворе в Самарканде создал обсерваторию, собрал более 100 ученых и организовал долго остававшиеся непревзойденными астрономические наблюдения, вычисление математических таблиц и т.п.
В XVII в. начинается новый период во взаимоотношениях математики и естествознания. Многие отрасли естествознания начинают базироваться на применении экспериментально-математических методов. В результате появляется уверенность в том, что научность (истинность, достоверность) знания определяется степенью его математизации. Так, Г. Галилей утверждал, что книга природы написана на языке математики, а согласно И. Канту, в каждом знании столько истины, сколько есть математики. Логическая стройность, строго дедуктивный характер построений, общеобязательность выводов создали математике славу образца научного знания.
Противоположного мнения о роли математики для раскрытия качественных особенностей придерживался великий писатель, мыслитель и естествоиспытатель И.В. Гёте, который воспринимал неживую природу и все живое (включая человека) как единое целое и придавал большое значение интуиции и опыту. Гёте считал, что световые и другие природные явления должны наблюдаться в их естественном виде, так как эксперимент и количественный анализ мало помогают в понимании подлинной их сущности: он полагал, что эта сущность познается только непосредственным опытом и интуицией.
В XIX в. с резкой критикой экспериментального изучения явлений природы выступил А. Шопенгауэр. Он не только поддерживал подход Гёте, но и вообще отрицал какую-либо пользу от применения математического языка к изучению природы. Даже сами математические доказательства Шопенгауэр называл <мышеловки>, считая, что они не дают истинного представления о реальных процессах.
Многие выдающиеся ученые XX в., в особенности физики, говорили о значении математики как важнейшего средства для точного выражения научной мысли. Н. Бор указывал на огромную роль математики в развитии теоретического естествознания и говорил, что математика - это не только наука, но и язык науки. Р. Фейнман отмечал, что математика - это язык плюс мышление, как бы язык и логика вместе. Однако в то же время он считал, что такой науки, как математика, не существует.
Различные варианты тезиса Шопенгауэра о том, что математика не способствует, а затемняет понимание реальных явлений, характерны и для наших дней. Так, иногда противопоставляют объяснение явлений их пониманию, полагая, что количественный язык и методы математики в лучшем случае содействуют объяснению явлений неорганической природы,
но не могут дать ничего ценного в понимании процессов культурно-исторической и духовной жизни. При этом понимание рассматривается как чисто интуитивная деятельность мышления, вследствие чего отрицается возможность использовать для его анализа логико-рациональные, в том числе математические, средства исследования. В настоящее время к применению количественного языка математики особенно критически настроены ученые, занимающиеся исследованием сложных биологических, психических и социальных процессов и привыкшие больше доверять опыту и интуиции, чем их математическому анализу.
3. Математика - источник представлений и концепций в естествознании
Назначение математики состоит в том, она вырабатывает для остальной науки, прежде всего для естествознания, структуры мысли, формулы, на основе которых можно решать проблемы специальных наук.
Это обусловлено особенностью математики описывать не свойства вещей, а свойства свойств, выделяя отношения, независимые от каких-либо конкретных свойств, то есть отношения отношений. Но поскольку и отношения, выводимые математикой, особые (будучи отношениями отношений), то ей удается проникать в самые глубокие характеристики мира и разговаривать на языке не просто отношений, а структур, определяемых как инварианты систем. Поэтому, кстати сказать, математики скорее говорят не о законах (раскрывающих общие, существенные, повторяющиеся и т.д. связи), а именно о структурах.
Эти глубинные проникновения в природу и позволяют математике исполнять роль методологии, выступая носителем плодотворных идей. Относительно сказанного современный американский исследователь Ф. Дайсон пишет: "Математика для физики - это не только инструмент, с помощью которого она может количественно описать явление, но и главный источник представлений и принципов, на основе которых зарождаются новые теории". Близкие мысли высказывает известный математик, академик Б. Гнеденко, также подчеркивая, что роль математики не ограничивается функцией аппарата вычисления, подчеркивал, что математика - определенная концепция природы.
Поскольку привилегия математики - выделять чистые, безотносительные к какому-либо физическому (химическому или социально насыщенному содержанию), она тем самым вырабатывает модели возможных еще неизвестных науке состояний. Естествоиспытатель может выбирать из них и примеривать к своей области исследования. Это стимулирует научный поиск, пробуждая и будоража ученую мысль. В силу указанной особенности математику характеризуют как склад готовых костюмов, пошитых на все живые существа, мыслимые и немыслимые (Р. Фейнман), вообще на все возможные природные ситуации. То есть это своеобразный портной для разнообразных вещественных образований, которые могут быть вписаны в эти готовые одежды. Характеризуя рассматриваемую особенность отношений между математикой и физикой, американский физик-теоретик венгерского происхождения Е. Вигнер в режиме шутки произнес: "Физики - безответственные люди: они берут готовые математические уравнения и используют их, не зная, верны они или нет".
В свое время И. Кант метко определил: "Математика - наука, брошенная человеком на исследование мира в его возможных вариантах". Если физику или вообще естествоиспытателю позволено видеть мир таким, каков он есть, то математику дано видеть мир во всех его логических вариантах. Иначе сказать, физик не может строить мир, противоречивый физически (и уж тем более - логически), математику же разрешены построения, противоречивые физически, лишь бы они не страдали логическими противоречиями. Физики говорят, каков мир, математики исследуют, каким бы он мог быть в его потенциальных версиях. Это и придает стимул воображению. Как замечает австрийский математик и писатель нашего времени Р. Музиль, математика есть роскошь броситься вперед, очертя голову, потому математики предаются самому отважному и восхитительному авантюризму, какой доступен человеку. Стоит заметить лишь, что раскованность и рискованность - преимущество не только собственно математика, но и любого исследователя, если и поскольку он мыслит математически, то есть пытаясь дать, по выражению Г. Вейля, "теоретическое изображение бытия на фоне возможного".
Здесь не должно сложиться впечатления о возможности бескрайней фантазийной деятельности ученого. Истина состоит в том, что нематематические науки, сталкиваясь с запретами в проявлении какого-либо свойства, действия, не знают границ, до которых распространяется их компетенция. Это способна определить и узаконить лишь математика, владеющая искусством расчета на основе количественного описания явлений. Другие науки знают лишь, что нечто разрешено, но они не умеют знать той черты, до которой это разрешено, не умеют устанавливать пределов возможного - той количественной меры, определяющей вариантность изменений. Скажем, биолог не располагает сведениями пределов возможного для жизни и познает их в диапазоне лишь наблюдаемого.
Методологическое значение математики для других наук проявляется еще в одном аспекте. Поскольку ее абстракции отвлечены от конкретных свойств, она способна проводить аналогии между качественно различными объектами, переходить от одной области реальности к другой. Д. Пойа назвал это свойство математики умением "наводить мосты над пропастью". Там, где конкретная наука останавливается (кончается ее компетенция), математика в силу ее количественного подхода к явлениям, свободно переносит свои структуры на соседние, близкие и далекие, регионы природы.
Таковы некоторые методологические уроки, внушаемые математикой. Однако, сколь ни эффективна математическая наука, и на нее брошены некоторые тени, а лучше сказать: эти тени - есть продолжение ее достоинств (при неадекватном использовании последних).
Мы говорим: математический аппарат исследования применим там, где выявлена однородность, точнее сказать, математика и приводит природные образования к однородностям. Но тем самым она лишает мир многообразия и богатства качественных проявлений, ибо счет, по выражению отечественного математика современности И. Шафаревича, "убивает индивидуальность". Он пишет. Мы имеем, скажем, яблоко, цветок, кошку, дом, солдата, студента, луну. Можно сосчитать и объявить, что их 7. Но 7 чего? Единственный ответ: "7 предметов". Различия между солдатом, луной, яблоком и т.д. исчезают. Они все потеряли свою индивидуальность и превратились в лишенные признаков "предметы"69. То есть счет выравнивает вещи, убирая "персональные" характеристики. Как шутил В. Маяковский, математику все едино: он может складывать окурки и паровозы.
Описывая объект, процесс, математика выявляет какую-то лишь одну (существенную) характеристику и, прослеживая ее вариации, выводит закономерность. Все остальные характеристики уходят в тень, иначе они будут мешать исследованию. Конечно, эти другие также могут оказаться предметом изучения, но будучи взяты по тому же математическому сценарию: каждый раз только один единственный параметр, одно выделенное свойство в отвлечении от остального разнообразия. Напрашивается аналогия. Ее проводит Ю. Шрейдер, называя математику пародией на природу. И в самом деле. Пародия схватывает какую-то одну характеристическую черту пародируемого, за которой уже не видно других особенностей, просто они не важны.
Однако из этого обстоятельства не следуют лишь негативные выводы. Во-первых, математика по-иному работать не может, а во-вторых, в подобном подходе свое преимущество, оно сопряжено, так сказать, с "чистотой" описания: налицо четкая заданность исследования, когда необходимо проследить "поведение" объекта на основе определенного свойства, вычленить линию изменений, тенденцию развития и передать информацию в строгих графиках, схемах, уравнениях.
Используя математические методы исследования, вовлекая их в познавательный поиск, науки должны учитывать возможности математики, считаясь с границами ее применимости. Имеется в виду то, что сама по себе математическая обработка содержания, его перевод на язык количественных описаний не дает прироста информации.
Таким образом можно подчеркнуть важную роль этой математики как языка, арсенала особых методов исследования, источника представлений и концепций в естествознании .