The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Mathematics as a language
Replies: 5   Last Post: Nov 10, 2010 12:05 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Bill Taylor

Posts: 465
Registered: 12/8/04
Re: Mathematics as a language
Posted: Nov 4, 2010 1:40 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Nov 3, 8:35 am, "Jesse F. Hughes" <> wrote:

> Even if we think of the category of sets as the result of some sort of
> iterative construction, there are many possible resulting structures
> (just as there are many possible fields).

Indeed so!

> Now, some of us have the idea
> that the "real" structure of sets is one of these constructions,
> perhaps, and the aim of the axioms is to characterize that real
> structure somehow,

Or at least to describe it as well as possible.
Characterisation (in the technical sense) doesn't seem possible.

There are AT LEAST two views on this, though...

1) the maximalist view, that every set that can conceivably
be brought within the purview of "the iterative hierarchy"
is really part of "the true set theoretic universe";

2) the minimalist view, that only sets that are required to exist
by the "constructive" (?) axioms of ZF, are really part of
"the true set theoretic universe".

(1) would allow AC and as many inaccessibles as you can get;
it is silent on CH.

(2) probably means V=L, and thus solves CH at least,
but seems to be massively unpopular anong set theorists.

Probably many working mathies have a view somewhere in between.

> but I confess I just don't have that intuition at all.

And there're probably a lot like that as well!

Basically, our intuitions just aren't up to confidently
dealing with general set theory. (OC some claim theirs ARE.)

> > We may also observe that infintary set theoretic claims have
> > arithmetic consequences -- "Theory T is inconsistent", <etc>

> I have no difficulties with these (interesting) observations.

Me neither. And they give some urgency to the questions above!

-- Baffled Bill

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.