Why Do Mathematicians Re-prove Theorems?
Philosophia Mathematica 14 (3):269-286 (2006)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJohn W. Dawson Jr (2006). Why Do Mathematicians Re-Prove Theorems? Philosophia Mathematica 14 (3).
Su Gao (2001). Some Dichotomy Theorems for Isomorphism Relations of Countable Models. Journal of Symbolic Logic 66 (2):902-922.
N. Shankar (1994). Metamathematics, Machines, and Gödel's Proof. Cambridge University Press.
Eric Dietrich (2000). A Counterexample T o All Future Dynamic Systems Theories of Cognition. J. Of Experimental and Theoretical AI 12 (2):377-382.
R. A. V. Yehuda (1999). Why Do We Prove Theorems? Philosophia Mathematica 7 (1).
Y. Rav (1999). Why Do We Prove Theorems? Philosophia Mathematica 7 (1):5-41.
Peter Smith (2007). An Introduction to Gödel's Theorems. Cambridge University Press.
Janusz Czelakowski (1983). Some Theorems on Structural Entailment Relations. Studia Logica 42 (4):417 - 429.
Stefan Geschke (2002). Applications of Elementary Submodels in General Topology. Synthese 133 (1-2):31 - 41.
Kenny Easwaran (2008). The Role of Axioms in Mathematics. Erkenntnis 68 (3):381 - 391.
Saharon Shelah (1989). The Number of Pairwise Non-Elementary-Embeddable Models. Journal of Symbolic Logic 54 (4):1431-1455.
Andrew Arana (2008). Logical and Semantic Purity. Protosociology 25:36-48.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads10 ( #106,175 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
