Abstract
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).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Notes
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).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Detlefsen, M. (1986). The Gödelian Challenge. In: Hilbert’s Program. Synthese Library, vol 182. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-7731-1_3
Download citation
DOI: https://doi.org/10.1007/978-94-015-7731-1_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-8420-0
Online ISBN: 978-94-015-7731-1
eBook Packages: Springer Book Archive