Abstract
In his truly remarkable paper of 1931, Kurt Gödel casts grave doubts on the viability of Hilbert’s program for providing a consistent foundation for mathematics. In addition, it compelled logicians to view their subject through entirely new lenses. Two years later, Gödel was invited by the Mathematical Association of America to address one of its meetings. In his address, he spoke as follows:
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Gödel [5].
- 2.
See the Appendix for a list of the Zermelo-Fraenkel axioms.
- 3.
See [2, pp. 331–339].
- 4.
- 5.
- 6.
Gödel [7].
- 7.
To prove that the existence of inaccessible cardinals cannot be proved from the ZF axioms, one observes that a model of ZF could be defined using a set of that cardinality. The existence of such a model would imply that the ZF axioms are consistent. Since the entire proof could be carried out within the scope of the ZF axioms, this is impossible because, as Gödel has shown, if the ZF axioms are consistent, their consistency cannot be proved within a system based on those axioms.
- 8.
See [8] which discusses the historical development of the study of “large” cardinals as well as their inter-relationships. The “Chart of Cardinals” on p. 472 shows the variety of inhabitants of this remarkable zoo of larger and larger sets.
- 9.
This section and the next are based on [9].
- 10.
See the Appendix. Almost everything in ordinary mathematics can be carried out without the final axiom of “Collection.” But Martin’s proof requires this axiom.
- 11.
Gödel [6, p. 307].
References
Davis, Martin, “Unsolvable Problems,” in Jon Barwise, ed., Handbook of Mathematical Logic, North-Holland 1977, pp. 567–594.
Davis, Martin, Yuri Matijasevic, and Julia Robinson, “Hilbert’s Tenth Problem: Diophantine Equations: Positive Aspects of a Negative Solution,” Proceedings of Symposia in Pure Mathematics, vol.28(1976), pp. 323–378; Reprinted in Feferman, Solomon, ed. The Collected Works of Julia Robinson, Amer. Math. Soc. 1996, pp.269–378.
Friedman, Harvey, “Finite Functions and the Necessary Use of Large Cardinals,” Annals of Math., vol. 148(1998), pp. 803–893.
Friedman, Harvey, “Mathematically Natural Concrete Incompleteness,” https://u.osu.edu/friedman.8/files/2014/01/Putnam062115pdf-15ku867.pdf. To appear in a volume devoted to Hilary Putnam in the series: Outstanding Contributions to Logic, Sven Ove Hansson, editor-in-chief.
Gödel, Kurt, “The Present Situation in the Foundations of Mathematics,” in Solomon Feferman, et al, eds., Collected Works, vol. III, Oxford 1995, pp. 45–53.
Gödel, Kurt, “Some Basic Theorems on the Foundations of Mathematics and Their Implication,” in Solomon Feferman, et al, eds., Collected Works, vol. III, Oxford 1995, pp. 304–323.
Gödel, Kurt, “What Is Cantor’s Continuum Problem?” in Solomon Feferman, et al, eds., Collected Works, vol. II, Oxford 1995, pp. 176–187.Revised Version: pp. 254–270.
Kanamori, Akihiro, The Higher Infinite, Second Edition, Springer 2005.
Martin, Donald, “Descriptive Set Theory: Projective Sets,” in Jon Barwise, ed., Handbook of Mathematical Logic, North-Holland 1977, pp. 783–815.
Poonen, Bjorn, “Undecidable Problems: a Sampler” in J. Kennedy, ed., Interpreting Gödel: Critical Essays, Cambridge 2014), pp. 211–241.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Appendix: The Zermelo-Fraenkel Axioms
Appendix: The Zermelo-Fraenkel Axioms
For brevity, I have omitted universal quantifiers at the left of these statements. The axioms of separation and collection are each really an infinite sequence of axioms in which the letter ϕ can be replaced by any legitimate formula written in terms of logical operations and the symbols occurring in the other axioms.
Empty set | x ∉ ∅ |
---|---|
Extensionality | \(\forall t\,(t \in x \leftrightarrow t \in y) \rightarrow x = y\) |
Pairs | t ∈ {x, y} ↔ t = x ∨ t = y |
Definition | {x} = {x, x} ; < x, y > = {{ x}, {x, y}} |
Definition | \(x \subseteq y\Longleftrightarrow\forall t\! \in \! x\,(t \in y)\) |
Power | \(t \in \mathcal{P}(x) \leftrightarrow t \subseteq x\) |
Union | \(t \in \bigcup x \leftrightarrow \exists z\! \in \! x\,(t \in z)\) |
Definition | \(x \cup y =\bigcup \{ x,y\}\) |
Infinity | ∅ ∈ ω ; x ∈ ω → x ∪{ x} ∈ ω |
Separation | \(\forall u\exists x\forall t\,[t \in x \leftrightarrow t \in u \wedge \phi (t,\vec{p}\,)]\) |
Definition | Fn(f) ⇔ < x, y 1 >, < x, y 2 > ∈ f → y 1 = y 2 |
f(x) = y⇔ < x, y > ∈ f | |
Choice | \(\forall x\exists f\,(\mbox{ Fn}(f) \wedge \forall z\! \in \! x\,[z\neq \emptyset \rightarrow f(z) \in z)])\) |
Foundation | \(x\neq \emptyset \rightarrow \exists y\! \in \! x\forall z\! \in \! y\,(z\not\in x)\) |
Collection | \(\forall x\! \in \! u\exists y\phi (x,y,\vec{p}) \rightarrow \exists z\forall x\! \in \! u\exists y\! \in \! z\phi (x,y,\vec{p})\) |
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Davis, M. (2017). Gödel’s Legacy. In: Sriraman, B. (eds) Humanizing Mathematics and its Philosophy. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-61231-7_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-61231-7_18
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-319-61230-0
Online ISBN: 978-3-319-61231-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)