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.

--