<aside> 🧭

Landing page for this research thread. Start here: short overview, then jump to any section below. Status: Exploring · Opened 2026-10-25.

</aside>

<aside> 🧭

Guiding connections (the Director's framing) • The connections being made between infinity and the quantum, the mind and consciousness. • Also focusing on the biology of the brain. • Quantum neural networks and the way neurons work in our own brains. • Interested in the physiology of the brain and neural network abstractions with Bayesian statistics. • Tying into quantum mechanics and infinity arguments with Rudy Rucker. • The idea of capturing the concepts. • Having all of that as a thread of understanding we are trying to distill into a simple picture of what's going on. Shares this guiding thread with: Quantum logic & proof verification thread

</aside>

Overview

Infinity is where mathematics, physics, philosophy and computation meet most sharply. Mathematics tamed it: Cantor showed infinities come in different sizes, and set theory (ZFC) now handles them rigorously, yet the simplest question about them, the continuum hypothesis, is provably undecidable from the standard axioms (Gödel 1938/40, Cohen 1963/64). Physics treats infinities mostly as warning signs: singularity theorems (Penrose 1965, Hawking–Penrose 1970) show general relativity predicts its own breakdown, and eternal inflation produces infinitely many pocket universes, which creates a measure problem for probabilities. Philosophy has argued about it since Zeno; Aristotle allowed only potential infinity, Kant made the world's finitude an antinomy, and Hegel contrasted a "bad" endless progression with a "true" self-contained infinity. Computation inherits infinity through unbounded processes: Turing (1936) showed no algorithm can decide whether an arbitrary program halts.

Key concepts

• Countable vs uncountable: the naturals, integers and rationals are the same size (ℵ₀); the reals are strictly larger (Cantor 1874; diagonal argument 1891).
• Cantor's theorem: every set's power set is strictly larger, so there is an endless hierarchy of infinities.
• Transfinite cardinals and ordinals (Cantor, Beiträge 1895/97): ℵ numbers for size, ω-ordinals for order.
• Continuum hypothesis (CH): no size strictly between ℵ₀ and the continuum. Gödel: consistent with ZFC (constructible universe L); Cohen: its negation is too (forcing). So CH is independent of ZFC.
• Hilbert's hotel: a full hotel with infinitely many rooms can still take new guests; shows that "part = whole in size" for infinite sets.
• Potential vs actual infinity (Aristotle, Physics III.4–8): a process that can always continue vs a completed infinite totality. Aristotle accepted only the potential kind.
• Zeno's paradoxes: Achilles, the dichotomy; standard modern resolution via convergent series and the continuum, though philosophers still debate whether it fully answers them.
• Kant's first antinomy (Critique of Pure Reason, 1781/1787): reason can "prove" both that the world has a beginning and limits in space and that it does not; Kant took this to show the limits of reason about the world as a whole.
• Hegel's bad vs true infinity (Science of Logic, 1812–16): "bad" (spurious) infinity is endless going-beyond of a limit; "true" infinity includes the finite within itself. (Not the same as Aristotle's actual/potential distinction.)
• Singularities: under general conditions, GR spacetimes are geodesically incomplete (Penrose 1965; Hawking–Penrose 1970); usually read as the theory breaking down, not a real infinite quantity.
• Infinite universe: whether space is finite or infinite is open; observations are consistent with flat space but cannot settle global size.
• Eternal inflation and the measure problem: inflation can go on forever, producing infinitely many pocket universes (Vilenkin 1983; Linde 1986; Guth 2007). Counting "how often" anything happens then needs a measure, and results depend on the choice.
• Halting problem (Turing 1936): no general algorithm decides whether a program halts; an infinite loop is undetectable in general. Linked to Gödel's incompleteness.
• Connection to the quantum thread: Rucker's Infinity and the Mind (read by the Director) asks how a finite mind can grasp infinity. That echoes the "finite mind" musing in Quantum Logic & Quantum Proof Verification (Ideas we're mulling over): the brain making infinite branching finite. Open connection, not a settled position.