You open your bag. Inside, a Turing machine that solves the halting problem in finite time is found. You do not understand why, but you need to leave it behind at the library door.
You open your bag. Inside, a Turing machine that solves the halting problem in finite time is found. You do not understand why, but you need to leave it behind at the library door.