Scooping the Loop Snooper: proof of the undecidability of the halting problem [pdf]

Comments

from Hacker News https://ift.tt/zLsKqSi

Comments