Interesting Esoterica

Scooping the Loop Snooper

Web page by Geoffrey K. Pullum
  • Published in 2000
  • Added on

Comment

A proof that the Halting Problem is undecidable.

Links


BibTeX entry

@online{ScoopingLoopSnooper,
	title = {Scooping the Loop Snooper},
	author = {Geoffrey K. Pullum},
	url = {http://www.lel.ed.ac.uk/{\~{}}gpullum/loopsnoop.html},
	urldate = {2012-01-20},
	abstract = {},
	comment = {A proof that the Halting Problem is undecidable.},
	collections = {attention-grabbing-titles,easily-explained},
	year = 2000
}