On 15 Jun., 08:15, "Peter Webb" <webbfam...@DIESPAMDIEoptusnet.com.au>
> 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.
Twice no. First, a number cannot be defined by an infinite sequence of digits, because of practical reasons. (To define means to let somebody know what is meant.) Second the list of all real definitions cannot have a diagonal because at least two lines have only one symbol.
Here is a list that contains not only every computable real number but also every possible definition of every item that can be defined.