4 ms·
Well Cantor's diagonalization doesn't have anything to do with it either.
by queensnake 18y ago
Well 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.