All of the proofs ASSUME that there is an input D that can ACTUALLY DONo, the proof assumes there is a *decider* and then shows exactly *how*
the opposite of whatever value that H returns making it impossible for H
to decide D.
| Sysop: | Keyop |
|---|---|
| Location: | Huddersfield, West Yorkshire, UK |
| Users: | 715 |
| Nodes: | 16 (2 / 14) |
| Uptime: | 159:27:03 |
| Calls: | 12,094 |
| Calls today: | 2 |
| Files: | 15,000 |
| Messages: | 6,517,760 |