EUREKA Cantor exposed.... sci.math curls tails between legs..
From: |-|erc (h_at_r.c)
Date: 12/10/04
- Next message: examachine_at_gmail.com: "Re: Zenkin's paper on Cantor"
- Previous message: examachine_at_gmail.com: "Re: Turing Machines and Physical Computation"
- Next in thread: The Ghost In The Machine: "Re: EUREKA Cantor exposed.... sci.math curls tails between legs.."
- Reply: The Ghost In The Machine: "Re: EUREKA Cantor exposed.... sci.math curls tails between legs.."
- Reply: Daryl McCullough: "Re: EUREKA Cantor exposed.... sci.math curls tails between legs.."
- Reply: George Greene: "Re: EUREKA Cantor exposed.... sci.math curls tails between legs.."
- Maybe reply: |-|erc: "Re: EUREKA Cantor exposed.... sci.math curls tails between legs.."
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Fri, 10 Dec 2004 17:41:00 +1000
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
- Next message: examachine_at_gmail.com: "Re: Zenkin's paper on Cantor"
- Previous message: examachine_at_gmail.com: "Re: Turing Machines and Physical Computation"
- Next in thread: The Ghost In The Machine: "Re: EUREKA Cantor exposed.... sci.math curls tails between legs.."
- Reply: The Ghost In The Machine: "Re: EUREKA Cantor exposed.... sci.math curls tails between legs.."
- Reply: Daryl McCullough: "Re: EUREKA Cantor exposed.... sci.math curls tails between legs.."
- Reply: George Greene: "Re: EUREKA Cantor exposed.... sci.math curls tails between legs.."
- Maybe reply: |-|erc: "Re: EUREKA Cantor exposed.... sci.math curls tails between legs.."
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|