Date: Feb 2, 2013 3:19 PM
Author: Virgil
Subject: Re: WMytheology � 203


> Can a potentially infinite list
> of potentially infinite 0/1
> sequences have the property that

>    if s is a potentially infinite 0/1
>    sequence, then s is a line of L

One cannot ever actually have a potentially infinite list, any more than 
one can have an actually infinite list, one can actually only have a 
finite list with some indication of how that list might be indefinitely 
extended.

Which is as much an abbreviation of a truly infinite list as it is an 
abbreviation of a potentially infinite list.
--