A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices

87 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Expert and Novice Approaches to Reading Mathematical Proofs (2012, background): “Similar assertions about mathematicians’ uniform agreement have been made by philosophers of mathematics when debating the nature of proof (e.g., Azzouni, 2004; Rav, 2007), and in popular expository mathematics texts (e.”
How Mathematicians Obtain Conviction: Implications for Mathematics Instruction and Research on Epistemic Cognition (2014, background): “However, other philosophers have recently challenged the view, arguing that due to the wide range of mathematical practices, the notion that there is a single criterion on which proof is judged is implausible (e.g., Auslander, 2008; Rav, 2007).”