- Fermat’s last theorem proved in Hilbert arithmetic. I. From the proof by induction to the viewpoint of Hilbert arithmetic.Vasil Penchev - 2021 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 13 (7):1-57.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston Universitydetails
|
|
El enfoque epistemológico de David Hilbert: el a priori del conocimiento y el papel de la lógica en la fundamentación de la ciencia.Rodrigo Lopez-Orellana - 2019 - Principia: An International Journal of Epistemology 23 (2):279-308.details
|
|
The good, the bad and the ugly.Philip Ebert & Stewart Shapiro - 2009 - Synthese 170 (3):415-441.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
Different senses of finitude: An inquiry into Hilbert’s finitism.Sören Stenlund - 2012 - Synthese 185 (3):335-363.details
|
|
Two (or three) notions of finitism.Mihai Ganea - 2010 - Review of Symbolic Logic 3 (1):119-144.details
|
|
How to Say Things with Formalisms.David Auerbach - 1992 - In Michael Detlefsen (ed.), Proof, Logic and Formalization. London, England: Routledge. pp. 77--93.details
|
|
The Inferential Significance of Frege’s Assertion Sign.Mitchell S. Green - 2002 - Facta Philosophica 4 (2):201-229.details
|
|
Abstract mathematical tools and machines for mathematics.Jean-Pierre Marquis - 1997 - Philosophia Mathematica 5 (3):250-272.details
|
|
Nominalistic metalogic.Ken Akiba - 1998 - Journal of Philosophical Logic 27 (1):35-47.details
|
|
Numbers and functions in Hilbert's finitism.Richard Zach - 1998 - Taiwanese Journal for History and Philosophy of Science 10:33-60.details
|
|
We hold these truths to be self-evident: But what do we mean by that?: We hold these truths to be self-evident.Stewart Shapiro - 2009 - Review of Symbolic Logic 2 (1):175-207.details
|
|
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.details
|
|
(2 other versions)Philosophy of mathematics.Jeremy Avigad - manuscriptdetails
|
|
Hilbert vindicated?Jaakko Hintikka - 1997 - Synthese 110 (1):15-36.details
|
|
Hilbert izlencesinin izinde adcılık adına yeni bulgular.Besim Karakadılar - manuscriptdetails
|
|
Think about the Consequences! Nominalism and the Argument from the Philosophy of Logic.Torsten Wilholt - 2006 - Dialectica 60 (2):115-133.details
|
|
On the Concept of Finitism.Luca Incurvati - 2015 - Synthese 192 (8):2413-2436.details
|
|
The Paradox of the Knower revisited.Walter Dean & Hidenori Kurokawa - 2014 - Annals of Pure and Applied Logic 165 (1):199-224.details
|
|
Perspective on Hilbert.David E. Rowe - 1997 - Perspectives on Science 5 (4):533-570.details
|
|
Non-ontological Structuralism†.Michael Resnik - 2019 - Philosophia Mathematica 27 (3):303-315.details
|
|
Three Schools of Paraconsistency.Koji Tanaka - 2003 - Australasian Journal of Logic 1:28-42.details
|
|
On an alleged refutation of Hilbert's program using gödel's first incompleteness theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.details
|
|
Fundamental results for pointfree convex geometry.Yoshihiro Maruyama - 2010 - Annals of Pure and Applied Logic 161 (12):1486-1501.details
|
|
Against ontological reduction.Frederick W. Kroon - 1992 - Erkenntnis 36 (1):53 - 81.details
|
|
The Gödelian Inferences.Curtis Franks - 2009 - History and Philosophy of Logic 30 (3):241-256.details
|
|
O nadużywaniu twierdzenia Gödla w sporach filozoficznych.Krzysztof Wójtowicz - 1996 - Zagadnienia Filozoficzne W Nauce 19.details
|
|