4 ms·
Very interesting that you can prove the halting problem and Godel's Incompleteness Theorem independently with this thought experiment.
by aty268 6y ago
Very interesting that you can prove the halting problem and Godel's Incompleteness Theorem independently with this thought experiment.