4 ms·
Funny, after reading jeff atwood's article on codinghorror (http://www.codinghorror.com/blog/archives/001190.html http://www.codinghorror.com/blog/archives/0011
by Dilpil 18y ago
Funny, after reading jeff atwood's article on codinghorror (http://www.codinghorror.com/blog/archives/001190.html http://www.codinghorror.com/blog/archives/001190.html), I left a comment suggesting someone do this. I see someone took me up on the offer.
PS, mega points to whoever claimed to know BNF, and also to whoever made the George Cantor post. Also mega points to the creator for using the handle "AlanT".
- jgrahamc 18y agoI am 'GeorgCantor'... I couldn't resist because Gödel's reply seemed lame. He just assumed the undecidability and used it to bang on about his own ideas.
- queensnake 18y agoWell Cantor's diagonalization doesn't have anything to do with it either.
- jgrahamc 18y agoI disagree. In Turing's paper "On computable numbers, with an application to the Entscheidungsproblem" he makes direct reference to diagonalization arguments (section 8 "Application of the diagonal process") alluding to the proof that the real numbers are not enumerable. His proof then relies on a diagonal argument.
- Zaak 18y ago"Despite the fact that I died in 1918 you may find the following advice important." Just fabulous.