Math 260AB - Mathematical Logic, UCSD 2012
Thursday, April 12, 2012
Halting Problem in Iambic Tetrameter
Since we just saw a proof of the undecidability of the halting problem, I thought I'd share with everyone my favorite version of the proof:
Scooping the Loop Snooper
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment