In article <email@example.com>, Tim Little <firstname.lastname@example.org> wrote:
> On 2010-06-28, Virgil <Virgil@home.esc> wrote: > > It does not require that any element in the listing be known, but > > correctly tells what to do for any listing > > I think that is even a bit too informal for Peter. The phrase "tells > what to do" is superfluous, all that is mathematically required is > that existence of an antidiagonal sequence for each list is proven. > He's going to latch onto "tells what to do" and think that it means > that there is an algorithm for everything involved.
There are certainly simple algorithms for finding up to countably many antidiagonals to any given list of reals or of binary sequences.