Church–Turing thesis
Alonzo Church and Alan Turing
The Church–Turing thesis is not a theorem but a foundational assumption — one that equates human-effective calculation with machine computation. It holds because no counterexample exists, not because it is proven. Its endurance is its strength — and its limitation.