Re: EUREKA Cantor exposed.... sci.math curls tails between legs..

From: The Ghost In The Machine (ewill_at_sirius.athghost7038suus.net)
Date: 12/10/04 

Date: Fri, 10 Dec 2004 16:00:10 GMT

In sci.logic, |-|erc
<h@r.c>
 wrote
on Fri, 10 Dec 2004 17:41:00 +1000
<31t2b6F3girb3U1@individual.net>:
> Assume a real number list L where
> L(a) is the ath real
> L(a, b) is the bth digit of the ath real.
>
> Required To Prove :
> the list is incomplete
>=
> Er e R, Aa e N, L(a) =/= r
>=
> Er e R, Aa e N, Eb e N, L(a, b) =/= r(b) ...r(b) is the bth digit of r
>
> Assume r is on the list
> Ea e N, L(a) = r [1]
>=
> Ea e N, Ab e N, L(a, b) = r(b)
>
> Let
> r(b) = L(b,b)+1 (mod 9) [2]
>=>
> r(b) = !L(b,b) ...! is some digit change function
>
> Therefore
> Ea e N, Ab e N, L(a,b) = !L(b,b)
>
> When a=b
> Ea e N, L(a,a) =!L(a,a)
>=>
> Ec e N, c=!c
> CONTRADICTION
>
> CONCLUSION
> NOT (Ea e N, L(a) = r AND r(b) = L(b,b)+1) ...[1] AND [2]
>=
> NOT (Ea e N, Ab e N, L(a, b) = L(b, b) + 1)
>=
> NOT (Ea e N, Ab e N, L(a, b) != L(b, b))
>=
> Aa e N, Eb e N, L(a, b) = L(b, b)
>
> AXIOM
> all reals in the list have a digit on the diagonal that equals itself
>
>
> Herc
> --
>> then it is uniquely defined AFTER the flippers have flipped
>> enough (given that every flipper is only a finite number of
>> flippers from the beginning, and every flip is only a finite
>> number of flips from the beginning, no individual flip or anti-
>> flip needs infinite inputs to compute). GEORGE GREENE sci.logic
>
>

Presumably, somewhere in here is a proof that Cantor's proof is
not a proof, but if so, I'm not seeing it. Are you drinking
180 proof? :-) 

-- 
#191, ewill3@earthlink.net
It's still legal to go .sigless.

Relevant Pages