CONTEXTUALITY, SURVEYABILITY, AND RIGOR OF MATHEMATICAL PROOF
Lev Dmitrievich Lamberov
Ural Federal University named after the first President of Russia B.N. Yeltsin, Yekaterinburg, Russia
Keywords: mathematical proof, mathematical knowledge, surveyability, rigor, mathematical practice
Abstract
The article analyzes the concepts of surveyability and rigor of mathematical proof. It is shown that surveyability and rigor can be considered contextually. These concepts are considered in the context of mathematical practice. Several examples from the history of mathematics reveal the contextual nature of the concept of rigor. It is shown that the concept of rigor can be considered similar to the concept of surveyability. Distinguishing of mesoscopic surveyability suggests the possible distinguishing of an intermediate concept of rigor in addition to global and local rigor.,
|
