Date: Jan 31, 2013 4:56 PM
Author: Virgil
Subject: Re: Matheology � 203

In article 
WM <> wrote:

> Now you claim the set of infinite 0/1 sequences is unlistable?

Why not, since Cantor proved that ANY listing of infinite 0/1 sequences
necessarily omits at least one such infinite 0/1 sequence, and even the
mighty WM has not disproved that proof.