Hilbert on Consistency as a Guide to Mathematical Reality

Logique Et Analyse 237:107-128 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
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, logicism, and mathematical existence.José Ferreirós - 2009 - Synthese 170 (1):33 - 70.
Mathematical instrumentalism, Gödel’s theorem, and inductive evidence.Alexander Paseau - 2011 - Studies in History and Philosophy of Science Part A 42 (1):140-149.
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.
On the meaning of Hilbert's consistency problem (paris, 1900).Enrico Moriconi - 2003 - Synthese 137 (1-2):129 - 139.
Philosophical and methodological problem of consistency of mathematical theories.N. V. Michailova - 2013 - Liberal Arts in Russia 2 (6):552--560.
Hilbert program of formalism as a working philosophical direction for consideration of the bases of mathematics.N. V. Mikhailova - 2015 - Liberal Arts in Russia 4 (6):534.
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.
Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.
The Pursuit of Rigor: David Hilbert's Early Philosophy of Mathematics.Yoshinori Ogawa - 2002 - Dissertation, The University of British Columbia (Canada)
From Consistency to Incompleteness: A Philosophical Study of Hilbert's Program and Goedel's Incompleteness Theorem.Byoung-il Choi - 1997 - Dissertation, University of California, Berkeley
Hilbert's Objectivity.Lydia Patton - 2014 - Historia Mathematica 41 (2):188-203.
Hilbert’s Program: An Essay on Mathematical Instrumentalism.Michael Detlefsen - 1986 - Dordrecht and Boston: Reidel.
Hilberts Logik. Von der Axiomatik zur Beweistheorie.Volker Peckhaus - 1995 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 3 (1):65-86.
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.
Proof-theoretic reduction as a philosopher's tool.Thomas Hofweber - 2000 - Erkenntnis 53 (1-2):127-146.

Analytics

Added to PP
2020-01-30

Downloads
896 (#16,034)

6 months
264 (#8,985)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Fiona T Doherty
University of Notre Dame

Citations of this work

Against Fregean Quantification.Bryan Pickel & Brian Rabern - 2023 - Ergo: An Open Access Journal of Philosophy 9 (37):971-1007.

Add more citations

References found in this work

Science and method.Henri Poincaré - 1914 - New York]: Dover Publications. Edited by Francis Maitland.
Set Theory and its Philosophy: A Critical Introduction.Michael D. Potter - 2004 - Oxford, England: Oxford University Press.
Science and method.Henri Poincaré - 1914 - Mineola, N.Y.: Dover Publications. Edited by Francis Maitland.
Frege and Hilbert on Consistency.Patricia A. Blanchette - 1996 - Journal of Philosophy 93 (7):317-336.

View all 12 references / Add more references