>"WM" <firstname.lastname@example.org> wrote in message >news:email@example.com... >> On 15 Jun., 12:26, stevendaryl3...@yahoo.com (Daryl McCullough) wrote: >> >>> (B) There exists a real number r, >>> Forall computable reals r', >>> there exists a natural number n >>> such that r' and r disagree at the nth decimal place. >> >> >> In what form does r exist, unless it is computable too? >> > >Of course its computable.
No, it's computable *relative* to the list of all computable reals. But that list is not computable.