Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: The Diagonal Argument
Replies: 28   Last Post: Dec 29, 2012 12:11 AM

 Messages: [ Previous | Next ]
 Graham Cooper Posts: 4,495 Registered: 5/20/10
Re: The Diagonal Argument
Posted: Dec 27, 2012 4:25 PM

> Try to Visualise an example.
>
> L(x,y)
> +---------------->
> | 0. 2 3 4 5 6 7 ..
> | 0. 9 8 7 6 5 5 ..
> | 0. 1 2 3 1 2 3 ..
> | 0. 9 8 9 8 9 8 ..
> | 0. 6 5 6 5 6 5 ..
> | 0. 5 6 5 6 5 6 ..
> |
> v
>
> Now apply your FLIP(d) function to the whole plane
>
> T(x,y)
> +---------------->
> | 0. 6 6 6 6 5 5 ..
> | 0. 5 5 5 5 6 6 ..
> | 0. 6 6 6 6 6 6 ..
> | 0. 5 5 5 5 5 5 ..
> | 0. 5 6 5 6 5 6 ..
> | 0. 6 5 6 5 6 5 ..
> |
> v
>
> Your claim is that is you take any path from
>
> T(1,?)
> T(2,?)
> T(3,?)
> ...
>
> and repeat that process you must end up with an infinite string absent
> from L?

i.e. ANTIDIAG = T(1,1) T(2,2) T(3,3) T(4,4) ...

But Obviously T(1,1) T(2,99) T(3,10110) T(4,7) ...

is not provably absent from L.

Remember Given a Stack of ESSAYS with every possible sentence written
in every possible order, taking the 1st word of Essay 1, changing it,
then the 2nd word of Essay 2, changing it, never produces a unique
sentence or any original writing at all! Similarly the ANTIDIAG
PROCESS never conjures a Unique Digit Sequence!

In fact, using a Symmetric FLIP(d) Function

L(x,y)
+---------------->
| 0. 2 3 4 5 6 7 ..
| 0. 9 8 7 6 5 5 ..
| 0. 1 2 3 1 2 3 ..
| 0. 9 8 9 8 9 8 ..
| 0. 6 5 6 5 6 5 ..
| 0. 5 6 5 6 5 6 ..
|
v

FLIP(d) = 9-d

Minor Problem with:

0.49999...
<=FLIP=>
0.50000...

T(x,y) = FLIP(L(x,y))
+---------------->
| 0. 7 6 5 4 3 2 ..
| 0. 0 1 2 3 4 4 ..
| 0. 8 7 6 8 7 6 ..
| 0. 0 1 0 1 0 1 ..
| 0. 3 4 3 4 3 4 ..
| 0. 4 3 4 3 4 3 ..
|
v

NOW DIAGONAL(T) is supposedly proven absent from L

0.716133.. NOT COUNTED??

yet if L is the Computable Reals then

T=L

PROOF: For every computable real there is another computable real for
all digit changing functions.

which proves the DIGIT FLIP Operation is a NULL OPERATION
THERFORE ANTIDIAGONAL(L) is no more provably absent from L than
DIAGONAL(L).

QED

Herc
--
www.CAMGIRLS.com
TOTAL: \$2834 2012-12-21 Fri
Not the End of the World!

Date Subject Author
12/26/12 Graham Cooper
12/26/12 Virgil
12/26/12 george
12/26/12 Virgil
12/26/12 Graham Cooper
12/27/12 Graham Cooper
12/27/12 Virgil
12/27/12 Graham Cooper
12/27/12 ross.finlayson@gmail.com
12/27/12 Graham Cooper
12/28/12 Virgil
12/28/12 ross.finlayson@gmail.com
12/28/12 Virgil
12/28/12 ross.finlayson@gmail.com
12/28/12 Virgil
12/28/12 ross.finlayson@gmail.com
12/29/12 Virgil
12/28/12 Virgil
12/28/12 Virgil
12/28/12 Graham Cooper
12/28/12 Virgil
12/28/12 Graham Cooper
12/28/12 Virgil
12/28/12 Graham Cooper
12/29/12 Virgil
12/28/12 Graham Cooper
12/29/12 Virgil
12/26/12 J. Antonio Perez M.