Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Just in case you're referring to this proof that the Halting Problem is undecidable, it always bears repeating:

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



The phrase 'who watches..' predates that paper by quite a bit.

https://en.m.wikipedia.org/wiki/Quis_custodiet_ipsos_custode...




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: