В.Ю.Ирхин, М.И.Кацнельсон

Уставы небес. 16 глав о науке и вере (Часть 2)

непременно должна существовать, и прежде истлеют без остатка дерево и жилы струн, чем потерпит что-нибудь худое гармония (Платон, Федон; см. также вынесенные в эпиграф строки Мандельштама).

Близких взглядов на сущность математических идей и понятий придерживался В. Гейзенберг (см. книгу Физика и философия. Часть и целое ). Другой выдающийся физик, В. Паули, полагал, что более правильным образом для того, чтобы охарактеризовать статус математических понятий, являются юнговские архетипы. В отличие от платоновских идей, они имеют динамический характер и не могут рассматриваться как вечные и неизменные, однако также принадлежат к некоторой реальности за пределами индивидуальных сознаний (см. книгу К. Лаурикайнена). Высокую оценку математики можно найти и в оккультной литературе.

Главный Источник чистой математики - Высшее, или Трансцендентное Сознание, и в этом причина, почему выводы всеобщего характера можно недвусмысленно передать на языке чистой математики... В определенном смысле, чистая математика далеко опередила сейчас то Сознание, которое реально возможно для человека (Ф. Меррелл-Вольф, Пути в иные измерения, с.280, 293).

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

Номиналистский подход в вопросе об основаниях математики состоит в предположении, что математические понятия являются результатом обобщения и абстрагирования свойств реального физического мира. Логически возможен и субъективно-идеалистический подход, рассматривающий математические конструкции как произвольные творения человеческого ума, однако в этом случае вопрос о причинах непостижимой эффективности математики по-видимому не может быть даже разумно сформулирован. Как и вообще в современной науке, наиболее распространен сейчас по-видимому позитивистский подход, когда вопросы о мировоззренческом статусе используемых понятий и методов считаются ненаучными и бессмысленными. Применительно к математике, такой подход состоит в рассмотрении математических теорий как некоторых формальных конструкций:

В этом смысле математика рассматривает отношения в гипотетически-дедуктивном плане, не связывая себя никакой конкретной материальной интерпретацией. Ее интересует не истинность аксиом, а лишь их непротиворечивость... Математика - это наука, извлекающая определенные следствия - сказал Б. Пирс в 1870 г., и это определение оставалось в моде на протяжении нескольких десятилетий. Мне кажется, что оно содержит весьма скудную информацию относительно подлинной природы математики... (Г. Вейль, Математическое мышление, М.: Наука, 1989, с. 21).

К подобным формалистическим подходам относится прежде всего аксиоматический метод, который пропагандировался и развивался на рубеже XIX и XX веков выдающимся немецким математиком Д. Гильбертом. Известно его шутливое (?) высказывание, что при изложении евклидовой геометрии можно везде заменить слова точки , прямые и плоскости на столы , стулья и пивные кружки (через два стола можно провести стул, и притом только один - замечательно!). В широко известном списке проблем Гильберта присутствовала даже проблема аксиоматизации физики. Аналогичный подход развивался Расселом и Уайтхедом по отношению к самой математике. По словам Б.Рассела,

Тот факт, что вся математика есть символическая логика, является одним из величайших открытий нашего времени (Принципы математики).

Такой подход сразу после своего возникновения вызвал резкие возражения ряда крупнейших математиков, прежде всего, А. Пуанкаре:

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