Re: Cantor's definition of set



On Thu, 25 Oct 2007 13:37:58 -0700, John Jones <jonescardiff@xxxxxxx>
wrote:


Anyway, if the members of a set are unique, then I would not like to
say that they have anything in common. So if numbers are unique, then
I would not like to say that they have anything in common.

Look, man: if a, b are elements in the set M, then at least they have in
common that they are elements in M; won't you think so? And that seems
to be inevitable.

Actually, if we consider the set w (as defined in set theory) we usually
refer to the elements in w as "natural numbers". Hence any element in w
is a natural number (by definition). With other words, all elements in w
have in common to be natural numbers.

So where's the problem? Don't you like natural numbers? Or do you think
there's a problem with the concept of set? :-o

-----------------

Now let's consider Cantors "definition" again:

"By a 'set' we mean any collection M into a whole of definite,
distinct objects m (which are called the 'elements' of M) of
our perception [Anschauung] or of our thought."

So if we assume that there actually are natural numbers

1, 2, 3, 4, 5, ...

(say in some Platonic sense) we might consider the collection into a
whole of the numbers

1, 2 and 3

(which are definite distinct objects).

Hence let M be the collection containing exactly the numbers

1, 2, and 3.

In symbols:

M = {1, 2, 3}.

Where's the problem?


F.

--

E-mail: info<at>simple-line<dot>de
.



Relevant Pages

  • Re: Scheme closures
    ... > have in common, namely standards which are, shall we say, ... You mean like the time when Scheme changed from #f and nil ... being the same object to #f and nil being distinct objects? ...
    (comp.lang.lisp)
  • Re: Uniqueness of physical objects in the universe.
    ... > Science is based on grouping together distinct objects with common ... > properties and predicting on the basis of common properties. ...
    (sci.math)
  • Re: about common group & user ID space (PR kern/14584)
    ... it'd be nice to eliminate the arbitrary limitations ... These things are not really related to the common ID space. ... >> members of a particular group or want to implement group-based access ... the Unix systems where I tried: FreeBSD, Linux, HP-UX, UnixWare, SCO ...
    (FreeBSD-Security)
  • Re: structure layout question
    ... which means one cannot rely on the exact layout anyway, ... The standard's wording guarantees that two structs defined with the same ... as you access only common members, ...
    (comp.lang.c)
  • Re: Does "Farmer in the Sky" break your suspension of disbelief?
    ... something in common with other members? ... -- likewise common ground is known to exist from the start? ... Or gaming groups for us geeks, I dated the sister of a friend in my ... of my Starfleet commander (who I met via the SCA). ...
    (rec.arts.sf.written)