Ламберов, Л. Д. Строгость доказательства: "серая зона" между формализацией и практикой [Текст] / Л. Д. Ламберов> // Философия науки. - 2023. - № 1. - С. 120-133. - Библиогр.: с. 131-133 (21 назв. ) . - ISSN 1560-7488
Рубрики: Математика Общие вопросы математики Философия Философия науки Кл.слова (ненормированные): математическая практика -- математическое доказательство -- понимание доказательства -- строгость доказательства -- философия математики -- формализация Аннотация: Рассматриваются одно из основных требований, предъявляемых к математическим доказательствам, являющейся требование строгости. Строгость гарантирует наличие логической связи между доказываемым положением и принимаемыми допущениями или аксиомами. Традиционно считается, что строгость математического доказательства обеспечивается обращением к формализации. Однако такое понимание не соответствует математической практике. Нет сведений об экземплярах (Источник в БД не найден) |