[seqfan] Re: Sequences do not die

[Morgan L. Owens]

There's an element of uncomputability. It's one thing to be able to say 
that a particular sequence is finite because pi(n)>Li(n) for some n, but 
if the best way we know of determining that a sequence is finite is to 
generate terms until the generating process halts is another.

Any sequence generated by a process that eventually halts is finite, so 
simply saying the sequence "halts" or "terminates" or "ends" isn't 
enough to highlight the distinction.

Describing a sequence as "dying" draws attention to the fact that we 
don't really know _why_ it's finite. We didn't see its termination 
coming until we reached it - surprise!

So now comes the autopsy to determine cause of death....