"Tim Little" <tim@little-possums.net> wrote in message news:slrni1qqsn.jrj.tim@soprano.little-possums.net... > On 2010-06-19, Peter Webb <webbfamily@DIESPAMDIEoptusnet.com.au> wrote: >> Of course it is computable. Cantor provides a simple construction >> for the number. > > Only if the list itself is a recursively enumerable function. > Cantor's proof makes no such assumption. >
Yes it does. It requires that the nth digit of the nth term can be calculated. This is not quite as strong as being re, but it is close. In any event, it is exactly the same restriction as I place on the purported list of all computable Reals.
