Virgil
Posts:
4,482
Registered:
1/6/11
|
|
Re: The Diagonal Argument
Posted:
Dec 28, 2012 4:18 AM
|
|
In article
<4bf7b763-8100-46af-be9d-90187b0f80ff@s10g2000pbg.googlegroups.com>,
Graham Cooper <grahamcooper7@gmail.com> wrote:
> Then you agree
>
> 0. T(1,2) T(2,1) T(3,3) T(4,4) T(5,5) T(6,6) ...
>
> is potentially ON THE LIST L!
But, if T(n,n) is as I previously defined it,
0. T(1,1) T(2,2) T(3,3) T(4,4) T(5,5) T(6,6) ...
is not even potentially on it.
--
|
|
