Целищев, В. В. Эпистемические критерии доказательства / В. В. Целищев> // Философия науки. - 2006. - N 4. - С. . 20-44. - Библиогр.: с. 43-44 (22 назв. ) Рубрики: Наука. Науковедение--Общие вопросы науки Логика--Общие вопросы логики Кл.слова (ненормированные): априоризм -- априорные знания -- доказательства (логика) -- компьютерные доказательства -- математические доказательства -- эмпирические знания -- эпистемология |
Целищев, В. В. Эпистемические критерии доказательства / В. В. Целищев> // Философия науки. - 2006. - N 4. - С. . 20-44. - Библиогр.: с. 43-44 (22 назв. ) Рубрики: Наука. Науковедение--Общие вопросы науки Логика--Общие вопросы логики Кл.слова (ненормированные): априоризм -- априорные знания -- доказательства (логика) -- компьютерные доказательства -- математические доказательства -- эмпирические знания -- эпистемология |
Целищев, В. Все есть число? [Текст] / Виталий Целищев> // Вокруг света. - 2008. - N 9. - С. 150-160 . - ISSN 0321-0669 Рубрики: Математика Общие вопросы математики Философия Философия науки Кл.слова (ненормированные): математические объекты -- способы существования математических объектов -- свойства математических объектов -- математический платонизм -- платонизм -- числа -- число Пи -- философия математики -- философы -- математики -- конструктивизм -- интуиционизм -- структурализм -- эмпиризм -- математическая интуиция -- математические доказательства -- теории чисел -- компьютерные доказательства Аннотация: Анализ основных точек зрения на способы существования математических объектов. Доказательство, как критерий верности математического знания. Виды доказательств. Доп.точки доступа: Сриниваса, Рамануджан (1887-1920) \р.\ |
Михайлова, Н. В. (кандидат философских наук, доцент, заведующая кафедрой социально-гуманитарных дисциплин Минского государственного высшего радиотехнического колледжа). Философия математического познания и проблемы компьютерного образования [Текст] / Н. В. Михайлова> // Alma mater: Вестник высшей школы. - 2012. - № 6. - С. 24-29. - Библиогр.: с. 29 (7 назв.) . - ISSN 0321-0383 Рубрики: Математика--Россия, 21 век первая пол. Вычислительная математика Кл.слова (ненормированные): компьютерная математика -- философия математики -- компьютеры -- информационные технологии -- математическое познание -- квантовые вычисления -- компьютерные доказательства Аннотация: Предпринято решение задачи нахождения таких алгоритмов для компьютеров, с помощью которых можно моделировать некоторые реальные процессы. Рассмотрены философско-методологические аспекты вычислительной математики в контексте современных проблем компьютерного образования. |