Отраслевые рубрики: физико-математические науки, философия, философия науки

Ключевые слова: гомотипическая теория типов, математика, математическая физика, междисциплинарное взаимодействие, научный реализм, неклассическая физика, неоклассическая математика, неоклассическая физика, принцип дополнительности, реализм математический, реализм физический, теория топосов, физика

Персоналии: Бор Нильс, Эйнштейн Альберт

Аннотация: Во второй части работы вопрос о "непостижимой эффективности" математики рассмотрен в контексте физики и математики XX в. и современности. Показано, каким образом революционные изменения в математики и физике начала XX в. привели к тому, что старые ответы на этот вопрос перестали быть удовлетворительными. Основной тезис второй статьи состоит в том, что программа развития новой реалистической физики, которую Эйнштейн сформулировал в дискуссии с Бором, в настоящее время вновь стала актуальной, в том числе в связи с некоторыми новейшими результатами в области оснований математики. Поэтому образец классической реалистической науки, в котором математика играет роль эффективного средства теоретического описания и экспериментального дизайна (в смысле ван Фраасена), остается релевантным современному состоянию науки и может мотивировать новые амбициозные программы исследований