L ling.ed.ac.uk A Proof of the Halting Problem's Undecidability in Verse 12 points soundsop 18 years ago 3 comments
