The Importance of Gödel's Second Incompleteness Theorem for the Foundations of Mathematics

Dissertation, The Johns Hopkins University (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

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

Godel's theorem and mechanism.David Coder - 1969 - Philosophy 44 (September):234-7.
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
The Reconstruction of the First K. Goedel's Incompleteness Theorem.Vitaly Filippovski - 2009 - Analytica 3:37-77.
Justifying and Exploring Realistic Monism.Paul Budnik - manuscript
On the philosophical relevance of Gödel's incompleteness theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
Goedel theorem of incompleteness.I. Aimonetto - 1993 - Filosofia 44 (1):113-136.
The Surprise Examination Paradox and the Second Incompleteness Theorem.Shira Kritchman & Ran Raz - unknown
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.
A generalization of the Second Incompleteness Theorem and some exceptions to it.Dan E. Willard - 2006 - Annals of Pure and Applied Logic 141 (3):472-496.
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
Query the Triple Loophole of the Proof of Gödel Incompleteness Theorem.FangWen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:77-94.
Goedel's theorem, the theory of everything, and the future of science and mathematics.Douglas S. Robertson - 2000 - Complexity 5 (5):22-27.
Fromal statements of Godel's second incompleteness theorem.Harvey Friedman - manuscript
Yesterday’s Algorithm: Penrose and the Gödel Argument.William Seager - 2003 - Croatian Journal of Philosophy 3 (9):265-273.
The foundations of the goedel theorem-from peano to Frege and Russell.I. Aimonetto - 1988 - Filosofia 39 (3):231-249.

Analytics

Added to PP
2015-02-06

Downloads
1 (#1,905,242)

6 months
1 (#1,478,551)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Michael Detlefsen
Last affiliation: University of Notre Dame

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references