- The Collapse of the Hilbert Program: A Variation on the Gödelian Theme.Saul A. Kripke - forthcoming - Bulletin of Symbolic Logic:1-17.details
- The Price of Mathematical Scepticism.Paul Blain Levy - forthcoming - Philosophia Mathematica.details
- Riemann’s Scale: A Puzzle About Infinity.Øystein Linnebo - forthcoming - Erkenntnis:1-3.details
- A Marriage of Brouwer’s Intuitionism and Hilbert’s Finitism I: Arithmetic.Takako Nemoto & Sato Kentaro - forthcoming - Journal of Symbolic Logic:1-61.details
- An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs.Paolo Mancosu, Sergio Galvan & Richard Zach - 2021 - Oxford: Oxford University Press.details
- Ludwig Wittgenstein, Dictating Philosophy To Francis Skinner: The Wittgenstein-Skinner Manuscripts. Transcribed and Edited, with an Introduction, Introductory Chapters and Notes by Arthur Gibson.Arthur Gibson & Niamh O'Mahony (eds.) - 2020 - Berlin, Germany: Springer.details
- Apophatic Finitism and Infinitism.Jan Heylen - 2019 - Logique Et Analyse 62 (247):319-337.details
- Remarques sur l'impossibilité l'incomplétude, la paracohérence l'indécision, le hasard, la calculabilité, le paradoxe et l'incertitude - dans Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria da Costa, Godel, Searle, Rodych, Berto Floyd, Moyal-Sharrock et Yanofsky.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.details
- On the Intuitionistic Background of Gentzen's 1935 and 1936 Consistency Proofs and Their Philosophical Aspects.Yuta Takahashi - 2018 - Annals of the Japan Association for Philosophy of Science 27:1-26.details
- Truth and Existence.Jan Heylen & Leon Horsten - 2017 - Thought: A Journal of Philosophy 6 (1):106-114.details
- A New Reading and Comparative Interpretation of Gödel’s Completeness (1930) and Incompleteness (1931) Theorems.Vasil Penchev - 2016 - Логико-Философские Штудии 13 (2):187-188.details
- On the Concept of Finitism.Luca Incurvati - 2015 - Synthese 192 (8):2413-2436.details
- Hilbert's Objectivity.Lydia Patton - 2014 - Historia Mathematica 41 (2):188-203.details
- Отвъд машината на Тюринг: квантовият компютър.Vasil Penchev - 2014 - Sofia: BAS: ISSK (IPS).details
- Unifying Historical Perspectives. [REVIEW]Adam Tamas Tuboly - 2014 - The Berlin Review of Books 2014.details
- A Defense of Strict Finitism.J. P. Bendegem - 2012 - Constructivist Foundations 7 (2):141-149.details
- Science, Religion, and Infinity.Graham Oppy - 2012 - In The Blackwell Companion to Science and Christianity. Wiley. pp. 430-440.details
- Gödel on Intuition and on Hilbert's Finitism.W. W. Tait - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.details
- Brain, Mind and Limitations of a Scientific Theory of Human Consciousness.Alfred Gierer - 2008 - Bioessays 30 (5):499-505.details
- A Simple Proof of Parsons' Theorem.Fernando Ferreira - 2005 - Notre Dame Journal of Formal Logic 46 (1):83-91.details
- The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.details
- Wittgenstein, Finitism, and the Foundations of Mathematics.Marc A. Joseph - 2001 - Mind 110 (438):501-504.details
- Time, Successive Addition, and Kalam Cosmological Arguments.Graham Oppy - 2001 - Philosophia Christi 3 (1):181-192.details
- Wittgenstein, Finitism, and the Foundations of Mathematics. [REVIEW]David Stern - 2001 - Dialogue 40 (3):624-625.details
- Eric Winsberg, Review of Wittgenstein, Finitism, and the Foundations of Mathematics by Mathieu Marion. [REVIEW]Eric Winsberg - 2000 - Philosophy of Science 67 (3):533-536.details
- Constructive Existence Claims.Michael Detlefsen - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today. Clarendon Press. pp. 1998--307.details
- Numbers and Functions in Hilbert's Finitism.Richard Zach - 1998 - Taiwanese Journal for History and Philosophy of Science 10:33-60.details
- What Are the ∀∑1 B-Consequences of T 2 1 and T 2 2?Fernando Ferreira - 1995 - Annals of Pure and Applied Logic 75 (1):79-88.details
- Hilbert's Formalism.Michael Detlefsen - 1993 - Revue Internationale de Philosophie 47 (186):285-304.details
- On an Alleged Refutation of Hilbert's Program Using Gödel's First Incompleteness Theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.details
- Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
- On Interpreting Gödel's Second Theorem.Michael Detlefsen - 1979 - Journal of Philosophical Logic 8 (1):297 - 313.details
- The Physical Foundations of Biology and the Problem of Psychophysics.Alfred Gierer - 1970 - Ratio (Misc.) 12:47-64.details
- Finitism in Mathematics (I).Alice Ambrose - 1935 - Mind 44 (174):186-203.details
- A Natural First-Order System of Arithmetic Which Proves Its Own Consistency.Andrew Boucher - manuscriptdetails
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|