- From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s.Paolo Mancosu (ed.) - 1997 - Oxford, England: Oxford University Press USA.details
|
|
Hilbert and Bernays on Metamathematics.P. Mancosu - 1998 - In ¸ Itemancosu1998. Oxford University Press. pp. 149--188.details
|
|
Hilbert's Finitism and the Notion of Infinity.Karl-Georg Niebergall & Matthias Schirn - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press.details
|
|
Finitism and intuitive knowledge.Charles Parsons - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press. pp. 249--270.details
|
|
Nested Recursion.W. W. Tait - 1963 - Journal of Symbolic Logic 28 (1):103-104.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 Programs: 1917–1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.details
|
|
Hilbert's program sixty years later.Wilfried Sieg - 1988 - Journal of Symbolic Logic 53 (2):338-348.details
|
|
Hilbert's iterativistic tendencies.Michael Hand - 1990 - History and Philosophy of Logic 11 (2):185-192.details
|
|
Ontology and the Vicious Circle Principle.Stanley C. Martens - 1976 - Philosophical Review 85 (2):256.details
|
|
Abhandlungen zur Philosophie der Mathematik.G. T. Kneebone & Paul Bernays - 1977 - Philosophical Quarterly 27 (106):72.details
|
|
Hilbert's epistemology.Philip Kitcher - 1976 - Philosophy of Science 43 (1):99-115.details
|
|
Grundlagen der Mathematik.S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (1):16-20.details
|
|
Grundlagen der Mathematik I.David Hilbert & Paul Bernays - 1968 - Springer.details
|
|
A number is the exponent of an operation.Michael Hand - 1989 - Synthese 81 (2):243 - 265.details
|
|
Hilbert's philosophy of mathematics.Marcus Giaquinto - 1983 - British Journal for the Philosophy of Science 34 (2):119-132.details
|
|
Grundlagen der Arithmetik: Studienausgabe mit dem Text der Centenarausgabe.Gottlob Frege - 1988 - Meiner, F.details
|
|
Hilbert's Program.M. Detlefsen - 1992 - Noûs 26 (4):513-514.details
|
|
Hilbert’s Program: An Essay on Mathematical Instrumentalism.Michael Detlefsen - 1986 - Dordrecht and Boston: Reidel.details
|
|
Ontology and the vicious-circle principle.Charles S. Chihara - 1973 - Ithaca [N.Y.]: Cornell University Press.details
|
|
Mathematical truth.Paul Benacerraf - 1973 - Journal of Philosophy 70 (19):661-679.details
|
|
Mathematical Truth.Paul Benacerraf, Michael Jubien & Philip Kitcher - 1987 - Journal of Symbolic Logic 52 (2):552-554.details
|
|
From Kant to Hilbert: a source book in the foundations of mathematics.William Ewald (ed.) - 1996 - New York: Oxford University Press.details
|
|
Grundlagen der Arithmetik: Studienausgabe mit dem Text der Centenarausgabe.Gottlob Frege - 1884 - Breslau: Wilhelm Koebner Verlag.details
|
|
Hilbert and the emergence of modern mathematical logic.Gregory H. Moore - 1997 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 12 (1):65-90.details
|
|
From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.details
|
|
The Philosophy of Mathematics Today.Matthias Schirn - 2000 - Tijdschrift Voor Filosofie 62 (1):180-181.details
|
|
The Philosophy of Mathematics Today.M. Schirn - 2000 - Studia Logica 64 (1):146-146.details
|
|
Du formalisme à la constructivité: le finitisme.Hourya Sinaceur - 1993 - Revue Internationale de Philosophie 47 (186):251-283.details
|
|