Comment Comment by aty268 Very interesting that you can prove the halting problem and Godel's Incompleteness Theorem independently with this thought experiment. parent aty268 6 years ago