We present a simple disproof of Turing's Halting Conjecture:
Program P halts on input Q iff Bruce wants it to halt.
Bruce's decision is made by Bruce's brain, which is a physical entity, and so can be simulated by a computer.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment