Date: Apr 9, 2013 1:15 AM
Author: William Elliot
Subject: Re: some amateurish opinions on CH

On Mon, 8 Apr 2013, fom wrote:
> On 4/8/2013 11:24 PM, William Elliot wrote:
> > On Mon, 8 Apr 2013, fom wrote:

> > > > Remember the engineers' KISS and the beauty of simplicity. What
> > > > more simple than invoking Occam for V = L and no inaccessible?
> > > > Face it, that's all the set theory needed for all of math.

> > >
> > > Do you believe that?
> > >
> > > What about Grothendieck universes arising from category theory?

> >
> > What good are they?

>
> Technically, I think they let algebraists work without concern for
> set-theoretic paradoxes. That would come into play in the
> representation theory. But, I am not knowledgeable enough to assert
> that with confidence.


It's likely as useful ast the category theory topology, pointless
topology, ie pointless.

> > > > BTW, Quine's NF denies AxC.
> > >
> > > I need to look at Quine's work more carefully at this
> > > point. I doubt I would like it because I do not
> > > agree with his views on the nature of identity.

> >
> > At Quine's time it was assumed AxC was compatible. Decades later, it
> > turns out to be violated for some large constructed sets. Would you like
> > the reference for the paper?

>
> Yes. Thank you.


Ernst P. Specker, "The Axiom of Choice in Quine's New Foundations
for Mathematical Logic," pp 972-975, Vol. 39, 1653, Proc. N.A.S.

I'd be interested in your comments.

> > AxC is needed for infinite products of sets to be not empty.
> > Anyway, I'm a prochoice mathematician.

>
> :-)
>
> Yes. I see what you difference you are making.
>
> Historically, the question of identity is related to Leibniz' principle
> of identity of indiscernibles. But, Leibniz logic had been intensional.
> He viewed logical species as more complex than logical genera and his
> reasoning had been based on the fact that more information is required
> to describe a species than is required to describe a genus.
>

Philosphy isn't math.

> I think about identity in those terms. Topologically,
> that would involve something along the lines of
> Cantor's intersection theorem for closed sets. So,
> identity of an individual might require an "infinite
> description".
>

Just the DNA and the google governement file on the person which
has superceeded the old fashion time, date and location of birth.

> In topology, the metric relations and non-metric notions
> of closeness come together in uniform spaces. And,
> of course, one can think about the diagonal of a
> model in relation to the definition of uniformities.
>
> If I am permitted to be ambivalent about the role of model theory, I am
> in agreement with your prochoice affiliation. Stop worrying about
> models, and the axiom of determinacy becomes almost preferable.


What's that? The determination to needlessly multiply entities?