Historical Context of Infinity Symbol

• Lazy eight (∞) symbol introduced to mathematics in 17th century
• First used by John Wallis, though symbol existed before
• 17th century mathematics was computational - infinity meant "something that never ends"
• Examples: sequences like 1/2, 1/3, 1/4, 1/5... approaching zero but never reaching it

Development of Set Theory and Infinite Sets

• 19th century shift: infinity becomes tangible mathematical object
• Natural numbers (0, 1, 2, ...) collected into one set - not computed step by step, just exists
• Georg Cantor developed set theory
• Key discovery: different sizes of infinity exist
• Some infinite things are strictly smaller than others

Cantor's Hierarchy of Infinities

• Natural numbers size: ℵ₀ (aleph-null/aleph-zero)
• Real numbers size: 2^ℵ₀ (strictly larger than natural numbers)
• Complex numbers: same size as real numbers
• Aleph notation: ℵ₀, ℵ₁, ℵ₂, ... continuing infinitely

Continuum Hypothesis

• Cantor hypothesized: ℵ₁ = 2^ℵ₀
• Cantor tried to prove this for years, failed
• Paul Cohen and Kurt Gödel proved: cannot be proven or disproven
• Possible in some mathematical universes they're equal, in others 2^ℵ₀ > ℵ₁
• Real numbers' exact position on aleph scale remains unknown

Construction of Higher Infinities

• ℵ₁ size: types of well-orderings of natural numbers (not all rearrangements)
• Pattern: take something of size ℵₙ, look at well-ordering types → get ℵₙ₊₁
• Sequence continues: ℵ₀, ℵ₁, ℵ₂, ... up to ℵ_ω
• No largest aleph - sequence continues indefinitely

Ordinal vs Cardinal Infinities

• ℵ₀ + 1 = ℵ₀ (cardinal arithmetic)
• ω + 1 > ω (ordinal arithmetic)
• Omega notation indicates ordinal context
• Different symbols for same infinity depending on context

Absolute Infinity and Proper Classes

• Chain of alephs approaches "absolute infinity"
• Cantor called this "Tau" (ת) - last Hebrew letter
• Modern term: "proper class" - too big to be a set
• Analogy to 17th century infinity concept
• Inconsistent as mathematical object

Mathematical Philosophy and Multiverse Theory

• Question: one universe of mathematics or multiverse?
• Different universes might have same absolute infinity but disagree on placements
• Possibly increasingly higher absolute infinities across universes
• Ongoing philosophical debate in set theory

Practical Applications

• Forcing axioms imply 2^ℵ₀ = ℵ₂
• These axioms have applications in analysis
• Eventually affects physics, engineering, computing
• Develops language for mathematical ideas
• Upstream influence on applied mathematics

Rational Numbers Example

• Rational numbers have same size as natural numbers (ℵ₀)
• Despite infinite rationals between any two reals
• Counterintuitive: rationals much smaller than reals
• Demonstrates importance of concrete definitions
• "You don't understand things, you get used to them" - Feynman

Conceptual Understanding

• Set theorists have mixed relationship with infinity comprehension
• Sometimes overwhelmed, other times can work with concrete differences
• Infinities treated as normal numbers for mathematical operations
• Numbers are abstract quantities - alephs fit this definition