ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Axiomatic ontology

 To: "[ontolog-forum] " , Christopher Menzel Avril Styrman Fri, 1 Feb 2008 17:02:44 +0200 <1201878164.47a3349407d70@xxxxxxxxxxxxxxxx>
 ``` Quoting Christopher Menzel :    (01) > On Feb 1, 2008, at 8:10 AM, Avril Styrman wrote: > > ... > > What did Gödel's incompleteness theorem about arithmetics teach? At > > least it taught that not everything can be proven. > > It taught no such thing. Really, you should actually study the > theorem enough to understand it before you make assertions about what > it did or did not teach. You might want to start with Torkel > Franzen's excellent little book Gödel's Theorem: An Incomplete Guide > to Its Use and Abuse > (http://www.amazon.com/Godels-Theorem-Incomplete-Guide-Abuse/dp/1568812388    (02) Chris, sure it did:    (03) Gödel's incompleteness theorem, referring to a different meaning of completeness, shows that if any sufficiently strong effective theory of arithmetic is consistent then there is a formula (depending on the theory) which can neither be proven nor disproven within the theory.    (04) You can read the Bible like a devil, but this doesn't change anything. The above is just a round-route of saying that everything cannot be proved.    (05) Avril    (06) _________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (07) ```
 Current Thread Re: [ontolog-forum] Axiomatic ontology, (continued) Re: [ontolog-forum] Axiomatic ontology, Ed Barkmeyer Re: [ontolog-forum] Axiomatic ontology, Steve Newcomb Re: [ontolog-forum] Axiomatic ontology, John F. Sowa Re: [ontolog-forum] Axiomatic ontology, Wacek Kusnierczyk Re: [ontolog-forum] Axiomatic ontology, Patrick Cassidy Re: [ontolog-forum] Axiomatic ontology, Duane Nickull Re: [ontolog-forum] Axiomatic ontology, Patrick Cassidy Re: [ontolog-forum] Axiomatic ontology, paola . dimaio Re: [ontolog-forum] Axiomatic ontology, Duane Nickull Re: [ontolog-forum] Axiomatic ontology, Barker, Sean (UK) Re: [ontolog-forum] Axiomatic ontology, Avril Styrman <= Re: [ontolog-forum] Axiomatic ontology, Christopher Menzel Re: [ontolog-forum] Axiomatic ontology, Patrick Cassidy Re: [ontolog-forum] Axiomatic ontology, Ed Barkmeyer Re: [ontolog-forum] Axiomatic ontology, John F. Sowa Re: [ontolog-forum] Axiomatic ontology, Pat Hayes Re: [ontolog-forum] Axiomatic ontology, John F. Sowa Re: [ontolog-forum] Axiomatic ontology, Patrick Cassidy Re: [ontolog-forum] Axiomatic ontology, John F. Sowa Re: [ontolog-forum] Axiomatic ontology, Sharma, Ravi Re: [ontolog-forum] Axiomatic ontology, Patrick Cassidy