ontolog-forum
[Top] [All Lists]

## Re: [ontolog-forum] Axiomatic ontology

 To: "[ontolog-forum] " "Barker, Sean (UK)" Mon, 4 Feb 2008 12:10:13 -0000
 This mail is publicly posted to a distribution list as part of a process of public discussion, any automatically generated statements to the contrary non-withstanding. It is the opinion of the author, and does not represent an official company view.    (01) Avril,    (02) You cannot prove 1+1=2. You can only prove 1+1=2 in some particular system. In practice, the most often used system has 1+1=0, as any half-adder design will demonstrate. Computers use this arithmetic system all the time.    (03) More germanely, it is not proving 1+1=2 that is interesting, but the ideas that the proof illustrates. These are not part of the proof, but part of the human experience of the proof. A degree in mathematics is not about proving various facts, but illustrating interesting concepts. Understanding the mechanics of a proof is rarely of itself interesting. Similarly, the problems of formally specifying software were less around specifying correctly, but around specifying it in a way that meant something to the reader.    (04) Sean Barker BAE SYSTEMS - Advanced Technology Centre Bristol, UK +44(0) 117 302 8184    (05) BAE Systems (Operations) Limited Registered Office: Warwick House, PO Box 87, Farnborough Aerospace Centre, Farnborough, Hants, GU14 6YU, UK Registered in England & Wales No: 1996687    (06) > -----Original Message----- > From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx > [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of > Avril Styrman > Sent: 01 February 2008 21:32 > To: Christopher Menzel; [ontolog-forum]    (07) > > I still understand Gödel's proof as a proof that you just > cannot govern everything. It is clear even without any proof > about it. One way to prove that all cannot be proved is the > simple fact 1+1=2 cannot be proved. Or, if you prove it in > some formal system, then the axioms of that formal system > cannot be proven true.    (08) ******************************************************************** This email and any attachments are confidential to the intended recipient and may also be privileged. If you are not the intended recipient please delete it from your system and notify the sender. You should not copy it or use it for any purpose nor disclose or distribute its contents to any other person. ********************************************************************    (09) _________________________________________________________________ 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    (010)
 Current Thread Re: [ontolog-forum] Axiomatic ontology, (continued) 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 Re: [ontolog-forum] Axiomatic ontology, Rob Freeman Re: [ontolog-forum] Axiomatic ontology, Avril Styrman Re: [ontolog-forum] Axiomatic ontology, Christopher Menzel Re: [ontolog-forum] Axiomatic ontology, Barker, Sean (UK) <= Re: [ontolog-forum] Axiomatic ontology, paola . dimaio Re: [ontolog-forum] Axiomatic ontology, Avril Styrman Re: [ontolog-forum] Axiomatic ontology, Avril Styrman Re: [ontolog-forum] Axiomatic ontology, Christopher Menzel Re: [ontolog-forum] Axiomatic ontology, Pat Hayes Re: [ontolog-forum] Axiomatic ontology, John F. Sowa Re: [ontolog-forum] Axiomatic ontology, Chris Menzel Re: [ontolog-forum] Axiomatic ontology, Pat Hayes Re: [ontolog-forum] Axiomatic ontology, Ed Barkmeyer Re: [ontolog-forum] Axiomatic ontology, John F. Sowa