Аннотация
Предпринято решение задачи нахождения таких алгоритмов для компьютеров, с помощью которых можно моделировать некоторые реальные процессы. Рассмотрены философско-методологические аспекты вычислительной математики в контексте современных проблем компьютерного образования.
Ключевые слова
- математическое знание
- компьютерная математика
- философия математики
Литература
- Нариньяни А.С. Математика XXI — радикальная смена парадигмы. Модель, а не Алгоритм // Вопросы философии. — 2011. — No 1. — С. 71—82.
- Кочергин А.Н. Машинное доказательство теорем как нетрадиционная исследовательская программа в математике // Исследовательские программы в современной науке. — Новосибирск: Наука, 1987. — С. 70–89.
- Пенроуз Р. Путь к реальности, или Законы, управляющие Вселенной. Полный путеводитель — М.—Ижевск: НИЦ «Регулярная и хаотическая динамика», 2007. — 912 с.
- Дойч Д. Структура реальности — М.—Ижевск: НИЦ «Регулярная и хаотическая динамика», 2001. — 400 с.
- Кудрявцев Л.Д. Современная математика и ее преподавание — М.: Наука, 1985. — 170 с.
- Барроу Д. Новые теории всего — Минск: Попурри, 2012. — 368 с.
- Davies B. Whither mathematics? // Notices of the American Mathematical Society. — 2001. — Vol. 52. — No 11. — P. 1350– 1356.