University of Edinburgh / University of Edinburgh No / Indiana University / /
Organization
Geoffrey K. Pullum School of Philosophy / Psychology and Language Sciences / Indiana University / University of Edinburgh / University of Edinburgh No / /
Person
Alan Turing / Seuss / Geoffrey K. Pullum / Martin Davis / Philip Wadler / Larry Moss / /
SCOOPING THE LOOP SNOOPER A proof that the Halting Problem is undecidable Geoffrey K. Pullum School of Philosophy, Psychology and Language Sciences, University of Edinburgh No general procedure for bug checks succeeds.