- Self-Graphing Equations.Samuel Alexander - manuscriptdetails
- Leibniz's and Kant's Philosophical Ideas Vs. Hilbert's Program.Roman Murawski - unknown - Poznan Studies in the Philosophy of the Sciences and the Humanities 98:29-39.details
- Frege, Hankel, and Formalism in the Foundations.Richard Lawrence - 2021 - Journal for the History of Analytical Philosophy 9 (11).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
- The Relationship of Arithmetic As Two Twin Peano Arithmetic(s) and Set Theory: A New Glance From the Theory of Information.Vasil Penchev - 2020 - Metaphilosophy eJournal (Elseviers: SSRN) 12 (10):1-33.details
- All Science as Rigorous Science: The Principle of Constructive Mathematizability of Any Theory.Vasil Penchev - 2020 - Logic and Philosophy of Mathematics eJournal 12 (12):1-15.details
- Why Logical Pluralism?Colin R. Caret - 2019 - Synthese 198 (Suppl 20):4947-4968.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
- A Case Study of Misconceptions Students in the Learning of Mathematics; The Concept Limit Function in High School.Widodo Winarso & Toheri Toheri - 2017 - Jurnal Riset Pendidikan Matematika 4 (1): 120-127.details
- Laplacian Growth Without Surface Tension in Filtration Combustion: Analytical Pole Solution.Oleg Kupervasser - 2016 - Complexity 21 (5):31-42.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
- Hilbert Program of Formalism as a Working Philosophical Direction for Consideration of the Bases of Mathematics.N. V. Mikhailova - 2015 - Liberal Arts in Russiaроссийский Гуманитарный Журналrossijskij Gumanitarnyj Žurnalrossijskij Gumanitaryj Zhurnalrossiiskii Gumanitarnyi Zhurnal 4 (6):534.details
- Fourteen Arguments in Favour of a Formalist Philosophy of Real Mathematics.Karlis Podnieks - 2015 - Baltic Journal of Modern Computing 3 (1):1-15.details
- Hilbert's Objectivity.Lydia Patton - 2014 - Historia Mathematica 41 (2):188-203.details
- Why Did Weyl Think That Formalism's Victory Against Intuitionism Entails a Defeat of Pure Phenomenology?Iulian D. Toader - 2014 - History and Philosophy of Logic 35 (2):198-208.details
- Alan Weir , Truth Through Proof: A Formalist Foundation for Mathematics . Reviewed By.Julian C. Cole - 2012 - Philosophy in Review 32 (6):529-532.details
- Truth Through Proof: A Formalist Foundation for Mathematics * by Alan Weir.Z. Damnjanovic - 2012 - Analysis 72 (2):415-418.details
- Curtis Franks. The Autonomy of Mathematical Knowledge: Hilbert's Program Revisted. Cambridge: Cambridge University Press, 2009. Isbn 978-0-521-51437-8. Pp. XIII+213. [REVIEW]S. Feferman - 2012 - Philosophia Mathematica 20 (3):387-400.details
- Hilbert Versus Hindman.Jeffry L. Hirst - 2012 - Archive for Mathematical Logic 51 (1-2):123-125.details
- Craig Smorynski. Adventures in Formalism. London: College Publications, 2012. Isbn 978-1-84890-060-8. Pp. XII + 606.R. Jones - 2012 - Philosophia Mathematica 20 (3):401-403.details
- Different Senses of Finitude: An Inquiry Into Hilbert’s Finitism.Sören Stenlund - 2012 - Synthese 185 (3):335-363.details
- Alan Weir. Truth Through Proof: A Formalist Foundation for Mathematics. Oxford: Clarendon Press, 2010. ISBN 978-0-19-954149-2. Pp. Xiv&Plus;281: Critical Studies/Book Reviews. [REVIEW]John P. Burgess - 2011 - Philosophia Mathematica 19 (2):213-219.details
- Неразрешимост на първата теорема за непълнотата. Гьоделова и Хилбертова математика.Vasil Penchev - 2010 - Philosophical Alternatives 19 (5):104-119.details
- Truth Through Proof: A Formalist Foundation for Mathematics.Alan Weir - 2010 - Oxford, England: Oxford University Press.details
- Hilbert, Logicism, and Mathematical Existence.José Ferreirós - 2009 - Synthese 170 (1):33 - 70.details
- The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited.Curtis Franks - 2009 - Cambridge University Press.details
- Rendering Conditionals in Mathematical Discourse with Conditional Elements.Joseph S. Fulda - 2009 - Journal of Pragmatics 41 (7):1435-1439.details
- Does Truth Equal Provability in the Maximal Theory?Luca Incurvati - 2009 - Analysis 69 (2):233-239.details
- Introduction: The Three Foundational Programmes.Sten Lindström & Erik Palmgren - 2009 - In Sten Lindström, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.), Logicism, Intuitionism and Formalism: What has become of them? Springer.details
- The Epsilon Calculus.Jeremy Avigad & Richard Zach - 2008 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Center for the Study of Language and Information, Stanford University.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
- Logicism, Intuitionism, and Formalism - What has Become of Them?Sten Lindstr©œm, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) - 2008 - Berlin, Germany: Springer.details
- Waismann's Critique of Wittgenstein.Anthony Birch - 2007 - Analysis and Metaphysics 6:263-272.details
- A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices.Yehuda Rav - 2007 - Philosophia Mathematica 15 (3):291-320.details
- Axiomatics and Problematics as Two Modes of Formalisation: Deleuze's Epistemology of Mathematics'.Daniel W. Smith - 2006 - In Simon B. Duffy (ed.), Virtual Mathematics: The Logic of Difference. Clinamen. pp. 145--168.details
- How to Nominalize Formalism &Dagger.Jody Azzouni - 2005 - Philosophia Mathematica 13 (2):135-159.details
- Formalism.Michael Detlefsen - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press. pp. 236--317.details
- Hilbert Et la Notion D’Existence En Mathématiques.Yvon Gauthier - 2005 - Dialogue 44 (2):399-402.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
- On the Meaning of Hilbert's Consistency Problem (Paris, 1900).Enrico Moriconi - 2003 - Synthese 137 (1-2):129 - 139.details
- The Pragmatism of Hilbert's Programme.Volker Peckhaus - 2003 - Synthese 137 (1-2):141 - 156.details
- Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1):157-177.details
- Hilbert’s Program.Richard Zach - 2003 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Center for the Study of Language and Information, Stanford University.details
- What Does Gödel's Second Theorem Say?Michael Detlefsen - 2001 - Philosophia Mathematica 9 (1):37-71.details
- Proof-Theoretic Reduction as a Philosopher's Tool.Thomas Hofweber - 2000 - Erkenntnis 53 (1-2):127-146.details
- Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.details
- Constructive Existence Claims.Michael Detlefsen - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today. Clarendon Press. pp. 1998--307.details
- Review of R. Hersh, What is Mathematics, Really?.F. Richman - 1998 - Philosophia Mathematica 6 (2):245-255.details
- Numbers and Functions in Hilbert's Finitism.Richard Zach - 1998 - Taiwanese Journal for History and Philosophy of Science 10:33-60.details
|
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
|
|