Back to Home

God & Science 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 | God and Science | Post
Login

Be the first pioneers to continue the Astronomy Discussions at our new Astronomy meeting place...
The Space and Astronomy Agora
Hold On Here, On "incompleteness" Of Math.

Forum List | Follow Ups | Post Message | Back to Thread Topics | In Response To
Posted by Alexander on July 19, 2001 19:09:19 UTC

Goedel theorem basicly says that out of rich enough (=big enough) set of axioms you can derive some statements which are CORRECT statements (consistent with all axioms because they were derived from them), but which can not be proven WITHIN ONLY this given set of axioms (i.e., proof may require ADDITIONAL axioms).

I would not call that "imcompleteness" - this is misleading term - more proper is to call it "redunance" or "richness" or "openness" of math.

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-2024 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