The Gödelian Challenge

  • Michael Detlefsen
Part of the Synthese Library book series (SYLI, volume 182)


The primary goal of this chapter is to give a careful statement of what, for want of a more descriptive title, we refer to as the Standard Argument against Hilbert’s Program (or the SA, for short). This argument, as the title of the chapter suggests, is that which is derived from Gödel’s Second Incompleteness Theorem (or G2, as we shall refer to it from here on out).


Ideal Method Incompleteness Theorem Ideal Mathematic Soundness Proof Elementary Number Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 4.
    Another clear exception is Resnik [1974]. Kreisel too shows some sensitivity to the point in [1958, 1971, 1976] and in his joint pieces with Takeuti [1974], and Levy [1968]. Finally, there are allusions to such a problem in Feferman [1960], pp. 36–40).Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1986

Authors and Affiliations

  • Michael Detlefsen
    • 1
  1. 1.Department of PhilosophyUniversity of Notre DameUSA

Personalised recommendations