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: Platonism, criticism
Replies: 135   Last Post: Apr 17, 2014 11:06 PM

 Messages: [ Previous | Next ]
 David Petry Posts: 1,104 Registered: 12/8/04
Re: Platonism, criticism
Posted: Apr 14, 2014 3:32 PM

On Monday, April 14, 2014 9:17:07 AM UTC-7, Jim Burns wrote:
> On 4/14/2014 11:16 AM, mueckenh@rz.fh-augsburg.de wrote:

> > Actual infinity implies a contradiction.

> This is the sort of claim that I have been looking for.

So even though you deny being a Platonist, you act like one.

> > A set of numbers
> > is "proven" uncountable by constructing or defining another number
> > that, together with the former, belongs to a countable set.
> > The proof that all constructable and definable numbers belong
> > to a countable set is circumvented by asserting the existence
> > of undefinable numbers.

> I should give you credit for knowing that this is wrong,
> I suppose. That means that you are blatantly lying.

> That spoils the fun for me, [...]

I too have trouble deciphering WM's argument. So let me
present an argument that I *think* is close to the argument
the he is trying to present.

In the language I am using here, the only things that "exist"
are things that are provably well defined. Let's say that a
real number is provably well defined iff we have a proof that
every digit of the number can actually be computed. And let's
say that a list of real numbers is provably well defined iff
we have a proof that for all n and m, the n'th digit of the
m'th real number in the list can actually be computed. Then
the diagonal argument gives us a way to construct a provably
well defined real number not on the list. However, that does
not imply that it's meaningful to say that there exists a
collection of all real numbers, and especially, it does not
imply that there "exist" uncountable collections of real
numbers.

Date Subject Author
4/8/14 David Petry
4/8/14 scattered
4/8/14 David Petry
4/8/14 scattered
4/8/14 Virgil
4/8/14 Peter Percival
4/8/14 David Petry
4/8/14 Jens Stuckelberger
4/8/14 David Petry
4/8/14 Brian Q. Hutchings
4/8/14 mueckenh@rz.fh-augsburg.de
4/8/14 Virgil
4/10/14 Bill Taylor
4/10/14 mueckenh@rz.fh-augsburg.de
4/10/14 Virgil
4/10/14 mueckenh@rz.fh-augsburg.de
4/10/14 Brian Q. Hutchings
4/10/14 Virgil
4/10/14 Virgil
4/11/14 mueckenh@rz.fh-augsburg.de
4/11/14 Brian Q. Hutchings
4/11/14 Virgil
4/11/14 ross.finlayson@gmail.com
4/8/14 Jim Burns
4/8/14 ross.finlayson@gmail.com
4/9/14 Jim Burns
4/9/14 Peter Percival
4/9/14 David Petry
4/9/14 ross.finlayson@gmail.com
4/9/14 David Petry
4/9/14 Jim Burns
4/9/14 David Petry
4/9/14 Jim Burns
4/9/14 David Petry
4/10/14 Jim Burns
4/10/14 David Petry
4/11/14 Virgil
4/11/14 mueckenh@rz.fh-augsburg.de
4/11/14 Virgil
4/11/14 Virgil
4/11/14 mueckenh@rz.fh-augsburg.de
4/11/14 Virgil
4/11/14 Jim Burns
4/11/14 mueckenh@rz.fh-augsburg.de
4/11/14 Virgil
4/11/14 Jim Burns
4/11/14 Virgil
4/11/14 Jim Burns
4/11/14 Virgil
4/11/14 Martin Shobe
4/11/14 Jim Burns
4/11/14 David Petry
4/11/14 mueckenh@rz.fh-augsburg.de
4/11/14 Jim Burns
4/11/14 Virgil
4/12/14 mueckenh@rz.fh-augsburg.de
4/12/14 Jim Burns
4/12/14 mueckenh@rz.fh-augsburg.de
4/12/14 Virgil
4/12/14 Virgil
4/12/14 Jim Burns
4/13/14 mueckenh@rz.fh-augsburg.de
4/13/14 Jim Burns
4/13/14 mueckenh@rz.fh-augsburg.de
4/13/14 Virgil
4/13/14 ross.finlayson@gmail.com
4/14/14 Jim Burns
4/14/14 mueckenh@rz.fh-augsburg.de
4/14/14 Brian Q. Hutchings
4/14/14 Jim Burns
4/14/14 mueckenh@rz.fh-augsburg.de
4/14/14 Virgil
4/14/14 David Petry
4/14/14 Virgil
4/15/14 Virgil
4/15/14 Virgil
4/15/14 Virgil
4/15/14 Virgil
4/15/14 Virgil
4/14/14 Jim Burns
4/15/14 mueckenh@rz.fh-augsburg.de
4/15/14 Jim Burns
4/15/14 mueckenh@rz.fh-augsburg.de
4/15/14 Virgil
4/15/14 Virgil
4/15/14 Virgil
4/15/14 Virgil
4/15/14 Virgil
4/15/14 Virgil
4/16/14 Virgil
4/16/14 Virgil
4/17/14 Virgil
4/17/14 Virgil
4/17/14 Virgil
4/15/14 Jim Burns
4/15/14 Jim Burns
4/15/14 Virgil
4/15/14 Jim Burns
4/15/14 Virgil
4/15/14 Virgil
4/15/14 mueckenh@rz.fh-augsburg.de
4/15/14 Virgil
4/15/14 Virgil
4/15/14 Virgil
4/14/14 Virgil
4/14/14 Virgil
4/13/14 Virgil
4/12/14 Virgil
4/12/14 Roland Franzius
4/11/14 Virgil
4/11/14 Virgil
4/11/14 ross.finlayson@gmail.com
4/12/14 David Petry
4/12/14 Jim Burns
4/13/14 David Petry
4/13/14 ross.finlayson@gmail.com
4/9/14 Jim Burns
4/9/14 David Petry
4/8/14 ross.finlayson@gmail.com
4/11/14 Eduardo J. Donglemeier