Ancient Greek mathematical proofs and metareasoning (Q6609974)

The author applies K. Frankish's model of intentional reasoning as a cyclical process to proof in mathematics, arguing that a published proof is not the reasoning itself, but a scaffolding of antecedents and consequents that guide the reasoning taking place within the reader. He steps through three ancient Greek proofs (Hippocrates of Chios concerning a lune, \textit{Elements} I.1, and \textit{Elements} I.6), illustrating the steps of metareasoning that accompany the reading of each proof.\N\NFor the entire collection see [Zbl 1531.01004].