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 ]
 mueckenh@rz.fh-augsburg.de Posts: 18,076 Registered: 1/29/05
Re: Matheology § 162
Posted: Nov 28, 2012 9:59 AM

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 and the set containing
both, n and n + 1 ist finite too.

>  Induction is agnostic on
> the question of whether there can be a set of natural numbers
> without largest number.

That's because such a set is a contradiction. Every number has a
magnitude, i.e. it is larger or smaller than another number. A set of
naturals without largest number is like a number without numerical
value or a word that can't be spelled.

>  The interesting thing is that
> you get the same "contradictions" whether or not you allow a
> set of natural numbers without largest number.

You are wrong. But that is not under discussion. Under discussion is
the fact that set theory and analysis deliver different results. Or do
you continue to claim that analysis cannot determine that the limit of
my sequence has more than zero digits?

Regards, WM

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