Why Do Mathematicians Re-prove Theorems?
By John W. Dawson Jr.. 2006
67 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computational Theory and Mathematics, Theoretical Computer Science
View Paper: https://www.semanticscholar.org/paper/884d07c644e40859531646accb6dcb11c1434b7b
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
In Computational Theory and Mathematics
In Theoretical Computer Science
Citations in the corpus
- Proofs as bearers of mathematical knowledge (2008, background): “... of different methodologies”; (4) “To provide a rational reconstruction (or justification) of historical practices”; (5) “To extend a result, or to generalize it to other contexts”; (6) “To discover a new route”; (7) “Concern for methodological purity”; and (8) “The existence of multiple proofs o”
- Cognitive Development of Proof (2011, background): “An ordinary mathematical proof consists of an argument to convince an audience of peer experts that a certain mathematical claim is true and, ideally, to explain why it is true (cf. Dawson, 2006).”