Abstract
Presented is an answer to the problem of finding of such computer algorithms that might to assist in modeling some real processes. Also examined are philosophic- and methodological aspects of computer mathematics in the context of modern problems of computer education.
Keywords
- knowledge in mathematics
- computer mathematics
- philosophy of mathematics
References
- Narinyani A.S. Mathematics XXI — a radical paradigm shift. Model, not Algorithm // Questions of philosophy. — 2011. — No 1. — P. 71 — 82. (In Russian).
- Kochergin A.N. Machine proof of theorems as an unconventional research program in mathematics // Research programs in modern science. — Novosibirsk: Science, 1987. — P. 70-89. (In Russian).
- Penrose, R. The Path to Reality, or Laws Governing the Universe. Complete Guide — M. — Izhevsk: SRC "Regular and Chaotic Dynamics", 2007. — 912 p. (In Russian).
- Deutsch D. Structure of reality — M. — Izhevsk: SRC "Regular and chaotic dynamics", 2001. — 400 p. (In Russian).
- Kudryavtsev L.D. Modern mathematics and its teaching — M.: Science, 1985. — 170 p. (In Russian).
- Barrow D. New Theories of Everything — Minsk: Popurri, 2012. — 368 p. (In Russian).
- Davies B. Whither mathematics? // Notices of the American Mathematical Society. — 2001. — Vol. 52. — No 11. — P. 1350– 1356.