- More infinity for a better finitism.Sam Sanders - 2010 - Annals of Pure and Applied Logic 161 (12):1525-1540.details
|
|
Unfolding finitist arithmetic.Solomon Feferman & Thomas Strahm - 2010 - Review of Symbolic Logic 3 (4):665-689.details
|
|
Hilbert versus Hindman.Jeffry L. Hirst - 2012 - Archive for Mathematical Logic 51 (1-2):123-125.details
|
|
L'infinité des nombres premiers : une étude de cas de la pureté des méthodes.Andrew Arana - 2011 - Les Etudes Philosophiques 97 (2):193.details
|
|
Is unsaying polite?Berislav Žarnić - 2011 - In Majda Trobok, Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality: Modeling Inference, Action and Understanding. Dordrecht and New York: Springer. pp. 201--224.details
|
|
Mathematical instrumentalism, Gödel’s theorem, and inductive evidence.Alexander Paseau - 2011 - Studies in History and Philosophy of Science Part A 42 (1):140-149.details
|
|
Transfer and a Supremum Principle for ERNA.Chris Impens & Sam Sanders - 2008 - Journal of Symbolic Logic 73 (2):689 - 710.details
|
|
Extensions of the Finitist Point of View.Matthias Schirn & Karl-Georg Niebergall - 2001 - History and Philosophy of Logic 22 (3):135-161.details
|
|
The Crisis in the Foundations of Mathematics.J. Ferreiros - 2008 - In T. Gowers (ed.), Princeton Companion to Mathematics. Princeton University Press.details
|
|
Two (or three) notions of finitism.Mihai Ganea - 2010 - Review of Symbolic Logic 3 (1):119-144.details
|
|
The Price of Mathematical Scepticism.Paul Blain Levy - 2022 - Philosophia Mathematica 30 (3):283-305.details
|
|
2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000.Carol Wood - 2001 - Bulletin of Symbolic Logic 7 (1):82-163.details
|
|
Logic, ontology, mathematical practice.Stewart Shapiro - 1989 - Synthese 79 (1):13 - 50.details
|
|
Kurt gödel.Juliette Kennedy - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Elementary realizability.Zlatan Damnjanovic - 1997 - Journal of Philosophical Logic 26 (3):311-339.details
|
|
Intuition, Iteration, Induction.Mark van Atten - 2024 - Philosophia Mathematica 32 (1):34-81.details
|
|
A Mathematical Commitment Without Computational Strength.Anton Freund - 2022 - Review of Symbolic Logic 15 (4):880-906.details
|
|
Finitist Axiomatic Truth.Sato Kentaro & Jan Walker - 2023 - Journal of Symbolic Logic 88 (1):22-73.details
|
|
The collapse of the Hilbert program: A variation on the gödelian theme.Saul A. Kripke - 2022 - Bulletin of Symbolic Logic 28 (3):413-426.details
|
|
Strict Finitism's Unrequited Love for Computational Complexity.Noel Arteche - manuscriptdetails
|
|
Strict Finitism and the Logic of Mathematical Applications.Feng Ye - 2011 - Dordrecht, Netherland: Springer.details
|
|
Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Gödelian platonism and mathematical intuition.Wesley Wrigley - 2021 - European Journal of Philosophy 30 (2):578-600.details
|
|
A marriage of Brouwer’s intuitionism and Hilbert’s finitism I: Arithmetic.Takako Nemoto & Sato Kentaro - 2022 - Journal of Symbolic Logic 87 (2):437-497.details
|
|
A Theory of Implicit Commitment for Mathematical Theories.Mateusz Łełyk & Carlo Nicolai - manuscriptdetails
|
|
Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston Universitydetails
|
|
Hypatia's silence.Martin Fischer, Leon Horsten & Carlo Nicolai - 2021 - Noûs 55 (1):62-85.details
|
|
Takeuti's Well-Ordering Proof: Finitistically Fine?Eamon Darnell & Aaron Thomas-Bolduc - 2018 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics The CSHPM 2017 Annual Meeting in Toronto, Ontario. New York: Birkhäuser.details
|
|
Proof Theory as an Analysis of Impredicativity( New Developments in Logic: Proof-Theoretic Ordinals and Set-Theoretic Ordinals).Ryota Akiyoshi - 2012 - Journal of the Japan Association for Philosophy of Science 39 (2):93-107.details
|
|
Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert's program.Solomon Feferman - 2008 - Dialectica 62 (2):179-203.details
|
|
The prehistory of the subsystems of second-order arithmetic.Walter Dean & Sean Walsh - 2017 - Review of Symbolic Logic 10 (2):357-396.details
|
|
Gödel's Third Incompleteness Theorem.Timothy McCarthy - 2016 - Dialectica 70 (1):87-112.details
|
|
The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory.Michael Rathjen - 2005 - Synthese 147 (1):81-120.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
On the Concept of Finitism.Luca Incurvati - 2015 - Synthese 192 (8):2413-2436.details
|
|
Intuiting the infinite.Robin Jeshion - 2014 - Philosophical Studies 171 (2):327-349.details
|
|
The Paradox of the Knower revisited.Walter Dean & Hidenori Kurokawa - 2014 - Annals of Pure and Applied Logic 165 (1):199-224.details
|
|
A hierarchy of hereditarily finite sets.Laurence Kirby - 2008 - Archive for Mathematical Logic 47 (2):143-157.details
|
|
Different senses of finitude: An inquiry into Hilbert’s finitism.Sören Stenlund - 2012 - Synthese 185 (3):335-363.details
|
|
A Simple Proof of Parsons' Theorem.Fernando Ferreira - 2005 - Notre Dame Journal of Formal Logic 46 (1):83-91.details
|
|
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.details
|
|
Varieties of Finitism.Manuel Bremer - 2007 - Metaphysica 8 (2):131-148.details
|
|
Hilbert's program and the omega-rule.Aleksandar Ignjatović - 1994 - Journal of Symbolic Logic 59 (1):322 - 343.details
|
|
On a semantic interpretation of Kant's concept of number.Wing-Chun Wong - 1999 - Synthese 121 (3):357-383.details
|
|
Relative consistency and accessible domains.Wilfried Sieg - 1990 - Synthese 84 (2):259 - 297.details
|
|
Finite mathematics.Shaughan Lavine - 1995 - Synthese 103 (3):389 - 420.details
|
|
Tolerance and metalanguages in carnap'slogical syntax of language.David Devidi & Graham Solomon - 1995 - Synthese 103 (1):123 - 139.details
|
|
Truth, reflection, and hierarchies.Michael Glanzberg - 2005 - Synthese 142 (3):289 - 315.details
|
|
The baire category theorem in weak subsystems of second-order arithmetic.Douglas K. Brown & Stephen G. Simpson - 1993 - Journal of Symbolic Logic 58 (2):557-578.details
|
|