What question did this study set out to answer?

The goal is to demonstrate via Cantor's diagonal argument that the real numbers are uncountably infinite and to explore its implications for uncomputable functions.

July 24, 2026Open Access

View Full Paper

Cantor's Diagonal Argument: Uncountable Reals, Hierarchy of Infinities, Uncomputable Functions — E8 Intelligence Research

ACAndrew Stewart Caldin

Key Points

The goal is to demonstrate via Cantor's diagonal argument that the real numbers are uncountably infinite and to explore its implications for uncomputable functions.
Utilized Cantor's diagonalization technique to show the set of real numbers has cardinality greater than countable infinity.
Discussed implications of uncountability on sets of functions mapping natural numbers to binary strings.
Explored connections between diagonalization, symmetry-breaking, and geometric concepts in mathematics.
Proved that for any countable list of real numbers, a new real number can be constructed, showing uncountability.
Established that most decision problems involving functions from ℕ to {0,1} are uncomputable due to their uncountable nature.
Revealed foundational insights into the limits of computation and the significance of continuous symmetries in mathematics.

Abstract

FINDING: Cantor's diagonal argument proves the reals are uncountably infinite, establishing a hierarchy of infinities and the existence of uncomputable functions. | MATH: The set of real numbers ℝ has cardinality ℵ₁ > ℵ₀ (countable infinity). For any countable list of real numbers, diagonalization constructs a new real not in the list. This implies the set of all functions ℕ → 0, 1 (binary strings) is uncountable, hence most decision problems are uncomputable. | CONNECTION: No direct geometric ratios (0. 382, 0. 618, etc. ) appear. However, the diagonalization method mirrors symmetry-breaking in infinite lattices: a new element is generated by flipping the diagonal, analogous to constructing a point outside a given set in a Cantor set or a root system's affine Weyl chamber. The uncountability of reals relates to the continuum, which underlies Euclidean geometry's continuous symmetries. | DEPTH: 9 — Foundational to set theory, computability, and complexity theory; reveals inherent limits Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence. com

KI fragen

Bookmark

View Full Paper

KI fragen

Bookmark

View Full Paper

Cantor's Diagonal Argument: Uncountable Reals, Hierarchy of Infinities, Uncomputable Functions — E8 Intelligence Research

Key Points

Abstract

Cite This Study