Scooping the Loop Snooper: Proof That the Halting Problem Is Undecidable (2000)lel.ed.ac.uk·26 pts·lgessler·33
The Nonfeasibility of Fully Automatic High Quality Translation (1960) [pdf]mt-archive.info·1 pts·lgessler·0