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

Other information

key
ScoopingLoopSnooper
type
online
date_added
2012-01-20
date_published
2000-03-14

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-03-14},
	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
}