Феномен науки

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

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

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

¹ Bacon F. Novum Organum, Great books of the western world. Encyclopedia Britannica, 1955. Aphorism 95. P. 126.

² Bacon F. Ор. cit. Aphorism 117. Р. 131.

³ Cм. сборник: Эйнштейн А. Физика и реальность. М.: Наука, 1965. Следующие ниже цитаты взяты также из этого сборника.

⁴ Frank P. Philosophy of science. Englewood Cliffs (New Jersey): Prentice-Hall, 1957.

⁵ Лаплас П. Опыт философии теории вероятностей. М., 1908. С. 9.

⁶ Этот раздел написан по мотивам статьи автора под таким же названием, опубликованной в журнале «Вопросы философии», 1968. N5.

Глава 14. Феномен науки

14.1. Высший уровень иерархии

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