On the interpretation of non-finitist proofs: Part II. interpretation of number theory. Applications
Journal of Symbolic Logic 17 (1):43-58 (1952)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
|
| Through your library | Configure |
W. W. Tait (2010). Gödel on Intuition and on Hilbert's Finitism. In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Robin Clark & Murray Grossman (2007). Number Sense and Quantifier Interpretation. Topoi 26 (1):51--62.
Lynne Rudder Baker (2005). Interpretation in Action: A Preliminary Inquiry. In Fernando Mão de Ferro (ed.), A Explicação da Interpretação Humana (Portuguese). Edições Colibri.
Nicholaos Jones (2009). Fazang's Total Power Mereology: An Interpretive Analytic Reconstruction. Asian Philosophy 19 (3):199-211.
Kalle Puolakka (2008). Literature, Ethics, and Richard Rorty's Pragmatist Theory of Interpretation. Philosophia 36 (1):29-41.
Urszula Wybraniec-Skardowska (2007). Meaning and Interpretation. II. Studia Logica 85 (2):261 - 274.
J. Ellenberg & E. Sober (2011). Objective Probabilities in Number Theory. Philosophia Mathematica 19 (3):308-322.
G. Kreisel (1953). A Variant to Hilbert's Theory of the Foundations of Arithmetic. British Journal for the Philosophy of Science 4 (14):107-129.
Ulrich Kohlenbach (1999). On the No-Counterexample Interpretation. Journal of Symbolic Logic 64 (4):1491-1511.
G. Kreisel (1951). On the Interpretation of Non-Finitist Proofs--Part I. Journal of Symbolic Logic 16 (4):241-267.
Monthly downloads |
Added to index2009-01-28Total downloads14 ( #83,117 of 549,093 )Recent downloads (6 months)1 ( #63,317 of 549,093 )How can I increase my downloads? |

