On 2010-06-19, Peter Webb <webbfamily@DIESPAMDIEoptusnet.com.au> wrote: > That, BTW, is my own interpretation of what is happening.
It is an incorrect interpretation.
> Whether you accept this or not, the simple fact is that Cantor's > proof can be applied to any purported list of all computable Reals > and used to generate a computable Real not on the list
Your "simple fact" is simply wrong. Look up the definition of "computable real" and get back to us.