Белякин, Н. В. Об основных критериях убедительности доказательства [Текст] / Н. В. Белякин, Е. М. Черепанов> // Философия науки. - 2010. - N 3. - С. 31-44. . - Библиогр.: с. 43-44 (8 назв. )
Рубрики: Логика Логические формы и законы Математика Математическая логика Кл.слова (ненормированные): доказательства (математика) -- убедительность -- убедительность доказательства -- формализуемость -- компьютерные доказательства -- полнимание доказательства -- обозримость доказательства -- простота доказательства Аннотация: В статье рассматриваются основные понятия, которые чаще всего связываются с критериями убедительности доказательства, а также отношения между этими критериями. Доп.точки доступа: Черепанов, Е. М. Нет сведений об экземплярах (Источник в БД не найден) |