- Towards a Philosophy of Real Mathematics.David Corfield - 2003 - New York: Cambridge University Press.details
|
|
Die Grundlagen der Mathematik.David Hilbert, Hermann Weyl & Paul Bernays - 2013 - Springer Verlag.details
|
|
Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl.Gottlob Frege - 1884 - Wittgenstein-Studien 3 (2):993-999.details
|
|
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.details
|
|
On the question of absolute undecidability.Peter Koellner - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Ithaca, NY: Association for Symbolic Logic. pp. 153-188.details
|
|
Die Grundlagen Der Arithmetik: Eine Logisch-Mathematische Untersuchung Über Den Begriff Der Zahl.Friedrich Ludwig Gottlob Frege - 1884 - W. Koebner.details
|
|
(1 other version)The search for certainty: a philosophical account of foundations of mathematics.Marcus Giaquinto - 2002 - New York: Oxford University Press.details
|
|
Is there a priori knowledge by testimony?Anna-Sara Malmgren - 2006 - Philosophical Review 115 (2):199-241.details
|
|
Intentional gaps in mathematical proofs.Don Fallis - 2003 - Synthese 134 (1-2):45 - 69.details
|
|
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
|
|
Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.details
|
|
Hilbert's program sixty years later.Wilfried Sieg - 1988 - Journal of Symbolic Logic 53 (2):338-348.details
|
|
A renaissance of empiricism in the recent philosophy of mathematics.Imre Lakatos - 1976 - British Journal for the Philosophy of Science 27 (3):201-223.details
|
|
Hilbert's epistemology.Philip Kitcher - 1976 - Philosophy of Science 43 (1):99-115.details
|
|
The Epistemic Status of Probabilistic Proof.Don Fallis - 1997 - Journal of Philosophy 94 (4):165-186.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
|
|
Content preservation.Tyler Burge - 1993 - Philosophical Review 102 (4):457-488.details
|
|
(1 other version)The iterative conception of set.George Boolos - 1971 - Journal of Philosophy 68 (8):215-231.details
|
|
(1 other version)From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.details
|
|
Hilbert's Program.M. Detlefsen - 1992 - Noûs 26 (4):513-514.details
|
|
Formalism.Michael Detlefsen - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press. pp. 236--317.details
|
|
What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians.Don Fallis - 2002 - Logique Et Analyse 45.details
|
|
Mathematical Problems. Lecture Delivered Before the International Congress of Mathematicians at Paris in 1900.David Hilbert, Mary Winston Newsom, Felix E. Browder, Donald A. Martin, G. Kreisel & Martin Davis - 1979 - Journal of Symbolic Logic 44 (1):116-119.details
|
|
Die grundlagen der arithmetik.Gottlob Frege - 1934 - Breslau,: M. & H. Marcus.details
|
|
Reply to "What Is the Goal of Proof?" by Aaron Lercher.Don Fallis - 2002 - Logique Et Analyse 45.details
|
|
Hilbert's program relativized: Proof-theoretical and foundational reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.details
|
|
Über Grenzzahlen und Mengenbereiche: Neue Untersuchungen über die Grundlagen der Mengenlehre.Ernst Zermelo - 1930 - Fundamenta Mathematicæ 16:29--47.details
|
|
David Hilbert. Mathematical problems. Lecture delivered before the International Congress of Mathematicians at Paris in 1900. A reprint of 1084 . Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 1–34. - Donald A. Martin. Hilbert's first problem: the continuum hypothesis. A reprint of 1084 . Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 81–92. - G. Kreisel. What have we learnt from Hilbert's second proble. [REVIEW]C. Smoryński - 1979 - Journal of Symbolic Logic 44 (1):116-119.details
|
|
[Omnibus Review].C. Smorynski - 1979 - Journal of Symbolic Logic 44 (1):116-119.details
|
|