Электронный каталог

Розин, Вадим Маркович (доктор философских наук; профессор).
    Построение оснований мышления и логики: программы Г. Лейбница и Д. Гильберта = 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

Рубрики: Математика

   Математическая логика

   
Кл.слова (ненормированные):
алгебраическая логика -- математизация мышления -- металогика -- символическая логика
Аннотация: Рассматривается программа математизации мышления, предложенная Г. Лейбницем, и программа обоснования математики Д. Гильберта.

Розин, Вадим Маркович. Построение оснований мышления и логики: программы Г. Лейбница и Д. Гильберта / В. М. Розин // Идеи и Идеалы. - 2017. - № 2 (32), Т. 1.- С.36-46