Александр Аруцев - Концепции современного естествознания

Быть может, ответ можно получить, рассмотрев сначала иной – возможно даже более интересный вопрос – возможно ли изучение природы без моделей, на основании каких-то совершенно других принципов? А если да, то насколько эффективны такие методы познания?

Возможны, конечно, подходы в рамках религиозного или мистического опыта, но это полностью выходит за пределы нашей темы.

Как бы то ни было, будем считать экспериментально установленным тот факт, что природу мы познаем с помощью моделей.

Второй экспериментальный факт состоит в том, что, рассматривая модели в разных науках, мы вдруг обнаруживаем группы чрезвычайно сходных моделей и результаты, полученные в одной модели, могут быть применены в другой. Например, изменение численности хищника в системе «хищник-жертва» очень похоже на изменение силы тока в колебательном контуре. Каждый может привести массу таких примеров.

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

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

Математикой называется наука, изучающая все возможные – хотя бы мысленно – схемы, их взаимосвязи, методы их конструирования, иерархии схем (схемы схем) и т.д. и т.п. Таким образом, математика не есть наука о моделях окружающего мира, а есть наука о схемах этих моделей. Математики детально изучают имеющиеся схемы моделей и обобщают опыт их применения.

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

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

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

Следует сказать, что та или иная конкретная наука вполне может существовать и даже процветать и без разработанных в математике моделей. Примером являются биология (в которую математические модели только начали проникать) и эстетика (где математика еще не используется). Тот факт, что разработанные в математике схемы моделей – так уж сложилось исторически – ориентированы в первую очередь только на «точные» науки естествознания, является основным дефектом современной математики. Одной из ее первоочередных задач должно быть осмысление «гуманитарных» моделей и создание их общей теории. Эта теория, по-видимому, будет совсем не похожа на привычные математические схемы и, во всяком случае, не будет иметь вид формального исчисления. Основные идеи этой будущей теории не должны заимствоваться из уже имеющихся в математике принципов, а должны возникать из конкретного анализа моделей гуманитарных наук.