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 § 162
Replies: 78   Last Post: Dec 10, 2012 4:46 AM

 Messages: [ Previous | Next ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: Matheology � 162
Posted: Nov 28, 2012 2:55 PM

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

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

> > > On 28 Nov., 13:48, William Hughes <wpihug...@gmail.com> wrote:
> >
> > > > On Nov 28, 2:43 am, WM <mueck...@rz.fh-augsburg.de> wrote:
> >
> > > > > Induction proves also: Every set of natural numbers is finite.
> > > > > Why do you overlook this simple proof?

> >
> > > > No, what induction proves is that every set of natural numbers
> > > > with a largest number is finite.

> >
> > > And induction proves that every set of natural numbers has a largest
> > > number. For every finite n also n + 1 is finite

> >
> > Look! Over There! A Pink Elephant!
> >

> > >and the set containing
> > > both, n and n + 1 ist finite too.

> >
> > There is of course no such thing as
> >  "the set containing both n and n+1".

>
> Here it is: {n, n+1}

But here too it is: {n, n+1, n+2}
And here too it is: {n, n+1, n+2, n+3}
And yet again it is {n, n+1, n+2, ...}
>
> > You need to prove that all such sets
> > have a largest number, not just the sets
> > you can get by starting with {} and
> > adding one element at a time.

>
> Induction does not say more than: 1 is natural number, and if n is a
> natural number, then n+1 is a natural number.
> If {1, 2, 3, ..., n} is a set of natural numbers, then
> {1, 2, 3, ..., n, n+1} is a set of natural numbers.

In every standard set theory, any union of sets all of whose members
have a given property is necessarily a set all of whose members have
that property.

Thus there exists in every standard set theory a set which is the union
of all sets whose members are natural numbers. Thus there is no natural
number which is NOT a member of such a set.

Those who reject that principle are rejecting set theory as a whole.

>
> Have you meanwhile convinced yourself that analysis is capable
> expanding infinity by a series of powers of 10? This is tantamount to
> a decimal representation.

Once one has an "infinity" as a limit of reals in in analysis, one
cannot "expand" it by powers of 10, or in any other way.
--

Date Subject Author
11/25/12 mueckenh@rz.fh-augsburg.de
11/25/12 Roland Franzius
11/25/12 namducnguyen
11/26/12 mueckenh@rz.fh-augsburg.de
11/26/12 Virgil
11/25/12 Virgil
11/26/12 mueckenh@rz.fh-augsburg.de
11/26/12 Virgil
11/26/12 mueckenh@rz.fh-augsburg.de
11/26/12 Virgil
11/26/12 YBM
11/26/12 mueckenh@rz.fh-augsburg.de
11/26/12 Virgil
11/27/12 mueckenh@rz.fh-augsburg.de
11/27/12 Virgil
11/27/12 mueckenh@rz.fh-augsburg.de
11/27/12 Carsten Schultz
11/27/12 mueckenh@rz.fh-augsburg.de
11/27/12 Carsten Schultz
11/27/12 Virgil
11/27/12 mueckenh@rz.fh-augsburg.de
11/27/12 Virgil
11/28/12 Carsten Schultz
11/29/12 mueckenh@rz.fh-augsburg.de
11/29/12 Virgil
11/27/12 Virgil
11/27/12 William Hughes
11/27/12 mueckenh@rz.fh-augsburg.de
11/27/12 William Hughes
11/27/12 mueckenh@rz.fh-augsburg.de
11/27/12 William Hughes
11/27/12 mueckenh@rz.fh-augsburg.de
11/27/12 Virgil
11/28/12 mueckenh@rz.fh-augsburg.de
11/28/12 Virgil
11/28/12 mueckenh@rz.fh-augsburg.de
11/28/12 Virgil
11/27/12 William Hughes
11/28/12 mueckenh@rz.fh-augsburg.de
11/28/12 Virgil
11/28/12 mueckenh@rz.fh-augsburg.de
11/28/12 Virgil
11/28/12 William Hughes
11/28/12 mueckenh@rz.fh-augsburg.de
11/28/12 William Hughes
11/28/12 mueckenh@rz.fh-augsburg.de
11/28/12 Michael Stemper
11/29/12 mueckenh@rz.fh-augsburg.de
11/29/12 Michael Stemper
11/29/12 mueckenh@rz.fh-augsburg.de
11/29/12 Michael Stemper
11/29/12 mueckenh@rz.fh-augsburg.de
11/29/12 YBM
11/29/12 trj
11/29/12 Virgil
11/30/12 mueckenh@rz.fh-augsburg.de
11/30/12 Virgil
12/1/12 mueckenh@rz.fh-augsburg.de
12/1/12 Virgil
11/29/12 Virgil
11/29/12 Virgil
11/28/12 Virgil
11/28/12 Virgil
12/10/12 veronika kočková
11/27/12 Virgil
11/27/12 YBM
11/27/12 Virgil
11/27/12 mueckenh@rz.fh-augsburg.de
11/27/12 Virgil
11/28/12 mueckenh@rz.fh-augsburg.de
11/28/12 Virgil
11/27/12 Virgil
11/27/12 mueckenh@rz.fh-augsburg.de
11/27/12 Virgil
11/28/12 Michael Stemper
11/28/12 mueckenh@rz.fh-augsburg.de
11/28/12 Virgil
11/29/12 mueckenh@rz.fh-augsburg.de
11/29/12 Virgil