2000 character limit reached
Intuitive but Non-Rigorous Explanations of Infinite Numbers (2401.07346v1)
Published 14 Jan 2024 in math.HO
Abstract: The mathematical study of infinity seems to have the ability to transport the mind to lofty and unusual realms. Decades ago, I was transported in this way by Rudy Rucker's book Infinity and the Mind. Despite much subsequent learning and teaching of mathematics in the service of physics and astronomy, there remained quite a few aspects of the "higher infinities" that I was still far from comprehending. Thus, I wanted to dive back in to understand those ideas and to find good ways to explain them to other non-specialists. These notes are an attempt to do this. They begin by discussing huge (but still describable) finite numbers, then they proceed to the concepts of fixed points, Cantor's countably infinite ordinals, transfinite cardinals and the continuum hypothesis, and then to more recent attempts to define still-larger infinities called large cardinals. I should warn the reader that the author is an astrophysicist, so these pedagogic explanations may not be satisfying (or anywhere nearly sufficiently rigorous) to a mathematician. Still, I hope these explanations provide some intuitive insights about concepts that are too large to fit in the physical universe.
- Augenstein, B. W. 1984, “Hadron physics and transfinite set theory,” Int. J. Theoretical Phys., 23, 1197–1205 [DOI]
- Baez, J. C. 2016, “Large countable ordinals (part 1),” johncarlosbaez.wordpress.com, the blog of the Azimuth Project [URL]
- Bagaria, J. 2013, “Set theory: An introduction to the world of large cardinals,” online lecture notes, Nordic Spring School in Logic 2013 [URL]
- Bagaria, J. 2023, “Large cardinals as principles of structural reflection,” Bull. Symbolic Logic, 29, 19–70 [DOI] [URL]
- Cantor, G. 1883, “Ueber unendliche, lineare Punktmannichfaltigkeiten,” Math Annalen., 21, 545–591 [DOI]
- Corless, R. M., Gonnet, G. H., Hare, D. E. G., Jeffrey, D. J., & Knuth, D. E. 1996, “On the Lambert W𝑊Witalic_W function,” Adv. Comput. Math., 5, 329–359 [DOI]
- Cranmer, S. R. 2004, “New views of the solar wind with the Lambert W𝑊Witalic_W function,” Am. J. Phys., 72, 1397–1403 [ADS]
- Davis, T. 2000, “Infinity,” Mathematical Circles web page [URL]
- Dehornoy, P. 1995, “From large cardinals to braids vis distributive algebra,” J. Knot Theory & Ramific., 4, 33–79 [DOI]
- Easton, W. 1970, “Powers of regular cardinals,” Ann. Math. Logic, 1, 139–178 [DOI]
- El Naschie, M. S. 2002, “Quantum loops, wild topology and fat Cantor sets in transfinite high-energy physics,” Chaos, Solitons & Fractals, 13, 1167–1174 [DOI]
- Erdős, P., & Tarski, A. 1961, “On some problems involving inaccessible cardinals,” in Essays on the Foundations of Mathematics, ed. Y. Bar-Hillel, E. Poznanski, M. Rabin, & A. Robinson (Jerusalem: Magnes Press), 50–82
- Foreman, M., Magidor, M., & Shelah, S. 1988, “Martin’s maximum, saturated ideals, and non-regular ultrafilters: Part I,” Annals Math., 2nd series, 127, 1–47 [DOI]
- Gardner, M. 1977, “Mathematical Games” (November 1977), Scientific American, 237, 18–28 [DOI]
- Gobet, F., Lane, P. C. R., Croker, S., Cheng, P. C. H., Jones, G., Oliver, I., & Pine, J. M. 2001, “Chunking mechanisms in human learning,” Trends in Cogn. Sci., 5, 236–243 [DOI]
- Gödel, K. 1947, “What is Cantor’s continuum problem?” Am. Math. Monthly, 54, 515–525 [DOI]
- Goodstein, R. L. 1947, “Transfinite ordinals in recursive number theory,” J. Symbolic Logic, 12, 123–129 [DOI]
- Hanf, W. P., & Scott, D. S. 1961, “Classifying inaccessible cardinals,” Not. Am. Math. Soc., 8, 445
- Hausdorff, F. 1908, “Grundzüge einer Theorie der geordneten Mengen,” Math. Annalen, 65, 435–505 [DOI]
- Hilbert, D. 1926, “Über das Unendliche,” Math Annalen., 95, 161–190 [DOI]
- Honzik, R. 2017, “Large cardinals and the continuum hypothesis,” in The Hyperuniverse Project and Maximality, ed. C. Antos, S.-D. Friedman, R. Honzik, C. Ternullo (Cham, Switzerland: Springer), 205–226 [DOI]
- Jensen, R., & Kunen, K. 1969, “Some combinatorial properties of L𝐿Litalic_L and V𝑉Vitalic_V,” unpublished manuscript [URL]
- Jogalekar, A. 2013, “An eternity of infinities: the power and beauty of mathematics,” The Curious Wavefunction, a Scientific American blog [URL]
- Knoebel, R. A. 1981, “Exponentials reiterated,” Am. Math. Monthly, 88, 235–252 [DOI]
- Knuth, D. E. 1976, “Mathematics and computer science: Coping with finiteness,” Science, 194, 1235–1242 [DOI]
- Koellner, P. 2014, “Large cardinals and determinacy,” in the Stanford Encyclopedia of Philosophy (Spring 2014 Edition), ed. E. Zalta [URL]
- Kragh, H. 2014, “The true (?) story of Hilbert’s infinite hotel,” preprint, arXiv:1403.0059 [URL]
- Lévy, A. 1965, “A hierarchy of formulas in set theory,” Mem. Am. Math. Soc., 57, 76
- Magidor, M. 1971, “On the role of supercompact and extendible cardinals in logic,” Israel J. Math., 10, 147–157 [DOI]
- Mahlo, P. 1911, “Über lineare transfinite Mengen,” Berichte über die Verhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig, 63, 187–225 [JFM]
- Marks, A. 2021, “Set Theory,” online lecture notes [URL]
- Maurer, H. 1901, “Über die Funktion y=x[x[x(⋯)]]𝑦superscript𝑥delimited-[]superscript𝑥delimited-[]𝑥⋯y=x^{[x^{[x(\cdots)]}]}italic_y = italic_x start_POSTSUPERSCRIPT [ italic_x start_POSTSUPERSCRIPT [ italic_x ( ⋯ ) ] end_POSTSUPERSCRIPT ] end_POSTSUPERSCRIPT für ganzzahliges Argument (Abundanzen),” Mitt. Math. Ges. Hamburg, 4, 33–50
- Moroni, L. 2019, “The strange properties of the infinite power tower,” preprint, arXiv:1908.05559 [URL]
- Nalbantian, S. 2008, “Neuroaesthetics: Neuroscientific theory and illustration from the arts,” Interdisc. Sci. Rev., 33, 357–368 [DOI]
- Narayana Swamy, P. 1999, “Infinities in physics and transfinite numbers in mathematics,” preprint, arXiv:math-ph/9909033 [URL]
- Nielsen, D. S., & Welch, P. 2018, “Games and Ramsey-like cardinals,” J. Symbolic Logic, 84, 408–437 [DOI]
- Pechenik, O. 2010, “Large Cardinals,” Oberlin College Honors Papers, 388 [URL]
- Reinhardt, W. N. 1974, “Remarks on reflection principles, large cardinals, and elementary embeddings,” in Axiomatic Set Theory, ed. T. Jech, Proc. Symp. Pure Math., Vol. XIII, Part II (Providence, RI: Am. Math. Soc.), 189–205
- Sagan, H. Space-Filling Curves (New York: Springer Science) [DOI]
- Simonsen, J. G. 2005, “Specker sequences revisited,” Math. Logic Quarterly, 51, 532–540 [DOI]
- Srivastava, R. 2022, “The landscape of large cardinals,” preprint, arXiv:2205.01787 [URL]
- Stevens, M. 2016, “How to count past infinity,” Vsauce YouTube Channel [URL]
- Tarski, A. 1938, “Über unerreichbare Kardinalzahlen,” Fund. Math. 30, 68–89 [URL]
- Thiemann, T., & Winkler, O. 2001, “Gauge field theory coherent states (GCS), IV.:Infinite tensor product and thermodynamical limit,” Classical Quantum Grav., 18, 4997–5053 [ADS]
- Thomson, J. F. 1954, “Tasks and super-tasks,” Analysis, 15, 1–13 [DOI]
- Turing, A. M. 1936, “On computable numbers, with an application to the Entscheidungsproblem,” Proc. London Math. Soc., Series 2, 42, 230–265 [DOI]
- Ulam, S. 1930, “”Zur Masstheorie in der allgemeinen Mengenlehre,” Fund. Mathematicae, 16, 140–150 [DOI]
- Väänänen, J. “Second-order and higher-order logic,” in the Stanford Encyclopedia of Philosophy (Fall 2021 Edition), ed. E. Zalta [URL]
- von Neumann, J. 1923, “Zur Einführung der transfiniten Zahlen,” Acta litterarum ac scientiarum Ragiae Universitatis Hungaricae Francisco-Josephinae, Sectio scientiarum mathematicarum, 1, 199-–208
- Welch, P. D. 2019, “Proving theorems from reflection,” in Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts, ed. S. Centrone, D. Kant, D. Sarikaya (Cham, Switzerland: Springer), 79–97 [DOI]
- Welch, P., & Horsten, L. 2016, “Reflecting on absolute infinity,” J. Philosophy, 113, 89–111 [DOI]
- Wheeler, J. A. 1990, “Information, physics, quantum: The search for links,” in Complexity, Entropy, and the Physics of Information, ed. W. Zurek (Redwood City, CA: Addison-Wesley), 354–368
- Wigner, E. P. 1960, “The unreasonable effectiveness of mathematics in the natural sciences,” Comm. Pure & Applied Math., 13, 1–14 [DOI]
- Wilczek, F. 1999, “Getting its from bits,” Nature, 397, 303–306 [DOI]
- Zenkin, A. A. 2004, “Logic of actual infinity and G. Cantor’s diagonal proof of the uncountability of the continuum,” Review of Modern Logic, 9, 27–82
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.