| |
| | string puzzles (Site not responding. Last check: ) |
 | | We will assume that there is an algorithm Halt(a, i) that decides if the algorithm encoded by the string a will halt when given as input the string i, and then show that this leads to a contradiction. |
 | | We start with assuming that there is an algorithm Halt(a, i) that returns the string "yes" if the algorithm represented by the string a halts when given as input the string i, and returns the string "no" otherwise. |
 | | Now suppose there is an algorithm A(w,C) which takes two arguments, a string w which is an input string to our decision problem, and a string C which is a "proposed certificate", and such that A produces a YES/NO answer in at... |
| www.jordanmagnuson.com /game/string+puzzles (1481 words) |
|