> "WM" <mueckenh@rz.fh-augsburg.de> wrote in message > news:62ae795b-1d43-4e1f-8633-e5e2475851aa@x21g2000yqa.googlegroups.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.
There is a computable real that differs from every computable real?
-- Aatu Koskensilta (aatu.koskensilta@uta.fi)
"Wovon man nicht sprechan kann, darüber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus