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

Be the first pioneers to continue the Astronomy Discussions at our new Astronomy meeting place...
The Space and Astronomy Agora
Can You Name Anything That Has Been Proven Not To Follow Logical

Forum List | Follow Ups | Post Message | Back to Thread Topics | In Response To
Posted by Richard Ruquist on July 19, 2001 12:05:44 UTC

What Chaitin and earlier Goedel have done is to prove that there are things that cannot be derived from a finite number of axioms. These things are called irreducible. You are suggesting that everything is reducible to some fundamental principles. The revolution in math of the 20th century, according to Chaitin, is that most math is irreducible. So I suggest you read up on Goedel's incompleteness theorem. The Penrose books are a good source and good reading.

Follow Ups:

Login to Post
Additional Information
About Astronomy Net | Advertise on Astronomy Net | Contact & Comments | Privacy Policy
Unless otherwise specified, web site content Copyright 1994-2023 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