Re: Matheology 030

In article <jqog8u$dtt$1@xxxxxxxxxxxxxxxxx>,
"LudovicoVan" <julio@xxxxxxxxxxxxx> wrote:

"Uergil" <Uergil@xxxxxxx> wrote in message
In article
WM <mueckenh@xxxxxxxxxxxxxxxxx> wrote:

But irrational numbers in fact are not available as sequences of

0.1234567891011121314151617181920... is an irrational expressed as a
series of digits.

And so is .10100100010000100000...

The sequence of digits does not tell which irrational it is.

Actually, if there are infinitely many of its digits known, or at least
knowable, which there are in this case, that tells us exactly which real
it is.
"Ignorance is preferable to error, and he is less
remote from the- truth who believes nothing than
he who believes what is wrong.
Thomas Jefferson