| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | b | |||
| 001 | Контрольный номер | RU/IS/BASE/229519428 | ||
| 005 | Дата корректировки | 20220714153218.5 | ||
| 008 | Кодируемые данные | 20070410 | ||
| 040 | b | Код языка каталог. | rus | |
| e | Правила каталог. | PSBO | ||
| 041 | 0_ | a | Код языка текста | rus |
| 084 | a | Индекс другой классификации/Индекс ББК | 87.25; 87.45; 22.12 | |
| 100 | 1_ | a | Автор | Целищев В. В. |
| 245 | 10 | a | Заглавие | Эпистемические критерии доказательства |
| 504 | a | Библиография | Лит. в конце статьи | |
| 520 | 0_ | a | Аннотация | "Одна из самых важных проблем, порождаемых компьютерными доказательствами, заключается в нарушении предполагаемого априорного статуса математического доказательства, и поэтому возникает вопрос о том, является ли компьютерное доказательство вообще доказательством." |
| 650 | 04 | a | Основная рубрика | логика |
| a | Основная рубрика | математика | ||
| a | Основная рубрика | математическая логика | ||
| a | Основная рубрика | философия науки | ||
| a | Основная рубрика | философские науки | ||
| 653 | 1_ | a | Ключевые слова | вероятностные методы |
| a | Ключевые слова | гносеология (эпистемология) | ||
| a | Ключевые слова | компьютерное доказательство | ||
| a | Ключевые слова | математическая логика | ||
| a | Ключевые слова | математическое доказательство | ||
| a | Ключевые слова | математическое знание | ||
| a | Ключевые слова | методология науки | ||
| a | Ключевые слова | научное знание | ||
| a | Ключевые слова | познание | ||
| a | Ключевые слова | эмпирическое знание | ||
| 773 | 0_ | t | Заглавие источника | Философия науки |
| d | Дата издания источника | 2006 | ||
| g | Прочая информация | № 4 (31). - С. 20 - 43 | ||
| w | Контрольный № источника | RU/IS/BASE/223393568 | ||
| 901 | t | Тип документа | b |