The Halting Problem ·
Undecidable
un
seel
.com · Turing 1936 · no decider can exist
Verdict
—
Contradictions
0
State
—
Program input
Verdict: HALTS
Verdict: LOOPS
Contrarian D
Contradiction
▶ Play
←
→
Unmute
Reset
Un
seel
.com · Halting Problem