Целищев, В. В. Понимание математического доказательства: логика vs. математика [Текст] / В. В. Целищев, А. В. Хлебалин> // Философия науки. - 2022. - № 2. - С. 63-74. - Библиогр.: с. 73-74 (9 назв. ) . - ISSN 1560-7488
Рубрики: Логика Общие вопросы логики Математика Математическая логика Кл.слова (ненормированные): математическая практика -- математическое доказательство -- математическое мышление -- формальные доказательства -- язык математики Аннотация: Анализируется противопоставление понимания математического доказательства его формализации. Показано, что в этом противопоставлении смешаны две проблемы: соотношение математической логики и математической практики доказательства и соотношение математического и формального доказательств. Доп.точки доступа: Хлебалин, А. В. Нет сведений об экземплярах (Источник в БД не найден) |