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: Joel David Hamkins on definable real numbers in analysis
Replies: 98   Last Post: Jun 30, 2013 3:22 PM

 Messages: [ Previous | Next ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: Joel David Hamkins on definable real numbers in analysis
Posted: Jun 22, 2013 11:53 PM

mueckenh@rz.fh-augsburg.de wrote:

> On Saturday, 22 June 2013 20:21:28 UTC+2, Virgil wrote:
> > > The axiom of choice was not assumed as an axiom as a truth.
>
>

> > How or why it was assumed is of no consequence

But that it was assumed true while WM assumes it false means that WM's
analysis of the proof is poofed.

> Zermelo's "proof" is not important

Then why is WM trying to make it important?

The mathematics OUTSIDE of WM's wild weird world of WMytheology,
requires that a limit of a STRICTLY increasing endless sequence,
CANNOT be a member of that sequence.

But INSIDE of WM's wild weird world of WMytheology WMe has that
the limit of a strictly increasing endless sequence of FISONs , if it is
to exist at all, MUST be a member of the sequence.

Thus in WM's WMytheology there must be an end, or largest member for any
sequence of FISONs. This requires the existence of a natural number
which has no successor natural, and cannot happen anywhere outside of
the wild weird world of WMytheology.
--

Date Subject Author
6/18/13 fom
6/19/13 David Petry
6/19/13 fom
6/19/13 mueckenh@rz.fh-augsburg.de
6/19/13 Peter Percival
6/19/13 mueckenh@rz.fh-augsburg.de
6/19/13 Virgil
6/19/13 Tucsondrew@me.com
6/21/13 David C. Ullrich
6/21/13 mueckenh@rz.fh-augsburg.de
6/21/13 Virgil
6/22/13 mueckenh@rz.fh-augsburg.de
6/22/13 Virgil
6/22/13 mueckenh@rz.fh-augsburg.de
6/22/13 Virgil
6/22/13 mueckenh@rz.fh-augsburg.de
6/22/13 Tucsondrew@me.com
6/22/13 mueckenh@rz.fh-augsburg.de
6/22/13 Tucsondrew@me.com
6/23/13 mueckenh@rz.fh-augsburg.de
6/23/13 Tucsondrew@me.com
6/23/13 Tucsondrew@me.com
6/23/13 mueckenh@rz.fh-augsburg.de
6/23/13 Tucsondrew@me.com
6/23/13 Virgil
6/23/13 Virgil
6/24/13 Virgil
6/23/13 Virgil
6/22/13 Virgil
6/23/13 mueckenh@rz.fh-augsburg.de
6/23/13 Virgil
6/23/13 mueckenh@rz.fh-augsburg.de
6/23/13 Virgil
6/24/13 mueckenh@rz.fh-augsburg.de
6/24/13 Virgil
6/25/13 Virgil
6/25/13 Virgil
6/26/13 Virgil
6/26/13 fom
6/26/13 Virgil
6/22/13 Virgil
6/22/13 Tucsondrew@me.com
6/22/13 mueckenh@rz.fh-augsburg.de
6/22/13 Virgil
6/22/13 David C. Ullrich
6/22/13 mueckenh@rz.fh-augsburg.de
6/22/13 Virgil
6/23/13 David C. Ullrich
6/23/13 mueckenh@rz.fh-augsburg.de
6/23/13 Virgil
6/24/13 mueckenh@rz.fh-augsburg.de
6/24/13 Virgil
6/25/13 mueckenh@rz.fh-augsburg.de
6/25/13 Virgil
6/24/13 David C. Ullrich
6/24/13 mueckenh@rz.fh-augsburg.de
6/24/13 Virgil
6/25/13 David C. Ullrich
6/25/13 mueckenh@rz.fh-augsburg.de
6/25/13 Virgil
6/26/13 mueckenh@rz.fh-augsburg.de
6/26/13 Virgil
6/25/13 Tucsondrew@me.com
6/26/13 mueckenh@rz.fh-augsburg.de
6/26/13 Virgil
6/26/13 mueckenh@rz.fh-augsburg.de
6/26/13 Virgil
6/26/13 David C. Ullrich
6/26/13 mueckenh@rz.fh-augsburg.de
6/26/13 Virgil
6/27/13 mueckenh@rz.fh-augsburg.de
6/27/13 Virgil
6/26/13 Virgil
6/27/13 mueckenh@rz.fh-augsburg.de
6/27/13 Virgil
6/28/13 mueckenh@rz.fh-augsburg.de
6/28/13 Tucsondrew@me.com
6/28/13 mueckenh@rz.fh-augsburg.de
6/28/13 Tucsondrew@me.com
6/28/13 mueckenh@rz.fh-augsburg.de
6/28/13 Tucsondrew@me.com
6/29/13 mueckenh@rz.fh-augsburg.de
6/29/13 Virgil
6/30/13 Virgil
6/28/13 Virgil
6/29/13 mueckenh@rz.fh-augsburg.de
6/29/13 Virgil
6/28/13 Virgil
6/28/13 Virgil
6/19/13 Virgil
6/19/13 Virgil