- Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston Universitydetails
|
|
Strict finitism, feasibility, and the sorites.Walter Dean - 2018 - Review of Symbolic Logic 11 (2):295-346.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
|
|
The Implicit Commitment of Arithmetical Theories and Its Semantic Core.Carlo Nicolai & Mario Piazza - 2019 - Erkenntnis 84 (4):913-937.details
|
|
Predicativity through transfinite reflection.Andrés Cordón-Franco, David Fernández-Duque, Joost J. Joosten & Francisco Félix Lara-martín - 2017 - Journal of Symbolic Logic 82 (3):787-808.details
|
|
Numbers and functions in Hilbert's finitism.Richard Zach - 1998 - Taiwanese Journal for History and Philosophy of Science 10:33-60.details
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Hilbert's program relativized: Proof-theoretical and foundational reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.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
|
|
The Paradox of the Knower revisited.Walter Dean & Hidenori Kurokawa - 2014 - Annals of Pure and Applied Logic 165 (1):199-224.details
|
|
Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2):153-207.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
|
|
The Crisis in the Foundations of Mathematics.J. Ferreiros - 2008 - In T. Gowers (ed.), Princeton Companion to Mathematics. Princeton University Press.details
|
|
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.details
|
|
How to be a structuralist all the way down.Elaine Landry - 2011 - Synthese 179 (3):435 - 454.details
|
|
Reconstructing Hilbert to construct category theoretic structuralism.Elaine Landry - unknowndetails
|
|
Varieties of Finitism.Manuel Bremer - 2007 - Metaphysica 8 (2):131-148.details
|
|
The Price of Mathematical Scepticism.Paul Blain Levy - 2022 - Philosophia Mathematica 30 (3):283-305.details
|
|
Hilbert's program and the omega-rule.Aleksandar Ignjatović - 1994 - Journal of Symbolic Logic 59 (1):322 - 343.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
|
|
Philosophy of mathematics.Leon Horsten - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.details
|
|
Philosophy of mathematics.Jeremy Avigad - manuscriptdetails
|
|
Finite mathematics.Shaughan Lavine - 1995 - Synthese 103 (3):389 - 420.details
|
|
Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.details
|
|
Elementary realizability.Zlatan Damnjanovic - 1997 - Journal of Philosophical Logic 26 (3):311-339.details
|
|
Finitist Axiomatic Truth.Sato Kentaro & Jan Walker - 2023 - Journal of Symbolic Logic 88 (1):22-73.details
|
|
A theory of implicit commitment.Mateusz Łełyk & Carlo Nicolai - 2022 - Synthese 200 (4):1-26.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
|
|
Hilbert izlencesinin izinde adcılık adına yeni bulgular.Besim Karakadılar - manuscriptdetails
|
|
Computational Complexity Theory and the Philosophy of Mathematics†.Walter Dean - 2019 - Philosophia Mathematica 27 (3):381-439.details
|
|
Hypatia's silence.Martin Fischer, Leon Horsten & Carlo Nicolai - 2021 - Noûs 55 (1):62-85.details
|
|
Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1-2):157-177.details
|
|
The Finitistic Consistency of Heck’s Predicative Fregean System.Luís Cruz-Filipe & Fernando Ferreira - 2015 - Notre Dame Journal of Formal Logic 56 (1):61-79.details
|
|
Things that can and things that cannot be done in PRA.Ulrich Kohlenbach - 2000 - Annals of Pure and Applied Logic 102 (3):223-245.details
|
|
Mathematical Intuition and Natural Numbers: A Critical Discussion. [REVIEW]Felix Mühlhölzer - 2010 - Erkenntnis 73 (2):265-292.details
|
|
A hierarchy of hereditarily finite sets.Laurence Kirby - 2008 - Archive for Mathematical Logic 47 (2):143-157.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
|
|
Kilka uwag o tezie Churcha i aksjomacie Hilberta.Adam Olszewski - 2006 - Zagadnienia Filozoficzne W Nauce 38.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
|
|
Different senses of finitude: An inquiry into Hilbert’s finitism.Sören Stenlund - 2012 - Synthese 185 (3):335-363.details
|
|
Finitary Set Theory.Laurence Kirby - 2009 - Notre Dame Journal of Formal Logic 50 (3):227-244.details
|
|
Critical study of Michael Potter’s Reason’s Nearest Kin. [REVIEW]Richard Zach - 2005 - Notre Dame Journal of Formal Logic 46 (4):503-513.details
|
|
Two (or three) notions of finitism.Mihai Ganea - 2010 - Review of Symbolic Logic 3 (1):119-144.details
|
|