Scooping the Loop Snooper

• Published in 2000
• Added on 2012-01-20

Comment

A proof that the Halting Problem is undecidable.

Links

• http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html

Other information

BibTeX entry

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