Monday, April 28, 2008

The Halting Problem

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.

No comments: