Hold On Here, On "incompleteness" Of Math. - an Astronomy Net God & Science Forum Message

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


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:

Derivation is proof in math - yanniru - July 20, 2001 - 00:35 UTC
- Cannot be derived or do not exist? - stormcrow - July 20, 2001 - 02:03 UTC
  - Neither - yanniru - July 22, 2001 - 17:27 UTC

Additional Information

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