Математика и ее место в современной науке
На пороге нашего столетия Б. Рассел говорил, что математика – это наука, которая не знает, о чем она говорит и истинно ли то, что она говорит. Такая независимость математики от физического содержания была основой ее универсальности. Сейчас, однако, математика знает, о чем она говорит. Начиная с общей теории относительности, выбор геометрии стал вопросом, адресованным природе в форме астрофизических наблюдений. Переходя от геометрии Евклида к геометрии Римана или Лобачевского, математика исходит из физической содержательности каждой из этих геометрий, причем эксперимент и наблюдение решают вопрос, истинно ли то, что она говорит о Вселенной.
Математика не потеряла своего универсального характера. Она говорит обо всем. Но это все стало физической системой пли, вернее, становится такой системой по мере выяснения физической связи между Метагалактикой и ультрамикроскопическим миром. Математика охватывает в растущей степени не только эти полюсы, но и все, что находится между ними. Основой универсальности математики становится сейчас не освобождение от критериев физического существования объектов, а их развитие.
В этих условиях в математике происходит быстрое развитие интегральных методов и функционального анализа. Но здесь есть и собственно философская сторона дела. В логико-математических дедукциях имеются своеобразные интервалы, которые можно перешагнуть только с помощью известного компромисса, т. е. путем игнорирования реальной нетождественности. Логико-математическая дедукция допускает компромисс каждый раз, когда она ставит знак равенства. Немецкий математик Г. Фреге отмечал, что в формулах, где фигурируют только объемы, – реальные тела, равные по объему, отнюдь не тождественны («Если я буду рассматривать дом соседа, равный моему по объему, как мой собственный…» [17] [17]Frege G. Die Grundgesetze der Mathematik, begriffsschriftlich abgeleitet. Jena, 1893, B. II, S. 71, 107.
). Такое игнорирование нетождественности основано на аргументах, не включенных в ткань логико-математических дедукций, и устраненные нетождественные предикаты таят в себе нетавтологичность логико-математических дедукций. В современной науке подобное устранение нетождественности уже не может оставаться незамеченным. Разброс результатов измерений динамической переменной при измерении сопряженной переменной ставит более общий вопрос об условности теоретических конструкций. Эйнштейн называл логико-математическую идентификацию «грехом против разума». Но он добавлял при этом, что без такого греха познание не может идти вперед.
Компромисс, сопровождающий логико-математическую дедукцию, часто вытекает из физической интуиции – физической в широком смысле, т. е. в смысле еще логически не упорядоченного представления о реальности, постижимой через наблюдение и эксперимент. То, что называют математической интуицией, включает интуитивное физическое представление. Такая физическая интуиция, как растущий по своему значению компонент математического мышления, требует определенного философского обобщения и прежде всего анализа стиля современного научного мышления, его общих особенностей, выходящих за рамки отдельных отраслей науки.
Понятие стиля науки было выдвинуто физиками М. Борном и В. Паули в самом начале 50-х годов XX века в связи с разъяснением особенностей квантовой механики, прежде всего с необходимостью учитывать то воздействие, которое наблюдение вносит в наблюдаемый эффект. «Стили бывают и у физической теории, – писал М. Борн в статье „Состояние идей в физике и перспективы их дальнейшего развития“, – и именно это обстоятельство придает своего рода устойчивость ее принципам. Последние являются, так сказать, относительно априорными по отношению к данному периоду. Будучи знакомым со стилем своего времени, можно сделать некоторые осторожные предсказания» [18] [18] Вопросы причинности в квантовой механике, М., 1955, с. 102.
.
Во второй половине нашего столетия темп развития научных обобщений, меняющих не только содержание, но и стиль науки, настолько ускорился, что возникло представление об эволюции стиля. Это представление вошло в анализ и прошлого науки и привело к попыткам дать некоторое исторически инвариантное определение стиля, как того, что характеризует особенности творчества того или иного ученого, школы, особенности науки той или иной эпохи.
Читать дальше