Re: Cantor's definition of set

On Oct 31, 9:52?pm, MoeBlee <jazzm...@xxxxxxxxxxx> wrote:
On Oct 31, 1:38 pm, John Jones <jonescard...@xxxxxxx> wrote:

While we, ourselves, are able to distinguish between left and right
and before and after, mathematics is not able to distinguish these.
That is, mathematics has no axiom that can lay down order, sequence,
left and right, before and after.

The question of what mathematics "is able to do" shouldn't require
treating mathematics as if it is some agent itself of action.
Mathematics is a field of study; it's not a thing that itself goes
around "laying down" order or anything else.

So, in that field of study that is mathematics, we've shown you, for
example, ordered pairs in set theory. And that's just for starters. To
study mathematics is to study virtuosic explications of all kinds of
orderings and their attributes.

MoeBlee


I am trying to point out the difference between
1) 'order' that is required to read mathematics and
2) 'order' that is formulated by mathematics.
The two are not the same. My claim is that 2) is not possible.

Your set example displayed 1) and not 2)

.

Relevant Pages

  • Re: Well Ordering the Reals
    ... most of the standard axioms would get scrapped ... you claim that set theory is ... theory in which to express virtually all of mathematics. ... S (call this function 'omega pre S'). ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... What I mean is set theory was not born just by the great thought of Cantor. ... of mathematics behind, which help greatly, and which even where necessary for the theory to be imagined. ... formalization, at a level up, for meta-theory. ... scientists and engineers doesn't have to be used by engineers. ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... What I mean is set theory was not ... >> prove only the mathematics we set out to prove and not statements about ... >> formalization that does not compromise the other criteria. ... >> or show a formalization that does not compromise the other criteria. ...
    (sci.math)
  • Re: Das Kalenderblatt 090921
    ... as the appropriate foundation for modern mathematics, ... and set theory itself, ... Unter einer „Menge“ verstehen wir jede Zusammenfassung M von ... Die Existenz von R baut sich auf die " Dedekind'schen Schnitte " auf - ...
    (de.sci.mathematik)
  • Re: Kuratowski Ordered Pair
    ... notions of temporality and things like that, ... operation and mathematics seems to do just fine with the Kuratowski ... definitions are offered by detractors of the Kuratowski definition? ... Fromout set theory ...
    (sci.math)