2 ms·Scooping the Loop Snooper: A proof that the Halting Problem is undecidable4 points by simonsarris 15y ago