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