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 ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: Matheology � 154: Consistency Proof!
Posted: Nov 23, 2012 4:17 PM

In article
WM <mueckenh@rz.fh-augsburg.de> wrote:

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

> > > On 23 Nov., 15:42, William Hughes <wpihug...@gmail.com> wrote:
> >
> > > > On Nov 23, 10:32 am, WM <mueck...@rz.fh-augsburg.de> wrote:
> >
> > > > > 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

> >
> > > > this piece of nonsense has nothing to do
> > > > with the limit of the sequence

> >
> > > > 1
> > > > 10
> > > > 100
> > > > ...

> >
> > > > which is oo = Limit[n-->oo] 10^k
> > > > and it not represented by any numeral.

> >
> > > That is of little interest!
> >
> > On the contrary, the fact that the analytic *limit*
> > cannot be described in terms of digits is
> > the point.-

>
> No, that is not a point.

The analytic limit can be calculated.

Agreed, but that it can be expressed as a real number seems to be a
delusion that WM cannot shake. Even if one extends the reals by a one or
two point compactification so that there is a value in the extended
reals, that value is not representable as a digit string.

> Analysis infers from the limit the number of required digits, namely
> oo.

Which 'number' of digits preceding a radix point is not allowed.

So WM is off daydreaming in his Wolkenmuekenheim again!
--

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