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 sqrt(-2): WM admits to unlistability of 0/1 sequences
Replies: 76   Last Post: Dec 28, 2013 7:39 PM

 Messages: [ Previous | Next ]
 William Hughes Posts: 2,330 Registered: 12/7/10
Re: Matheology sqrt(-2): WM admits to unlistability of 0/1 sequences
Posted: Dec 20, 2013 12:55 PM

On Friday, December 20, 2013 1:05:15 PM UTC-4, muec...@rz.fh-augsburg.de wrote:
> On Friday, 20 December 2013 17:44:36 UTC+1, wpih...@gmail.com wrote:
>

> > On Friday, December 20, 2013 12:14:11 PM UTC-4, muec...@rz.fh-augsburg.de wrote:
>
> >
>
> >
>
> >
>
> >
>
> >
>
> > >the number of finite formulas is countable.
>
>
>
> in set theory.
>

> >
>
> >
>
> >
>
> > The finite formulas that produce 0/1 sequences *are*
>
> >
>
> > the potentially infinite 0/1 sequences.
>
>
>
>
>
> No. Counterexample: The potentially infinite sequence of 1's is given by many finite formulas like 1/9 or "0.111..." or "the potentially infinite sequence of 1's behind the point", which are not the sequence but determine the sequence:

So what. There is nothing in the definition of the potentially infinite
list L that says that two elements of L cannot be the same,
(Note if two formula produce the same value for any n in |N
they are by definition equal as potentially infinite sequences)
All the formulas you mention are also potentially infinite 0/1
sequences. Anything that determines the sequence is a potentially infinite
sequence (A potentially infinite 0/1 sequence is not the digits but
the rule which produces them).

William Hughes

Date Subject Author
12/20/13 William Hughes
12/20/13 mueckenh@rz.fh-augsburg.de
12/20/13 William Hughes
12/20/13 mueckenh@rz.fh-augsburg.de
12/20/13 William Hughes
12/20/13 mueckenh@rz.fh-augsburg.de
12/20/13 Virgil
12/20/13 Virgil
12/21/13 mueckenh@rz.fh-augsburg.de
12/21/13 Virgil
12/21/13 JT
12/21/13 Virgil
12/21/13 mueckenh@rz.fh-augsburg.de
12/21/13 Virgil
12/21/13 JT
12/21/13 JT
12/21/13 Virgil
12/21/13 JT
12/21/13 Virgil
12/21/13 JT
12/21/13 William Hughes
12/21/13 JT
12/21/13 JT
12/21/13 William Hughes
12/22/13 JT
12/21/13 Virgil
12/21/13 JT
12/22/13 William Hughes
12/22/13 JT
12/22/13 William Hughes
12/22/13 Virgil
12/21/13 Virgil
12/21/13 JT
12/21/13 Tucsondrew@me.com
12/22/13 mueckenh@rz.fh-augsburg.de
12/22/13 Tucsondrew@me.com
12/22/13 JT
12/21/13 JT
12/21/13 Tucsondrew@me.com
12/22/13 JT
12/21/13 Virgil
12/22/13 mueckenh@rz.fh-augsburg.de
12/23/13 Virgil
12/23/13 mueckenh@rz.fh-augsburg.de
12/23/13 Virgil
12/27/13 JT
12/27/13 JT
12/27/13 Virgil
12/27/13 JT
12/27/13 JT
12/27/13 mueckenh@rz.fh-augsburg.de
12/27/13 Virgil
12/28/13 mueckenh@rz.fh-augsburg.de
12/28/13 Virgil
12/28/13 Virgil
12/21/13 JT
12/21/13 William Hughes
12/21/13 Virgil
12/21/13 JT
12/21/13 JT
12/21/13 Virgil
12/21/13 JT
12/21/13 William Hughes
12/22/13 JT
12/22/13 Virgil
12/21/13 William Hughes
12/21/13 mueckenh@rz.fh-augsburg.de
12/21/13 Virgil
12/21/13 William Hughes
12/22/13 mueckenh@rz.fh-augsburg.de
12/22/13 Virgil
12/20/13 Virgil
12/22/13 Pfsszxt@aol.com
12/22/13 mueckenh@rz.fh-augsburg.de
12/27/13 Neto Henderson Tangent