Вид документа : Статья из журнала Шифр издания : Автор(ы) : Черепанов Е. М. Заглавие : Простота как критерий убедительности доказательства Серия: Проблемы логики и методологии науки Место публикации : Философия науки. - 2010. - N 1. - С.91-101. - ISSN 1560-7488. - ISSN 1560-7488 Примечания : Библиогр.: с. 101 (10 назв. ) УДК : 16 + 510.6 ББК : 87.42 + 22.12 Предметные рубрики: Логика Логические формы и законы Математика Математическая логика Ключевые слова (''Своб.индексиров.''): доказательства (математика)--поиски простейшего доказательства--убедительность доказательства--simplicity--complexity--proving--algorithm Аннотация: В работе предложены методы измерения структурной и прагматической сложности доказательств в исчислении первого порядка. |