On 2010-06-15, Peter Webb <webbfamily@DIESPAMDIEoptusnet.com.au> wrote: > No. You cannot form a list of all computable Reals. If you could do > this, then you could use a diagonal argument to construct a > computable Real not in the list.
You can form a list of all computable reals (in the sense of mathematical existence). However, such a list is not itself computable.