QR code of document
Розин, Вадим Маркович (доктор философских наук; профессор).
Построение оснований мышления и логики: программы Г. Лейбница и Д. Гильберта = Construction of thinking and logic foundations: programs of Leibniz and Hilbert / В. М. Розин // Идеи и Идеалы = Ideas and Ideals. - 2017. - № 2 (32), Т. 1. - С. 36-46. - Библиогр.: с. 45 (11 назв.)
. - ISSN 2075-0862
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
алгебраическая логика -- математизация мышления -- металогика -- символическая логика
Аннотация: Рассматривается программа математизации мышления, предложенная Г. Лейбницем, и программа обоснования математики Д. Гильберта.