



Be the first pioneers to continue the Astronomy Discussions at our new Astronomy meeting place... The Space and Astronomy Agora 
Hmm...
Forum List  Follow Ups  Post Message  Back to Thread Topics  In Response To Posted by Harvey on September 24, 2003 17:27:23 UTC 
The problem is, is that the Godel sentence is proven in Godel's theorem that it cannot be formally derived in the axiomatic system without making the axiomatic system inconsistent. The interpretation that I've seen of formally derived is that this means that G cannot be proven in the axiomatic system. That is, to prove a theorem is to formally derive this theorem. It says nothing, to me, on whether a mathematical truth can be nonformally derived (or intuitively derived) in a Ramanujan style of mathematics (who largely avoided proofs in his work). Are you sure that Penrose is referring to derived truths versus formally derived truths? It might be possible, I guess, that all mathematical truths are not even derivable from their axioms, but I know of no restriction in Godel's incompleteness theorems that prevent all true theorems from being nonformally derived from their axioms. One possibility is Goldbach's conjecture in number theory (every even interger greater than two is a sum of two primes). We can derive this conjecture from number theory, but we cannot formally derive it (i.e., prove it). The possibility exists that there is a Godelian restriction of proof of Goldbach's conjecture. Perhaps there are many Goldbach conjectures that are true and also undiscoverable, even as conjectures, but I don't know any Godelian restriction in at least discovering the conjecture by 'deriving' them. What do you think? 

Additional Information 

About Astronomy Net  Advertise on Astronomy Net  Contact & Comments  Privacy Policy 
Unless otherwise specified, web site content Copyright 19942020 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 