Back to Home

Blackholes Forum Message

Forums: Atm · Astrophotography · Blackholes · Blackholes2 · CCD · Celestron · Domes · Education
Eyepieces · Meade · Misc. · God and Science · SETI · Software · UFO · XEphem
RSS Button

Home | Discussion Forums | Blackholes I | Post
Login

Be the first pioneers to continue the Astronomy Discussions at our new Astronomy meeting place...
The Space and Astronomy Agora
Correction

Forum List | Follow Ups | Post Message | Back to Thread Topics | In Response To
Posted by Harvey on September 12, 2001 21:44:30 UTC

I was rushing when I wrote this:

"Firstly, I don't think it is correct to say that GIT contradicts set theory. There are however, paradoxes as a result of AC (axiom of choice) that do contradict ZFC set theory (versus ZF) - Russell's theory of types was an attempt to reconcile these contradictions."

I should have said:

"Firstly, I don't think it is correct to say that GIT contradicts set theory. There are however, apparent paradoxes as a result of AC (axiom of choice). Russell's theory of types was also introduced to avoid a separate paradox that occurs with the set of the largest possible set."

Reading over the first paragraph I see that I confused the theory of types with AC 'paradoxes'. I'm not sure of the relationship between Russell's theory of types and the axiom of choice. Maybe Russell's paradox does not need the AC to still occur - like I said, I am not sure about it. Does anybody know?

Warm regards, Harv

Follow Ups:

    Login to Post
    Additional Information
    Google
     
    Web www.astronomy.net
    DayNightLine
    About Astronomy Net | Advertise on Astronomy Net | Contact & Comments | Privacy Policy
    Unless otherwise specified, web site content Copyright 1994-2019 John Huggins All Rights Reserved
    Forum posts are Copyright their authors as specified in the heading above the post.
    "dbHTML," "AstroGuide," "ASTRONOMY.NET" & "VA.NET"
    are trademarks of John Huggins