Турчин Фёдорович - Феномен науки. Кибернетический подход к эволюции

В заключение этой главы нельзя не сказать хотя бы несколько слов о многотомном трактате И. Бурбаки «Элементы математики». Никола Бурбаки — коллективный псевдоним, за которым скрывается группа видных математиков, главным образом французских, сложившаяся в 30-х годах нашего столетия. Начало выпуску в свет «Элементов математики» было положено в 1939 г.

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

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

Как же используется аксиоматический метод в математическом творчестве? Именно здесь, пишет Бурбаки, аксиоматика больше всего сближается с экспериментальным методом. Следуя Декарту, она «разделяет трудности, чтобы лучше их разрешить». В доказательствах сложной теории она стремится разъединить главные пружины фигурирующих там рассуждений и, взяв их по отдельности, вывести из них следствия (расщепление моделей или структур, о котором мы говорили выше); затем, возвращаясь к исходной теории, она снова комбинирует предварительно выделенные структуры и изучает, как они взаимодействуют между собой.

1 Энгельс Ф. Диалектика природы . М.: Госполитиздат, 1955. С.165.

2 Бурбаки Н. Элементы математики // Очерки по истории математики. М.: Изд-во Иностр. Лит., 1963. С.15.

3 Это мнение и приведенные выше цитаты взяты из книги: Вейль Г. О философии математики . М.;Л., 1934.

На рубеже XVI и XVII столетий, когда закладывались основы новой математики, были заложены также основы экспериментальной физики. Ведущая роль принадлежит здесь Галилею (1564–1642), который не только сделал многочисленные открытия, составившие эпоху, но в своих книгах, письмах и беседах учил современников новому методу получения знаний. Воздействие Галилея на умы было огромно. Другим человеком, сыгравшим важную роль в становлении экспериментальной науки, был Френсис Бэкон (1561–1626), выступивший с философским анализом научного знания и метода индукции.

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

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

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

Наш путь и наш метод... состоят в следующем: мы извлекаем не практику из практики и опыт из опыта (как эмпирики), но причины и аксиомы из практики и опытов, а из причин и аксиом — снова практику и опыт, как истинные Истолкователи Природы 2 .

Теперь мы можем дать окончательный ответ на вопрос, что же произошло в Европе в начале XVII в.: произошел крупнейший метасистемный переход, захвативший как языковую, так и неязыковую деятельность. В сфере неязыковой деятельности он предстал в виде экспериментального метода. В сфере языковой деятельности он дал начало новой математике, которая развивается путем метасистемных переходов (эффект лестницы) по линии все углубляющегося самоосознания в качестве формализованного языка, служащего для создания моделей действительности. Этот процесс мы описали в предыдущей главе, не выходя за пределы математики. Теперь мы можем завершить его описание указанием на ту систему, в рамках которой этот процесс становится возможным. Эта система — наука в целом с научным методом в качестве управляющего устройства, т. е. (расшифровывая эту краткую форму выражения) совокупность всех человеческих существ, занимающихся наукой и овладевших научным методом, вместе со всеми используемыми ими предметами. В главе 5, говоря об эффекте лестницы, мы обращали внимание, что он проявляется в том случае, когда существует метасистема Y , которая продолжает оставаться метасистемой по отношению к системам ряда X , X' , X'' , ..., где каждая следующая система образуется путем метасистемного перехода от предыдущей, и которая, оставаясь метасистемой, как раз и обеспечивает возможность метасистемных переходов меньшего масштаба от Х к X' , от X' к X'' и т. д. Такая система Y обладает внутренним потенциалом развития; мы назвали ее ультраметасистемой . При развитии материального производства ультраметасистемой Y является совокупность человеческих существ, обладающих способностью превращать орудие труда в предмет труда. При развитии точных наук ультраметасистемой Y является совокупность людей, овладевших научным методом, т. е. обладающих способностью создавать модели действительности с помощью формализованного языка.