- 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
|
|
Theological Underpinnings of the Modern Philosophy of Mathematics.Vladislav Shaposhnikov - 2016 - Studies in Logic, Grammar and Rhetoric 44 (1):147-168.details
|
|
Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1-2):157-177.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
|
|
Historical development of the foundations of mathematics: Course description.Robert L. Brabenec - 1994 - Science & Education 3 (3):295-309.details
|
|
Weimar culture and quantum causality.John Hendry - 1980 - History of Science 18 (3):155-180.details
|
|
Zionist Internationalism through Number Theory: Edmund Landau at the Opening of the Hebrew University in 1925.Leo Corry & Norbert Schappacher - 2010 - Science in Context 23 (4):427-471.details
|
|
Egg-Forms and Measure-Bodies: Different Mathematical Practices in the Early History of the Modern Theory of Convexity.Tinne Hoff Kjeldsen - 2009 - Science in Context 22 (1):85-113.details
|
|
Book Reviews. [REVIEW]Victor Rodych - 1995 - Philosophia Mathematica 3 (3):271-288.details
|
|
Hilbert's Axiomatics as ‘Symbolic Form’?Rossella Lupacchini - 2014 - Perspectives on Science 22 (1):1-34.details
|
|
Wittgenstein & Paraconsistência.João Marcos - 2010 - Principia: An International Journal of Epistemology 14 (1):135-73.details
|
|
Different senses of finitude: An inquiry into Hilbert’s finitism.Sören Stenlund - 2012 - Synthese 185 (3):335-363.details
|
|
‘Metamathematics’ in Transition.Matthias Wille - 2011 - History and Philosophy of Logic 32 (4):333 - 358.details
|
|
Hilberts Logik. Von der Axiomatik zur Beweistheorie.Volker Peckhaus - 1995 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 3 (1):65-86.details
|
|
Hilbert, logicism, and mathematical existence.José Ferreirós - 2009 - Synthese 170 (1):33 - 70.details
|
|
Relative consistency and accessible domains.Wilfried Sieg - 1990 - Synthese 84 (2):259 - 297.details
|
|
Foundations for analysis and proof theory.Wilfried Sieg - 1984 - Synthese 60 (2):159 - 200.details
|
|
The mathematical foundations of quantum mechanics.David A. Edwards - 1979 - Synthese 42 (1):1 - 70.details
|
|
Mind, Mathematics and the I gnorabimusstreit.Neil Tennant - 2007 - British Journal for the History of Philosophy 15 (4):745 – 773.details
|
|
The last mathematician from Hilbert's göttingen: Saunders Mac Lane as philosopher of mathematics.Colin McLarty - 2007 - British Journal for the Philosophy of Science 58 (1):77-112.details
|
|
Hilbert's philosophy of mathematics.Marcus Giaquinto - 1983 - British Journal for the Philosophy of Science 34 (2):119-132.details
|
|
Problems and riddles: Hilbert and the du Bois-reymonds.D. C. Mc Carty - 2005 - Synthese 147 (1):63-79.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
|
|
Reconstructing the Unity of Mathematics circa 1900.David J. Stump - 1997 - Perspectives on Science 5 (3):383-417.details
|
|
Searches for the origins of the epistemological concept of model in mathematics.Gert Schubring - 2017 - Archive for History of Exact Sciences 71 (3):245-278.details
|
|
Perspective on Hilbert.David E. Rowe - 1997 - Perspectives on Science 5 (4):533-570.details
|
|
Semiotic analysis of symbolic logic using tagmemic theory: with implications for analytic philosophy.Vern S. Poythress - 2021 - Semiotica 2021 (243):171-186.details
|
|
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry.Roman Kossak - 2018 - Cham, Switzerland: Springer Verlag.details
|
|
Algebraic Structures of Mathematical Foundations.Robert Murray Jones - 2018 - Open Journal of Philosophy 8 (4):401-407.details
|
|
Gödel’s Incompleteness Theorem and the Anti-Mechanist Argument: Revisited.Yong Cheng - 2020 - Studia Semiotyczne 34 (1):159-182.details
|
|
Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston Universitydetails
|
|
What is truth?Arhat Singh Virdi - unknowndetails
|
|