Joel David Hamkins is qualified to endorse.
Did Turing prove the undecidability of the halting problem?
| Joel David Hamkins: | Is registered as an author of this paper. Can endorse for cs.GT, cs.LO, math.CO, math.LO, math.NT. (why?) |
Theodor Nenu is not registered as an owner of this paper. (why?)