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.

--