In article <email@example.com>, WM <firstname.lastname@example.org> wrote:
> On 1 Apr., 22:44, Virgil <vir...@ligriv.com> wrote: > > > > You do not believe that a sequence or list of all rational numbers can > > > be constructed? > > > > One can "enumerate" the set of all rationals by formula, as has been > > quite often done, but not by physically listing all of them. > > A formula giving every entry is enough. > > > > Note that one cannot ennumerate by listing even sufficiently large > > finite sets, so being listable other than by formula is not a relevant > > criterion. > > Constructing a list by a formula is enough to prove what I said.
And enough to disprove what WM has said as well.
AS a matter of fact, almost any honest math is enough to disprove much of want WM has said. --