Целищев, В. В. Эпистемические критерии доказательства / В. В. Целищев // Философия науки. - 2006. - N 4. - С. . 20-44. - Библиогр.: с. 43-44 (22 назв. ) Рубрики: Наука. Науковедение--Общие вопросы науки Логика--Общие вопросы логики Кл.слова (ненормированные): априоризм -- априорные знания -- доказательства (логика) -- компьютерные доказательства -- математические доказательства -- эмпирические знания -- эпистемология |
Целищев, В. В. Вычислимость и доказательство / В. В. Целищев // Философия науки. - 2006. - N 2. - С. . 32-51. - Библиогр.: с. 51 (7 назв. ) Рубрики: Логика--Общие вопросы логики Кл.слова (ненормированные): вычисления (логика) -- дедуктивные выводы -- доказательства (логика) -- логические операции |
Целищев, В. В. Эпистемические критерии доказательства / В. В. Целищев // Философия науки. - 2006. - N 4. - С. . 20-44. - Библиогр.: с. 43-44 (22 назв. ) Рубрики: Наука. Науковедение--Общие вопросы науки Логика--Общие вопросы логики Кл.слова (ненормированные): априоризм -- априорные знания -- доказательства (логика) -- компьютерные доказательства -- математические доказательства -- эмпирические знания -- эпистемология |