Virgil
Posts:
8,833
Registered:
1/6/11


Re: Matheology � 233
Posted:
Apr 1, 2013 8:01 PM


In article <1dd2037c407c49f6afc6e00c1d8533e3@w21g2000vbp.googlegroups.com>, WM <mueckenh@rz.fhaugsburg.de> 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. 

