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
Login

Be the first pioneers to continue the Astronomy Discussions at our new Astronomy meeting place...
The Space and Astronomy Agora
Then The Following People also Misunderstand Godel:

Forum List | Follow Ups | Post Message | Back to Thread Topics | In Response To
Posted by Luis Hamburgh on November 17, 2001 01:28:03 UTC

In regards to Godel's Incompleteness Theorem:

"(Each logical system) contains, at any given time, more true statements than it can possibly prove according to its own defining set of rules." -- Jones and Wilson, An Incomplete Education

"Gödel showed that within a rigidly logical system... propositions can be formulated that are undecidable or undemonstrable within the axioms of the system." -- Boyer, History of Mathematics

"Gödel showed that any system within which arithmetic can be developed, (that system) essentially incomplete." -- Nagel and Newman, Gödel's Proof

"What it seems to say is that rational thought can never penetrate to the final ultimate truth" -- Rucker, Infinity and the Mind

"Gödel showed that provability is a weaker notion than truth, no matter what axiom system is involved ..." -- Hofstadter, Gödel, Escher, Bach

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

So, Alex, are all these folks 'dumb' too? If it's dumb you're looking for, perhaps you should seek the nearest bathroom mirror.

Follow Ups:

Login to Post
Additional Information
Google
 
Web www.astronomy.net
DayNightLine
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