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 |
| I Agree
Forum List | Follow Ups | Post Message | Back to Thread Topics | In Response To Posted by Richard Ruquist on September 24, 2003 20:58:30 UTC |
It says that a mathematical truth can be non-formally derived (or intuitively derived) in a Ramanujan style of mathematics, but not formally derived from the axioms. What Penrose noticed is that some truths of a system can also be derived formally in a more complete system, to use a play on words. |
|
|
| 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 |