The Gödelian Challenge
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).
KeywordsIdeal Method Incompleteness Theorem Ideal Mathematic Soundness Proof Elementary Number Theory
Unable to display preview. Download preview PDF.
- 4.Another clear exception is Resnik . Kreisel too shows some sensitivity to the point in [1958, 1971, 1976] and in his joint pieces with Takeuti , and Levy . Finally, there are allusions to such a problem in Feferman , pp. 36–40).Google Scholar