18 Feb
2010
18 Feb
'10
8:17 a.m.
Hi, In fact it is not quite hard to see that such a numbering exists : just take any numbering of all Turing machines, say {\phi_i}, then remove all indices i such that there is j