Целищев В. В. Эпистемические критерии доказательства / Целищев В. В. // Философия науки. - 2006. - № 4 (31). - С. 20 - 43. - Лит. в конце статьи.Отраслевые рубрики: логика, математика, математическая логика, философия науки, философские науки Ключевые слова: вероятностные методы, гносеология (эпистемология), компьютерное доказательство, математическая логика, математическое доказательство, математическое знание, методология науки, научное знание, познание, эмпирическое знание Аннотация: "Одна из самых важных проблем, порождаемых компьютерными доказательствами, заключается в нарушении предполагаемого априорного статуса математического доказательства, и поэтому возникает вопрос о том, является ли компьютерное доказательство вообще доказательством."
|