- Towards a new philosophical perspective on Hermann Weyl’s turn to intuitionism.Kati Kish Bar-On - 2021 - Science in Context 34 (1):51-68.details
|
|
Three Letters on the Foundations of Mathematics by Frank Plumpton Ramsey†.Paolo Mancosu - forthcoming - Philosophia Mathematica.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
The Genealogy of ‘∨’.Landon D. C. Elkind & Richard Zach - 2022 - Review of Symbolic Logic 16 (3):862-899.details
|
|
True Turing: A Bird’s-Eye View.Edgar Daylight - 2024 - Minds and Machines 34 (1):29-49.details
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Dedekind’s Analysis of Number: Systems and Axioms.Wilfried Sieg & Dirk Schlimm - 2005 - Synthese 147 (1):121-170.details
|
|
Effective Computation by Humans and Machines.Shagrir Oron - 2002 - Minds and Machines 12 (2):221-240.details
|
|
Hilbert's Programs: 1917–1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.details
|
|
On the Digital Ocean.Sarah Pourciau - 2022 - Critical Inquiry 48 (2):233-261.details
|
|
On the meaning of Hilbert's consistency problem (paris, 1900).Enrico Moriconi - 2003 - Synthese 137 (1-2):129 - 139.details
|
|
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.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
|
|
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
|
|
The Russellian influence on Hilbert and his school.Paolo Mancosu - 2003 - Synthese 137 (1-2):59 - 101.details
|
|