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

Reply via email to