Goedel's Incompleteness Theorem - 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

Goedel's Incompleteness Theorem

Forum List | Follow Ups | Post Message | Back to Thread Topics | In Response To
Posted by Richard Ruquist on July 12, 2002 13:20:56 UTC

proves that it is possible to know something is true in math without being able to prove it from first principles of the system of math being used.
There are also examples of computer results in math that are true bit have not yet been proven from first principles.

Follow Ups:

...does not apply to this question - pmartin - July 12, 2002 - 19:27 UTC
- If so, then how did Goedel know - yanniru - July 15, 2002 - 13:28 UTC
  - He proved it. - pmartin - July 15, 2002 - 16:01 UTC
    - Computer examples - yanniru - July 15, 2002 - 21:12 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