On Jun 15, 10:37 pm, Aatu Koskensilta <aatu.koskensi...@uta.fi> wrote: > Virgil <Vir...@home.esc> writes: > > But until you can determine which of those 10 cases, how can you > > compute the number? > > You can't. The number is computable nonetheless, in the sense that there > exists an effective procedure for churning out its decimal expansion. > > As noted, computability is a purely extensional notion. Recall the > classical recursion theory exercise, which we find, in some form or > other, in pretty much any text on the subject: > > Let f : N --> N be a function such that > > f(x) = 0 if Goldbach's conjecture is true, and 1 otherwise. > > Is f computable?
Hey, even I, a pathetic tyro, knows that one (I think)!
If GC is true, then f is the constant function whose value is always 0 If GC is false, then f is the constant function whose value is always 1.
