The Debates on Infinity: A Mathematical History Approach

Authors

  • Jiayi Guo

DOI:

https://doi.org/10.54097/8fz01096

Keywords:

Gödel incompleteness theorem; Zermelo–Fraenkel set theory; Infinity.

Abstract

Calculus and set theory sparked centuries of debate on infinity, which continues today. After discovering paradoxes and inconsistencies, mathematicians and philosophers questioned the underlying systems and conceptions of the infinite. Today, we easily use the infinity sign in our academic work. We often forget infinity's turbulent debut in our contemporary use of the term. David Hilbert wrote "On the Infinite" in the 1920s to persuade sceptics to embrace and use infinity. Gödel and his second incompleteness theorem defeated him very quickly. Beyond Gödel's claim of system inconsistency, Hilbert's theory neglected two factors when seen from a current viewpoint. First is the genuine nature of actual infinity, and second is Zermelo-Fraenkel's (ZF) axiom-based refined set theory. This article will look into the these great achievements and argue the deficiencies of them.

Downloads

Download data is not yet available.

References

Luis E, Moreno A, Waldegg G. The conceptual evolution of actual mathematical infinity. Educational Studies in Mathematics. 1991, 22(3): 211-31.

Stewart I. From here to infinity. Oxford Paperbacks. 1996.

Sondheimer EH, Rogerson A. Numbers and infinity: a historical account of mathematical concepts. Courier Corporation. 2006.

Hilbert D. On the infinite. Mathematische annalen. 1926, 95:161-90.

Gödel K. Kurt Gödel: collected works: volume I: publications 1929-1936. Oxford University Press, USA. 1986.

Gödel K. Kurt Gödel: Collected Works: Volume III: Unpublished Essays and Lectures. Oxford University Press, USA. 1986.

Gödel K. Kurt Gödel: Collected Works: Volume IV: Selected Correspondence, AG. Clarendon Press; 2014.

Pincus D. Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods. The Journal of Symbolic Logic. 1972, 37(4):721-43.

Levey S. Leibniz on mathematics and the actually infinite division of matter. The Philosophical Review. 1998, 107(1):49-96.

Boolos G. The iterative conception of set. The Journal of philosophy. 1971, 22: 215-31.

Friedman H. The consistency of classical set theory relative to a set theory with intu1tionistic logic1. The Journal of Symbolic Logic. 1973, 38(2):315-9.

Joyal A, Moerdijk I. Algebraic set theory. Cambridge University Press; 1995.

Downloads

Published

29-03-2024