Методологическая проблема единства философских программ обоснования математики

Abstract

The work is devoted to a problem of unity of programs of a substantiation of mathematics, researches on which do mathematical knowledge an object of mathematical thinking. The semantic formula of a system triad for methodological comprehension of this unity is used. The most essential features of approaches to a substantiation are revealed, the conclusion that there is no necessity to concentrate only on one way of a substantiation is done. = Работа посвящена проблеме единства программ обоснования математики, исследования по которой делают само математическое знание объектом математического мышления. Для методологического постижения этого единства используется семантическая формула системной триады. Выявляются наиболее существенные черты подходов к обоснованию и делается вывод о том, что нет необходимости сосредоточиваться только на одном пути обоснования.