Черепанов, Е. М. Простота как отношение на классах объектов [Текст] / Е. М. Черепанов, // Философия науки. - 2009. - N 1. - С. 86-103. - Библиогр.: с. 103 (19 назв. ) . - ISSN 1560-7488
Рубрики: Философия Философия науки Кл.слова (ненормированные): логика -- классы объектов (философия) -- простота (философия) -- критерии простоты Аннотация: В статье определены различные виды отношений сложности на классах сравнимых теорий. |
Черепанов, Е. М. Простота как критерий убедительности доказательства [Текст] / Е. М. Черепанов // Философия науки. - 2010. - N 1. - С. 91-101. - Библиогр.: с. 101 (10 назв. ) . - ISSN 1560-7488
Рубрики: Логика Логические формы и законы Математика Математическая логика Кл.слова (ненормированные): доказательства (математика) -- поиски простейшего доказательства -- убедительность доказательства -- simplicity -- complexity -- proving -- algorithm Аннотация: В работе предложены методы измерения структурной и прагматической сложности доказательств в исчислении первого порядка. |
Белякин, Н. В. Об основных критериях убедительности доказательства [Текст] / Н. В. Белякин, Е. М. Черепанов // Философия науки. - 2010. - N 3. - С. 31-44. - Библиогр.: с. 43-44 (8 назв. ) . - ISSN 1560-7488
Рубрики: Логика Логические формы и законы Математика Математическая логика Кл.слова (ненормированные): доказательства (математика) -- убедительность -- убедительность доказательства -- формализуемость -- компьютерные доказательства -- полнимание доказательства -- обозримость доказательства -- простота доказательства Аннотация: В статье рассматриваются основные понятия, которые чаще всего связываются с критериями убедительности доказательства, а также отношения между этими критериями. Доп.точки доступа: Черепанов, Е. М. |
Белякин, Н. В. О критериях надежности интуитивного доказательства [Текст] / Н. В. Белякин, Е. М. Черепанов // Философия науки. - 2012. - № 4. - С. 99-109. - Библиогр.: с. 109 (10 назв. ) . - ISSN 1560-7488
Рубрики: Философия Философия науки Кл.слова (ненормированные): логика -- доказательства -- понятия -- интуиция Аннотация: Понятие интуитивного доказательства представляется важным и при этом в достаточной мере туманным. В данной статье сделана попытка уточнения некоторых аспектов этого понятия и рассмотрены условия, при которых интуитивное доказательство может считаться убедительным. Доп.точки доступа: Черепанов, Е. М. |