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