FINDING: Turing degrees form a dense partial order with a distributive lattice structure, revealing the deep algebraic architecture of relative computability. | MATH: The Turing degrees (𝒟) under ≤_T form an upper semilattice with least element 0 (computable sets). Kleene-Post theorem proves density: for any a < b, ∃c with a < c < b. The degrees are not a lattice (no general meet), but the r.e. degrees form a distributive lattice under certain embeddings. Key constants: 0 (computable), 0′ (halting problem jump), 0^(n) (iterated jumps). The jump operator a ↦ a′ is strictly increasing and order-preserving. | CONNECTION: The density of the Turing degrees mirrors the density of the rationals (ℚ) — a continuum-like structure with no gaps. The distributive lattice structure of r.e. degrees echoes lattice-theoretic symmetries found in root systems (e.g., A_n, D_n) and crystallographic point groups, though the degrees are infinite and non-atomic. The jump operator's iterates (0, 0′, 0″…) form Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com
No takes yet. Share an insight, caveat, or question.
Andrew Stewart Caldin (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: