"Tim Little" <tim@little-possums.net> wrote in message news:slrni1m1vt.jrj.tim@soprano.little-possums.net... > On 2010-06-18, Peter Webb <webbfamily@DIESPAMDIEoptusnet.com.au> wrote: >> The computable Reals cannot be listed. > > False. > > >> Maybe your definition needs a little work? > > No maybe about it, your definition of "listable" needs work. > > > - Tim
Give me a list of all computable Reals.
I will use Cantor's diagonal argument to explicitly construct a Real which isn't on the list. This is diagonal number clearly computable, as there is an explicit construction for it. All I have to do is change the nth digit of the nth number on the list, a very easy computation.
