Help on query formulation
Explanatory proofs in mathematics. (English)
Log. Anal., Nouv. Sér. 45, No. 179-180, 299-307 (2002).
The paper deals with explanatory proofs in mathematics. The authors analyse Steiner’s explanatory proof theory as well as Resnick and Kushner and propose some corrections. Steiner’s theory is refined, and a criterion is developed to identify satisfactory answers to some questions. The paper is original and well written. It could be improved by adding abstract and clarifying some notations (PREM etc.)
Reviewer: Valentina Dagienë (Vilnius)
Classification: E50
Valid XHTML 1.0 Transitional Valid CSS!