4 ms·
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
by Stratoscope 4y ago
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 http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html
- ArnoVW 4y agoThe phrase 'who watches..' predates that paper by quite a bit. https://en.m.wikipedia.org/wiki/Quis_custodiet_ipsos_custodes%3F https://en.m.wikipedia.org/wiki/Quis_custodiet_ipsos_custode...