Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: Finitely definable reals.
Replies: 52   Last Post: Jan 18, 2013 2:37 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
mueckenh@rz.fh-augsburg.de

Posts: 14,692
Registered: 1/29/05
Re: Finitely definable reals.
Posted: Jan 16, 2013 1:49 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On 15 Jan., 21:06, Virgil <vir...@ligriv.com> wrote:

> The induction procedure exhausts both the first natural  and also the
> successor of every natural, so what naturals does it fail to exhaust?


If the induction procedure was sufficient to establish an actually
infinite set, ZF would not need the axiom of infinity.

The induction procedure establishes that there is no actually infinite
set by proving that the number of elements up to every natural is
finite.
As this holds always, the naturals are potentially infinite but we
never gather a number of naturals that is larger than any natural. We
get it only by reversion of quantification. A simple mistake:

For every n there is m > n
has been confused to
There is an m larger than every n.

Ridiculous.

Regards, WM


Date Subject Author
1/11/13
Read Finitely definable reals.
Zaljohar@gmail.com
1/11/13
Read Re: Finitely definable reals.
Aatu Koskensilta
1/11/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/11/13
Read Re: Finitely definable reals.
Zaljohar@gmail.com
1/11/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/11/13
Read Re: Finitely definable reals.
Zaljohar@gmail.com
1/11/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/11/13
Read Re: Finitely definable reals.
Virgil
1/11/13
Read Re: Finitely definable reals.
Virgil
1/12/13
Read Re: Finitely definable reals.
JT
1/12/13
Read Re: Finitely definable reals.
JT
1/12/13
Read Re: Finitely definable reals.
JT
1/12/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/12/13
Read Re: Finitely definable reals.
Virgil
1/12/13
Read Re: Finitely definable reals.
Virgil
1/11/13
Read Re: Finitely definable reals.
Virgil
1/11/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/11/13
Read Re: Finitely definable reals.
Virgil
1/12/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/12/13
Read Re: Finitely definable reals.
Virgil
1/14/13
Read Re: Finitely definable reals.
forbisgaryg@gmail.com
1/14/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/14/13
Read Re: Finitely definable reals.
Virgil
1/15/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/15/13
Read Re: Finitely definable reals.
forbisgaryg@gmail.com
1/15/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/15/13
Read Re: Finitely definable reals.
ross.finlayson@gmail.com
1/15/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/15/13
Read Re: Finitely definable reals.
Virgil
1/16/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/16/13
Read Re: Finitely definable reals.
Virgil
1/17/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/17/13
Read Re: Finitely definable reals.
Virgil
1/18/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/18/13
Read Re: Finitely definable reals.
Virgil
1/15/13
Read Re: Finitely definable reals.
Virgil
1/16/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/16/13
Read Re: Finitely definable reals.
Virgil
1/15/13
Read Re: Finitely definable reals.
Virgil
1/12/13
Read Re: Finitely definable reals.
camgirls@hush.com
1/13/13
Read Re: Finitely definable reals.
DBatchelo1
1/13/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/14/13
Read Re: Finitely definable reals.
DBatchelo1
1/14/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/14/13
Read Re: Finitely definable reals.
Virgil
1/15/13
Read Re: Finitely definable reals.
DBatchelo1
1/15/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/15/13
Read Re: Finitely definable reals.
Virgil
1/16/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/16/13
Read Re: Finitely definable reals.
Virgil
1/17/13
Read Re: Finitely definable reals.
mueckenh@rz.fh-augsburg.de
1/17/13
Read Re: Finitely definable reals.
Virgil
1/15/13
Read Re: Finitely definable reals.
Virgil

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.