Date: Feb 1, 2013 8:39 PM
Author: Virgil
Subject: Re: Matheology � 203

In article 
<898dc1d1-4adb-4a12-9b36-64ad8d9cb38f@d11g2000yqe.googlegroups.com>,
William Hughes <wpihughes@gmail.com> wrote:

> Previous was too complicated
>
> Can a potentially infinite list
> of potentially infinite 0/1
> sequences have the property that
>
> if s it a potentially infinite 0/1
> sequence, then s is a line of L


No, since two potentially infinite sequences cannot be proved equal
without having an actual infinity of comparisons.
--