Date: Dec 30, 2012 12:20 AM
Author: Virgil
Subject: Re: Simple Refutation of Cantor's Proof

In article 
<605599d9-1a1b-451e-8e4a-0017efe83862@d2g2000pbd.googlegroups.com>,
Graham Cooper <grahamcooper7@gmail.com> wrote:

> So you agree f(x) = 2x
>
> and
>
> AD(x) = 6 IFF LIST(x,x)<6
> AD(x) = 5 IFF LIST(x,x)>=6
>
> are different kinds of functions?


I never said otherwise, but neither of them is the function that proves
all lists of infinite sequences of decimal digits are incomplete.

That function has as its domain, the set of all lists of of infinite
sequences of decimal digits as a value an infinite sequence of decimal
digits not found in its argument.
--