Re: Specifying Sets



On Mon, 10 Nov 2008 20:12:08 +0000, John Jones <jonescardiff@xxxxxxx> said:
...
In math, a sequence and a list denote (almost*) the same object,

Well quite obviously they don't, unless you want to say that mathematics
has no notion for one of them. If I ask you to bring a list of everyone
you knew, then I wouldn't expect it to be rule-sequenced. Yes? Yes.

He's talking about how "list" is used in mathematics, not in ordinary
English. And what he says is quite correct. A list in mathematics and
computer science (with some caveats in the latter case) is an ordered
sequence of objects. I do realize that just making stuff up about
mathematics based upon your naive and unschooled intuitions is your
modus operandi, and that this prevents you from actually doing the bit
of required research, but this is is just an empirically verifiable fact
about the usage of the term in mathematical contexts.

...
Which different words am I using? The set of all x reduces to all x.

So how would you reduce "The set of all solar planets has nine members"
to a statment about "all solar planets"?

'all x' is coherent. 'The set of all x' is not.

There is nothing extravagant is saying "the set of all blondes", above
all if you are doing mathematics.

But as you yourself indicate, there's no difference apart from
convention in saying 'the set of all x' and 'all x'. The former, is
therefore extravagent.

The point you seem to be missing is that sets are mathematical objects.
Reference to them therefore requires locutions like the former. "all x"
does not pick out a set, it simply quantifies over the x's and hence
will not do the job.

.



Relevant Pages

  • Re: before Cantor
    ... about mathematical "existence" of an object are to be treated as just ... Be careful with how the word "exist" is being used in mathematics as ... questions about the "existence" of mathematical objects are too often loaded ... One of the most ingenious axioms of ZF set ...
    (sci.math)
  • Re: Roger Ebert comes out of the closet!!
    ... I'm not qualified to say whether or not God exists. ... Time to reread "The Unreasonable Effectiveness of Mathematics", ... to the theory of non-Abelian gauge fields. ... a different thing) about mathematical objects. ...
    (talk.origins)
  • Re: Roger Ebert comes out of the closet!!
    ... I'm not qualified to say whether or not God exists. ... mathematical objects. ... Time to reread "The Unreasonable Effectiveness of Mathematics", ... to the theory of non-Abelian gauge fields. ...
    (talk.origins)
  • Re: Opinions on mathematics.
    ... It is difficult to address these matters without saying 'mathematical objects' and expecting to be understood. ... From time to time someone tells me that mathematics is not science. ... The reason is that a mathematical object is a structure that we construct in our mind with the aid of writings and diagrams. ... When doing mathematics we are mapping our minds, ...
    (sci.math)
  • Re: Jechs Set Theory
    ... mathematics is about, and how we should go about waxing philosophical ... the purpose of philosophy of mathematics is to ... understand this practice, and in particular explicate and articulate ... the existence of mathematical objects, ...
    (sci.math)