Absolutely delightful
18 Dec 2019
Microblog posting from 18 Dec 2019 at 16:47:44 +00:00.
Absolutely delightful. Scooping the Loop Snooper an elementary proof of the undecidability of the halting problem in the style of Dr. Seuss. /via @joepasqua https://ebiquity.umbc.edu/blogger/2008/01/19/how-dr-suess-would-prove-the-halting-problem-undecidable/