Черепанов, Е. М. Простота как критерий убедительности доказательства [Текст] / Е. М. Черепанов> // Философия науки. - 2010. - N 1. - С. 91-101. - Библиогр.: с. 101 (10 назв. ) . - ISSN 1560-7488
Рубрики: Логика Логические формы и законы Математика Математическая логика Кл.слова (ненормированные): доказательства (математика) -- поиски простейшего доказательства -- убедительность доказательства -- simplicity -- complexity -- proving -- algorithm Аннотация: В работе предложены методы измерения структурной и прагматической сложности доказательств в исчислении первого порядка. |