God & Science Forum Message | |
| Forums: |
Atm ·
Astrophotography ·
Blackholes ·
Blackholes2 ·
CCD ·
Celestron ·
Domes ·
Education
Eyepieces · Meade · Misc. · God and Science · SETI · Software · UFO · XEphem |
|
|
|
|
||||
|
|
||||||
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. |
|
| 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 |