Georg Cantor and His Heritage

Original Article ↗ Hacker News Discussion ↗

Impact of Cantor’s ideas

  • Several commenters describe the diagonal argument as a formative “mind‑blowing” moment in their math education.
  • Others compare Cantorian set theory to overhyped technologies: intellectually fashionable, enormous effort, little practical payoff.
  • Some note readable popular books and essays that helped them appreciate the historical and human side of Cantor and the continuum hypothesis.

Diagonal argument and uncountability

  • One side sees the diagonal proof as simple: no bijection between a set and its power set, so the power set of naturals is uncountable.
  • A skeptic questions the hidden axioms: ability to form the diagonal set, to assume “all subsets” exist, and to construct enumeration and diagonal simultaneously.
  • Another thread insists the proof in ZFC needs only the power set and separation axioms and no axiom of choice.

ZFC, power set, and Skolem paradox

  • Dispute over whether ZFC actually proves the existence of uncountable sets.
    • Standard view: Cantor’s theorem plus power set of ω gives a set that “is not countable” in every model.
    • Opposing view: in first‑order ZFC the power set axiom only guarantees a set of existing subsets in a model, which may be countable; “uncountable” is thus model‑relative (Skolem paradox).

First‑ vs higher‑order logic

  • Higher‑order logic is said to avoid classic set‑theoretic paradoxes and allow categorical theories (e.g., second‑order PA), but lacks a complete proof system.
  • First‑order ZFC is incomplete and non‑categorical but enjoys completeness; it also has countable models.
  • Some argue one could base mathematics directly on higher‑order logic instead of sets.

Actual vs potential infinity

  • Long back‑and‑forth on whether “actual” infinities exist or only unending processes (potential infinity).
  • Critics of actual infinity claim it cannot be observed or measured; Cantor’s transfinite numbers are seen as treating a never‑finished process as a completed object.
  • Others reply that in mathematics “existence” is internal to the formal game: if the axioms admit infinite objects, they “exist” in that sense, regardless of physics.

Infinity, physics, and cosmology

  • Discussion of countable vs uncountable infinities in physics: discrete vs continuous spectra, position in space, quantum systems.
  • Debate over whether space–time is continuous or quantized; Planck scales are mentioned but not regarded as decisive.
  • Cosmology thread: standard big‑bang models may have space always infinite in extent, though only a finite region is observable; finite flat models would show detectable anisotropies, which current data strongly constrain.
  • Others push back that an actually infinite universe is unprovable and liken belief in it to a kind of “religion.”

Computability and the reals

  • Several comments stress that almost all real numbers are non‑computable; computable reals form a countable subset.
  • One line of argument treats real numbers (π, √2, repeating decimals, 1/3) as procedures or algorithms rather than completed infinite objects; on this view, dropping actual infinity changes how such “numbers” are interpreted.
  • Counter‑arguments note that diagonalization shows there is no single recursive procedure enumerating all reals, even if many are given by individual algorithms.

Existence, models, and mathematics as a game

  • Extensive discussion of what it means for mathematical objects to “exist”:
    • One camp ties existence to physical instantiation or observation.
    • Another treats mathematics as symbol manipulation under rules; numbers, infinities, and even fictional entities (like unicorns in games) exist within their respective systems.
  • Negative numbers, imaginary numbers, matrices, and irrational quantities are used as analogies: widely accepted despite no direct counting interpretation, suggesting infinity could be similar.

Applications and relevance

  • Some ask about real‑world applications of Cantor’s work.
  • Answers point to set‑theoretic foundations for formal logic and computability theory, and to uses of higher cardinals (e.g., measures on the reals) in rigorous probability and quantum theory, while noting practicing physicists often ignore foundational subtleties.

Cranks and refutations

  • A link to a purported refutation of Cantor’s early arguments is shared; it is dismissed in the thread as crankery, with specific criticism of misuse of the nested interval theorem.

Overall tone

  • The thread mixes admiration for Cantor’s conceptual breakthrough, deep technical debate over logical foundations, and philosophical skepticism about actual infinity and its connection (or lack thereof) to physical reality.