Tom Christiansen wrote: > Anyway, all fun and games with Messrs Engineer and Mathematician, > you still want to find some sensible way of comparing lazily evaluated > infinite lists so that you could get some sort of answer. But what > is that answer? Or what is *an* answer? Can there even *be* one?
Godel seems to think there is an answer, but he doesn't know what it is. Turing is trying to working it out on a piece of paper, but he can't say when (or if) he'll be finished. :-) A