Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Matheology � 233
Replies: 37   Last Post: May 12, 2014 10:24 AM

 Messages: [ Previous | Next ]
 mueckenh@rz.fh-augsburg.de Posts: 18,076 Registered: 1/29/05
Re: Matheology § 233
Posted: Apr 2, 2013 4:17 PM

On 2 Apr., 02:01, Virgil <vir...@ligriv.com> wrote:
> In article
>
>
>
>
>
>  WM <mueck...@rz.fh-augsburg.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.

Then try it.
What did I say?
This: After every line n of the list of all rational numbers there are
infinitely many rational numbers that up to digit n are identical with
the anti-diagonal up to digit n.

This holds for the digits up to every finite n. And more digits cannot
be expected to exist in any decimal representation of a number.

Regards, WM

Date Subject Author
3/27/13 Virgil
3/28/13 mueckenh@rz.fh-augsburg.de
3/28/13 fom
3/28/13 fom
3/28/13 fom
3/28/13 rt servo
3/28/13 fom
3/28/13 fom
3/28/13 Virgil
3/28/13 fom
3/30/13 mueckenh@rz.fh-augsburg.de
3/30/13 fom
3/30/13 ross.finlayson@gmail.com
3/30/13 Virgil
3/30/13 Virgil
3/30/13 mueckenh@rz.fh-augsburg.de
3/30/13 Virgil
3/30/13 ross.finlayson@gmail.com
3/31/13 Virgil
3/30/13 fom
5/12/14 ross.finlayson@gmail.com
3/31/13 mueckenh@rz.fh-augsburg.de
3/31/13 fom
3/31/13 Virgil
3/31/13 mueckenh@rz.fh-augsburg.de
3/31/13 fom
3/31/13 Virgil
4/1/13 mueckenh@rz.fh-augsburg.de
4/1/13 fom
4/1/13 Virgil
4/1/13 mueckenh@rz.fh-augsburg.de
4/1/13 Virgil
4/2/13 mueckenh@rz.fh-augsburg.de
4/2/13 Virgil
3/27/13 fom