Внимательно рассмотрим какую-нибудь естественную науку, скажем физику. Что изучает физика? Ответ кажется тривиальным. Наука физика изучает природу. Или точнее, некоторые аспекты природы (в отличие, например, от химии). Ну, а что изучают физики? Казалось бы, какая разница? Но тут есть тонкое различие. Физики вовсе не изучают природу непосредственно, они не занимаются явлениями природы, как таковыми. Физик-экспериментатор, ставя эксперимент, смотрит на движение каких-то стрелок, изучает фотографии треков каких-то частиц, и тому подобное. Физик-теоретик что-то пишет на бумаге, делает какие-то вычисления, приходит к каким-то выводам о результатах тех или иных экспериментов. Вот непосредственно чем занимаются физики.
Ну, а какое имеет отношение к природе их деятельность? Очень простое. Прежде чем ставить эксперимент или производить какие-то вычисления, человек создает в своем уме некую модель тех явлений, которые он хочет изучить, исследовать. Анализируя модель, физик делает вывод, каким должен быть результат эксперимента. Он ожидает, что если собрать такой-то прибор, то стрелки будут показывать то-то и то-то. Он собирает такой прибор, ставит эксперимент и убеждается, что стрелки ведут себя нужным образом. Он с удовлетворением говорит, что его модель достаточно точно отражает исследуемое явление. Аналогично, теоретик, имея запас некоторых законов природы, – или придумывая новый закон, – делает из него выводы и смотрит, согласуются ли эти выводы с тем, что получает экспериментатор. Так работают физики.
Таким образом, основное в деятельности естествоиспытателей – это исследование окружающего мира, через его моделирование. Здесь слово «модель» употребляется в максимально широком смысле (любое словесное описание – это уже модель). Модели должны быть не слишком просты – иначе можно не уловить существенных черт явления – но и не слишком сложны – иначе модель нельзя будет исследовать.
С течением времени ученые научились придумывать удовлетворяющие их модели и на этой основе исследовать окружающий мир.
Возникает вопрос, почему этот метод приводит к успеху? Почему мы познаем мир посредством моделей? Это очень тонкий, чисто философский вопрос. Так М.М.Постников сформулировал «первый основной вопрос философии природы». Удивительно, что до сих пор никто его не поднимал.
Быть может, ответ можно получить, рассмотрев сначала иной – возможно даже более интересный вопрос – возможно ли изучение природы без моделей, на основании каких-то совершенно других принципов? А если да, то насколько эффективны такие методы познания?
Возможны, конечно, подходы в рамках религиозного или мистического опыта, но это полностью выходит за пределы нашей темы.
Как бы то ни было, будем считать экспериментально установленным тот факт, что природу мы познаем с помощью моделей.
Второй экспериментальный факт состоит в том, что, рассматривая модели в разных науках, мы вдруг обнаруживаем группы чрезвычайно сходных моделей и результаты, полученные в одной модели, могут быть применены в другой. Например, изменение численности хищника в системе «хищник-жертва» очень похоже на изменение силы тока в колебательном контуре. Каждый может привести массу таких примеров.
Исходя из этого, М.М.Постников сформулировал «второй основной вопрос философии природы»: В чем причина такой схожести моделей? В отличие от первого, на него многие пытались давать ответы, но все эти ответы представляли собой чисто словесную шелуху. Например, одно из широко распространенных объяснений состоит в том, что этот параллелизм обусловливается материальным единством природы. Но, конечно, настоящего объяснения до сих пор нет и, по-видимому, сейчас это одна из важнейших проблем философии.
Схожесть моделей можно по-иному выразить, сказав, что модели каждого класса имеют общую схему, т. е. что схожие модели – это модели, которые основываются на одной и той же схеме. Введя, таким образом, понятие схемы, мы приходим к задаче абстрактного изучения схем как таковых, безотносительно к их конкретному воплощению.
Математикой называется наука, изучающая все возможные – хотя бы мысленно – схемы, их взаимосвязи, методы их конструирования, иерархии схем (схемы схем) и т. д. и т. п. Таким образом, математика не есть наука о моделях окружающего мира, а есть наука о схемах этих моделей. Математики детально изучают имеющиеся схемы моделей и обобщают опыт их применения.
Однако, многочисленность разнообразных схем моделей, накопленных в математике, не позволяет практику (скажем, инженеру) их все знать. Поэтому задача математиков – помочь практике в создании моделей по еще не получившим широкой известности схемам. С этой целью в математике изучаются не только схемы реальных моделей, но и схемы схем, схемы схем схем и т. д. до бесконечности. На практике это выражается в приобретении опыта конструирования схем на примерах решения головоломных, чисто математических задач. В результате очень часто при ответе на какой-нибудь вопрос из практики математик, как фокусник из рукава, вытаскивает нужную схему и вместе с ней решение практической задачи.
Наконец, в математике нужно постоянно придумывать принципиально новые схемы моделей. Иногда – при редкой удаче – это удается сделать, так сказать, «из головы». Но, как правило, эти схемы приходится с большим трудом извлекать из реальных моделей. Каждый раз это – крупный успех, знаменующий скачок в развитии математики, открывающий новое поле работы. Поэтому для развития математики необходимо постоянное обращение к практике.
В последнее время широко распространилось мнение, что внедрение в практику компьютеров резко изменило принципы взаимоотношений математики и других наук. На самом деле это мнение основано на недоразумении. Компьютеризация никак на эти принципы не повлияла. Она лишь сделала безнадежно устаревшими многие излюбленные схемы моделей и позволила разработать другие, более эффективные. В истории математики так происходило уже много раз, и появление компьютеров лишь направило этот процесс по новому пути.