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 § 154: Consistency Proof!
Replies: 101   Last Post: Nov 25, 2012 5:08 PM

 Messages: [ Previous | Next ]
 mueckenh@rz.fh-augsburg.de Posts: 18,076 Registered: 1/29/05
Re: Matheology § 154: Consistency Proof!
Posted: Nov 23, 2012 9:32 AM

On 23 Nov., 15:16, William Hughes <wpihug...@gmail.com> wrote:
> On Nov 23, 10:11 am, WM <mueck...@rz.fh-augsburg.de> wrote:
>

> > On 23 Nov., 13:27, William Hughes <wpihug...@gmail.com> wrote:
>
> > > So to summarize:
>
> > > Analysis:
> > >    limit in real numbers: unbounded
> > >                          (oo in extended reals)

>
> > >    limit of set of 1's:

oo = Limit[n-->oo] SUM[k=0 to n] 10^k
= 1*10^0 + 1*10^1 + 1*10^2 + 1*10^3 + ...
= ...111 =

And here something you may have missed this morning. You invtroduced
the sequence
1
10
100
...
But it seems you are no longer interested in your argument?

> P(n): n is not the index of a position with a 1.

> P(1) is true.
> If P(n) is true then P(n+1) is true.

> For each natural number n, P(n) is true.-

Great! What about the digits in the sequence
1.
12.
123.
...

In order to avoid complications with numbers > 9 consider the
indices only. Here induction shows:
n is not the index of a position with a finite index.
According to set theory all digits vanish in the infinite.
Set theory is really a theory of spirit.
But analysis runs differently (see above).
And say, why is the anti-diagonal yet determined in such a boring way?
We could make it vanish completely. Then Cantorian disciples would
come to rest.

Regards, WM

Date Subject Author
11/18/12 mueckenh@rz.fh-augsburg.de
11/18/12 Vurgil
11/18/12 William Hughes
11/18/12 Vurgil
11/19/12 mueckenh@rz.fh-augsburg.de
11/19/12 Vurgil
11/19/12 mueckenh@rz.fh-augsburg.de
11/19/12 William Hughes
11/19/12 mueckenh@rz.fh-augsburg.de
11/19/12 Vurgil
11/20/12 mueckenh@rz.fh-augsburg.de
11/20/12 Virgil
11/21/12 William Hughes
11/21/12 mueckenh@rz.fh-augsburg.de
11/21/12 William Hughes
11/21/12 mueckenh@rz.fh-augsburg.de
11/21/12 William Hughes
11/21/12 mueckenh@rz.fh-augsburg.de
11/21/12 William Hughes
11/21/12 mueckenh@rz.fh-augsburg.de
11/21/12 William Hughes
11/21/12 mueckenh@rz.fh-augsburg.de
11/21/12 William Hughes
11/21/12 mueckenh@rz.fh-augsburg.de
11/21/12 William Hughes
11/22/12 mueckenh@rz.fh-augsburg.de
11/22/12 William Hughes
11/22/12 mueckenh@rz.fh-augsburg.de
11/22/12 William Hughes
11/22/12 mueckenh@rz.fh-augsburg.de
11/22/12 William Hughes
11/22/12 mueckenh@rz.fh-augsburg.de
11/22/12 William Hughes
11/22/12 mueckenh@rz.fh-augsburg.de
11/22/12 William Hughes
11/23/12 mueckenh@rz.fh-augsburg.de
11/23/12 Virgil
11/23/12 mueckenh@rz.fh-augsburg.de
11/23/12 Virgil
11/23/12 William Hughes
11/23/12 mueckenh@rz.fh-augsburg.de
11/23/12 William Hughes
11/23/12 mueckenh@rz.fh-augsburg.de
11/23/12 William Hughes
11/23/12 mueckenh@rz.fh-augsburg.de
11/23/12 William Hughes
11/23/12 mueckenh@rz.fh-augsburg.de
11/23/12 William Hughes
11/23/12 mueckenh@rz.fh-augsburg.de
11/23/12 William Hughes
11/23/12 mueckenh@rz.fh-augsburg.de
11/23/12 William Hughes
11/23/12 mueckenh@rz.fh-augsburg.de
11/23/12 William Hughes
11/23/12 mueckenh@rz.fh-augsburg.de
11/23/12 mueckenh@rz.fh-augsburg.de
11/23/12 Virgil
11/23/12
11/23/12 Virgil
11/24/12 mueckenh@rz.fh-augsburg.de
11/24/12 Virgil
11/23/12 Virgil
11/24/12 mueckenh@rz.fh-augsburg.de
11/24/12 Virgil
11/25/12 mueckenh@rz.fh-augsburg.de
11/25/12 Virgil
11/25/12 mueckenh@rz.fh-augsburg.de
11/25/12 Virgil
11/23/12 Virgil
11/23/12 mueckenh@rz.fh-augsburg.de
11/23/12 Virgil
11/23/12 Virgil
11/23/12 Virgil
11/23/12 mueckenh@rz.fh-augsburg.de
11/23/12 Virgil
11/23/12 Virgil
11/23/12 Virgil
11/23/12 Virgil
11/22/12 Virgil
11/22/12 Virgil
11/22/12 Virgil
11/23/12 mueckenh@rz.fh-augsburg.de
11/23/12 Virgil
11/23/12 mueckenh@rz.fh-augsburg.de
11/23/12 Virgil
11/22/12 Virgil
11/23/12 mueckenh@rz.fh-augsburg.de
11/23/12 Virgil
11/23/12 mueckenh@rz.fh-augsburg.de
11/23/12 Virgil
11/22/12 Virgil
11/21/12 Virgil
11/21/12 Virgil
11/21/12 Virgil
11/21/12 Virgil
11/21/12 Virgil
11/21/12 Virgil
11/22/12 mueckenh@rz.fh-augsburg.de
11/19/12 Vurgil
11/20/12 mueckenh@rz.fh-augsburg.de
11/20/12 Virgil
11/22/12 David Valdez