Re: [nimh-dev] More stuff

[Joel Uckelman <uckelman@xxxxxxxxx>]

Thus spake "Jon Stewart":
> > That will be useful in the limit when the number of messages I have reaches
>  
> > infinity.
> 
> 
> >From the numbers you gave from running folders, that should be any day 
> now, right? :-)

Right, but there will still be some sequences I can't pick, like the sequence
of messages whose numbers are the Godel numbers of programs which halt. We
need to fix that. :)

_______________________________________________
nimh-dev mailing list
nimh-dev@xxxxxxxxxxx
http://lists.ellipsis.cx/mailman/listinfo/nimh-dev