Stability proofs and consistency proofs: A loose analogy
Philosophy of Science 31 (4):301-318 (1964)
| Abstract | A loose analogy relates the work of Laplace and Hilbert. These thinkers had roughly similar objectives. At a time when so much of our analytic effort goes to distinguishing mathematics and logic from physical theory, such an analogy can still be instructive, even though differences will always divide endeavors such as those of Laplace and Hilbert | |||||||||
| 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,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJohn W. Dawson Jr (2006). Why Do Mathematicians Re-Prove Theorems? Philosophia Mathematica 14 (3).
Maria Bonet, Toniann Pitassi & Ran Raz (1997). Lower Bounds for Cutting Planes Proofs with Small Coefficients. Journal of Symbolic Logic 62 (3):708-728.
M. W. Bunder (1987). Some Consistency Proofs and a Characterization of Inconsistency Proofs in Illative Combinatory Logic. Journal of Symbolic Logic 52 (1):89-110.
Mark Sacks (2006). Kant's First Analogy and the Refutation of Idealism. Proceedings of the Aristotelian Society 106 (1):113–130.
Kenny Easwaran (2009). Probabilistic Proofs and Transferability. Philosophia Mathematica 17 (3):341-362.
Richard Zach (2003). The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program. Synthese 137 (1-2):211 - 259.
Richard Zach (2004). Hilbert's 'Verunglückter Beweis', the First Epsilon Theorem, and Consistency Proofs. History and Philosophy of Logic 25 (2):79-94.
Ralph M. McInerny (1961). The Logic of Analogy. The Hague, Martinus Nijhoff.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads7 ( #133,305 of 548,969 )Recent downloads (6 months)1 ( #63,511 of 548,969 )How can I increase my downloads? |
My notes
Discussion
