On mathematical formalism in high school curricula
A. Ya\. Khinchin
Abstract
Reflections of A. Ya\. Khinchin (1894--1959) on: mathematical
formalism; the need for proper connection between the content of mathematical
facts and their outward, superficial descriptions; the three levels of
mathematical knowledge and connections between them.
Keywords: Mathematical formalism, source, object of research, tools.