The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory

Synthese 147 (1):81-120 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s11229-004-6208-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hilbert and set theory.Burton Dreben & Akihiro Kanamori - 1997 - Synthese 110 (1):77-125.
The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.
Hilbert vindicated?Jaakko Hintikka - 1997 - Synthese 110 (1):15-36.
Husserl and Hilbert on completeness.Ulrich Majer - 1997 - Synthese 110 (1):37-56.
Reflections On Frege And Hilbert.Bernd Buldt, Volker Halbach & Reinhard Kahle - 2005 - Synthese 147 (1):1-2.
Mathematical proof theory in the light of ordinal analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.
Problems and riddles: Hilbert and the du Bois-reymonds.D. C. Mc Carty - 2005 - Synthese 147 (1):63-79.
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 & B. Göran Sundholm - 2012 - Springer.
The “sentence-type version” of the tenseless theory of time.Quentin Smith - 1999 - Synthese 119 (3):233-251.
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.

Analytics

Added to PP
2009-01-28

Downloads
44 (#351,290)

6 months
15 (#234,986)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Rathjen
University of Leeds

Citations of this work

Infinity and a Critical View of Logic.Charles Parsons - 2015 - Inquiry: An Interdisciplinary Journal of Philosophy 58 (1):1-19.
Constructive Type Theory, an appetizer.Laura Crosilla - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
Set theory: Constructive and intuitionistic ZF.Laura Crosilla - 2010 - Stanford Encyclopedia of Philosophy.

View all 6 citations / Add more citations

References found in this work

Realism in mathematics.Penelope Maddy - 1990 - New York: Oxford University Prress.
Philosophy of Mathematics and Natural Science.Hermann Weyl - 1949 - Princeton, N.J.: Princeton University Press. Edited by Olaf Helmer-Hirschberg & Frank Wilczek.
Naturalism in mathematics.Penelope Maddy - 1997 - New York: Oxford University Press.
Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.

View all 46 references / Add more references