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: Warning to visitors to sci.math
Replies: 266   Last Post: Mar 19, 2012 9:13 AM

 Messages: [ Previous | Next ]
 Rotwang Posts: 1,685 From: Swansea Registered: 7/26/06
Re: Warning to visitors to sci.math
Posted: Mar 16, 2012 1:15 AM

On 16/03/2012 04:24, Rotwang wrote:
> [...]
>
> Is it just that the word "set" invokes the image of a
> container, and you don't accept the idea of something containing an
> infinite number of things? If so then just call them something other
> than sets, and use a word other than "in" for the elementhood relation.
> In practice, nothing that mathematicians use sets for actually depend on
> thinking of sets as "containing" things.

Perhaps I should illustrate this with an example. Let's suppose that
of saying that a number n is in a set x, they would say that a number n
possessed a flag x. All of the axioms of set theory could then be
translated into statements about flags; the pairing axiom (which says
that for all sets x and y there is a set z whose elements are x and y,
and nothing else) would become the statement that, for all flags f and
g, there exists a flag h such that f possesses h, g possesses h, and no
other flags possess h. The axiom of infinity would become the statement
that there is a flag f which is possessed by 0, and which is possessed
by n + 1 whenever it is possessed by n.

The completeness axiom of the real numbers would then have to be changed
to refer to flags instead of sets: instead of saying that every
non-empty set of real numbers bounded above has a least upper bound, it
would say that for every flag f such that at least one real number
possesses f, and such that there is a real number M which is greater
than every real number that possesses f, there exists a least real
number greater than or equal to every real number that possesses f. The
proof I gave would go through in much the same way, except it wouldn't
refer to sets containing infinitely many numbers; instead it would refer
to flags that are possessed by infinitely many real numbers. But
mathematically it would be the exact same proof, just using different
(and more cumbersome) words to mean the same thing.

Would you have any objection to the idea of a flag being possessed by
infinitely many numbers?

Date Subject Author
3/7/12 DavidW
3/8/12 Brian Chandler
3/8/12 Richard Tobin
3/8/12 Shmuel (Seymour J.) Metz
3/8/12 amzoti
3/9/12 micky
3/8/12 Frederick Williams
3/8/12 DavidW
3/8/12 DavidW
3/8/12 DavidW
3/8/12 J. Antonio Perez M.
3/8/12 DavidW
3/8/12 J. Antonio Perez M.
3/9/12 DavidW
3/9/12 Brian Chandler
3/9/12 DavidW
3/9/12 DavidW
3/9/12 Brian Chandler
3/9/12 DavidW
3/9/12 Frederick Williams
3/9/12 DavidW
3/9/12 Frederick Williams
3/9/12 DavidW
3/9/12 J. Antonio Perez M.
3/10/12 Frederick Williams
3/10/12 DavidW
3/10/12 DavidW
3/10/12 Jerry Friedman
3/10/12 Don Phillipson
3/10/12 Harrison Hill
3/12/12 Tom P
3/12/12 DavidW
3/12/12 Prai Jei
3/12/12 J. Antonio Perez M.
3/12/12 Peter Moylan
3/12/12 DavidW
3/13/12 Rotwang
3/13/12 DavidW
3/13/12 Rotwang
3/13/12 DavidW
3/13/12 Rotwang
3/13/12 DavidW
3/13/12 Rotwang
3/13/12 DavidW
3/13/12 Rotwang
3/13/12 DavidW
3/13/12 Rotwang
3/14/12 DavidW
3/14/12 Rotwang
3/14/12 J. Antonio Perez M.
3/14/12 DavidW
3/14/12 J. Antonio Perez M.
3/14/12 DavidW
3/14/12 J. Antonio Perez M.
3/14/12 DavidW
3/14/12 J. Antonio Perez M.
3/14/12 DavidW
3/14/12 Rotwang
3/14/12 DavidW
3/14/12 Rotwang
3/15/12 Jussi Piitulainen
3/15/12 DavidW
3/14/12 Rotwang
3/14/12 DavidW
3/14/12 Rotwang
3/14/12 DavidW
3/14/12 Rotwang
3/14/12 DavidW
3/14/12 Rotwang
3/15/12 DavidW
3/15/12 Rotwang
3/15/12 DavidW
3/15/12 Rotwang
3/15/12 DavidW
3/15/12 Rotwang
3/15/12 DavidW
3/15/12 Rotwang
3/15/12 DavidW
3/15/12 Rotwang
3/15/12 DavidW
3/16/12 Rotwang
3/16/12 Rotwang
3/16/12 DavidW
3/16/12 DavidW
3/16/12 ross.finlayson@gmail.com
3/17/12 ross.finlayson@gmail.com
3/17/12 Daryl McCullough
3/16/12 ross.finlayson@gmail.com
3/16/12 ross.finlayson@gmail.com
3/13/12 Prai Jei
3/14/12 Transfer Principle
3/15/12 FredJeffries@gmail.com
3/15/12 Transfer Principle
3/15/12 Daryl McCullough
3/16/12 J. Antonio Perez M.
3/14/12 ross.finlayson@gmail.com
3/12/12 Stan Brown
3/13/12 R H Draney
3/13/12 DavidW
3/13/12 Daryl McCullough
3/13/12 Snidely
3/13/12 Jerry Friedman
3/13/12 Lanarcam
3/13/12 Frederick Williams
3/13/12 J. Antonio Perez M.
3/13/12 Richard Tobin
3/13/12 Peter Moylan
3/14/12 R H Draney
3/14/12 Transfer Principle
3/14/12 Rotwang
3/15/12 Transfer Principle
3/15/12 Rotwang
3/14/12 ross.finlayson@gmail.com
3/14/12 J. Antonio Perez M.
3/15/12 Transfer Principle
3/16/12 Daryl McCullough
3/17/12 Michael Stemper
3/17/12 Peter Moylan
3/14/12 Michael Stemper
3/14/12 ross.finlayson@gmail.com
3/14/12 Tim Little
3/13/12 DavidW
3/13/12 Frederick Williams
3/13/12 DavidW
3/13/12 J. Antonio Perez M.
3/13/12 DavidW
3/13/12 J. Antonio Perez M.
3/14/12 Michael Stemper
3/14/12 DavidW
3/13/12 Jim Burns
3/14/12 Stan Brown
3/13/12 Daryl McCullough
3/14/12 Transfer Principle
3/14/12 Rotwang
3/14/12 J. Antonio Perez M.
3/15/12 Transfer Principle
3/14/12 Michael Stemper
3/15/12 Transfer Principle
3/15/12 Virgil
3/15/12 Rotwang
3/16/12 quasi
3/16/12 quasi
3/15/12 Daryl McCullough
3/10/12 Prai Jei
3/12/12 Peter Moylan
3/12/12 DavidW
3/13/12 Jim Burns
3/13/12 Prai Jei
3/13/12 FredJeffries@gmail.com
3/14/12 Peter Moylan
3/10/12 Stan Brown
3/11/12 DavidW
3/9/12 Frederick Williams
3/8/12 Transfer Principle
3/8/12 J. Antonio Perez M.
3/8/12 Daryl McCullough
3/10/12 Transfer Principle
3/10/12 FredJeffries@gmail.com
3/10/12 DavidW
3/10/12 FredJeffries@gmail.com
3/10/12 quasi
3/10/12 quasi
3/10/12 DavidW
3/10/12 J. Antonio Perez M.
3/11/12 DavidW
3/11/12 ma'ayan peres
3/11/12 quasi
3/11/12 DavidW
3/11/12 Frederick Williams
3/11/12 DavidW
3/11/12 Frederick Williams
3/11/12 DavidW
3/11/12 Frederick Williams
3/11/12 DavidW
3/11/12 Transfer Principle
3/12/12 quasi
3/12/12 quasi
3/12/12 DavidW
3/12/12 J. Antonio Perez M.
3/12/12 DavidW
3/12/12 quasi
3/12/12 quasi
3/12/12 Transfer Principle
3/12/12 quasi
3/12/12 DavidW
3/12/12 Jussi Piitulainen
3/12/12 quasi
3/12/12 DavidW
3/12/12 J. Antonio Perez M.
3/12/12 Frederick Williams
3/12/12 J. Antonio Perez M.
3/12/12 DavidW
3/12/12 Brian Chandler
3/12/12 DavidW
3/12/12 J. Antonio Perez M.
3/12/12 DavidW
3/12/12 J. Antonio Perez M.
3/12/12 DavidW
3/12/12 J. Antonio Perez M.
3/12/12 DavidW
3/13/12 Michael Stemper
3/13/12 DavidW
3/13/12 Frederick Williams
3/13/12 J. Antonio Perez M.
3/13/12 DavidW
3/13/12 Richard Tobin
3/12/12 J. Antonio Perez M.
3/12/12 Pubkeybreaker
3/12/12 J. Antonio Perez M.
3/12/12 Transfer Principle
3/12/12 J. Antonio Perez M.
3/12/12 Frederick Williams
3/12/12 Transfer Principle
3/13/12 FredJeffries@gmail.com
3/15/12 Transfer Principle
3/10/12 FredJeffries@gmail.com
3/10/12 FredJeffries@gmail.com
3/9/12 quasi
3/9/12 DavidW
3/9/12 quasi
3/9/12 DavidW
3/9/12 Michael Stemper
3/9/12 Jesse F. Hughes
3/9/12 Michael Stemper
3/9/12 Jesse F. Hughes
3/9/12 DavidW
3/10/12 Transfer Principle
3/10/12 FredJeffries@gmail.com
3/13/12 Michael Stemper
3/14/12 Transfer Principle
3/14/12 J. Antonio Perez M.
3/14/12 Michael Stemper
3/15/12 Transfer Principle
3/15/12 Daryl McCullough
3/19/12 Michael Stemper
3/9/12 Daryl McCullough
3/9/12 DavidW
3/10/12 Daryl McCullough
3/10/12 Daryl McCullough
3/9/12 Daryl McCullough
3/9/12 Frederick Williams
3/9/12 Frederick Williams
3/9/12 Michael Stemper
3/9/12 Michael Stemper
3/8/12 Pfsszxt@aol.com
3/8/12 Dirk Van de moortel
3/8/12 Brian Q. Hutchings
3/8/12 David C. Ullrich
3/8/12 DavidW
3/8/12 J. Antonio Perez M.
3/8/12 Daryl McCullough
3/8/12 Jesse F. Hughes
3/9/12 quasi
3/9/12 Jesse F. Hughes
3/10/12 Jesse F. Hughes
3/12/12 Jesse F. Hughes
3/12/12 Frederick Williams
3/13/12 Jesse F. Hughes
3/16/12