Search All of the Math Forum:

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

Topic: Matheology § 154: Consistency Proof!
Replies: 101   Last Post: Nov 25, 2012 5:08 PM

 Search Thread: Advanced Search

 Messages: [ Previous | Next ]
 mueckenh@rz.fh-augsburg.de Posts: 18,076 Registered: 1/29/05
Re: Matheology § 154: Consistency Proof!
Posted: Nov 23, 2012 2:37 PM
 Plain Text Reply

On 23 Nov., 19:51, William Hughes <wpihug...@gmail.com> wrote:
> On Nov 23, 2:23 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>

> > On 23 Nov., 19:12, William Hughes <wpihug...@gmail.com> wrote:
> > > It's still Piffle to say
>
> > >      Analysis infers from the limit the number of required digits
>
> > It is obvious that you don't like analysis. Try to understand the
> > function called logarithm with base 10. The number of digits is [lgx]
> > + 1.

>
> Saying oo has an infinite number of digits is nonsense

It is not nonsense since set theory has "improved" analysis.

> (even though saying log_10(oo)+1 = oo is not nonsense).

Correct.
And moreover we know that [lgx] + 1 gives the number of digits of x.
Limit[n-->oo] SUM[k=0 to n] a_k*10^k = oo.
The set { a_k | k in |N } has cardinality aleph_0.

> Your claim that oo requires digits is Piffle.

I do not say that oo requires digits. But oo can be expressed by
digits. And to say that there are aleph_0 digits required is not
nonsense as long as there are people who believe in the existence of
infinitely many elements of |N.

But may you believe it or not: Can you imagine to admit a
contradiction of set theory and mathematics, if it could be proven
that analysis shows the existence of infinitely many digits left to
the point in the limit of my sequence?

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

© The Math Forum at NCTM 1994-2017. All Rights Reserved.