THREE TYPES OF SURVEYABILITY OF MATHEMATICAL PROOF
Lev Dmitrievich Lamberov
Interregional Non-Governmental Organization “Russian Society for the History and Philosophy of Science”, Moscow, Russia
Keywords: proof, surveyability, rigor, formalization, mathematics, intuition
Abstract
The article examines three types of surveyability: global, local and “mesoscopic”. The discussion of surveyability relates to computer proofs. The third type of surveyability, viz. “mesoscopic” surveyability, involves grasping the elementary steps of a proof in a group and relies on geometric intuition. Also, geometric intuition plays an important role in the concept of rigor as local validity. The article compares “mesoscopic” surveyability and the concept of rigor as local validity.
|
