Collatz, Halting, and the Uncomputable Edge of Simple Arithmetic — E8 Intelligence Research

FINDING: The Collatz Conjecture (3n+1 problem) is the simplest undecidable-looking arithmetic iteration; Hilbert's Entscheidungsproblem and Turing's halting problem prove a class of problems are formally uncomputable. | MATH: Collatz map: \( T(n) = n/2 \) if \( n \) even, \( T(n) = 3n+1 \) if \( n \) odd. Conjecture: \( \forall n \in \mathbb{Z}^+ \), \( \exists k \): \( T^k(n) = 1 \). No closed-form solution; known to hold for \( n < 2^{68} \) (empirical). Turing: no general algorithm decides halting for all (input, program) pairs — diagonalization argument. Hilbert's Entscheidungsproblem: first-order logic validity is undecidable (Church–Turing theorem). | CONNECTION: The Collatz map is a discrete dynamical system with no known invariant ratio — but its structure is a 2-adic (base-2) transformation, not base-60. However, the *undecidability* class connects to the golden ratio via the Mandelbrot set (which is undecidable in the real sense) — the boundary of the Mandelbrot set has Hausd Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-09-06
DOI
https://doi.org/10.5281/zenodo.22470402
Primary Topic
Benford’s Law and Fraud Detection
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Collatz, Halting, and the Uncomputable Edge of Simple Arithmetic — E8 Intelligence Research

Andrew Stewart Caldin
Zenodo (CERN European Organization for Nuclear Research)
Benford’s Law and Fraud Detection
preprint

Collatz, Halting, and the Uncomputable Edge of Simple Arithmetic — E8 Intelligence Research

Andrew Stewart Caldin
preprint en

Abstract

FINDING: The Collatz Conjecture (3n+1 problem) is the simplest undecidable-looking arithmetic iteration; Hilbert's Entscheidungsproblem and Turing's halting problem prove a class of problems are formally uncomputable. | MATH: Collatz map: \( T(n) = n/2 \) if \( n \) even, \( T(n) = 3n+1 \) if \( n \) odd. Conjecture: \( \forall n \in \mathbb{Z}^+ \), \( \exists k \): \( T^k(n) = 1 \). No closed-form solution; known to hold for \( n < 2^{68} \) (empirical). Turing: no general algorithm decides halting for all (input, program) pairs — diagonalization argument. Hilbert's Entscheidungsproblem: first-order logic validity is undecidable (Church–Turing theorem). | CONNECTION: The Collatz map is a discrete dynamical system with no known invariant ratio — but its structure is a 2-adic (base-2) transformation, not base-60. However, the *undecidability* class connects to the golden ratio via the Mandelbrot set (which is undecidable in the real sense) — the boundary of the Mandelbrot set has Hausd Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Zenodo (CERN European Organization for Nuclear Research)
Benford’s Law and Fraud Detection
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.