Re: [ontolog-forum] Axiomatic ontology

[Christopher Menzel <cmenzel@xxxxxxxx>]

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.    (01)

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    (03)


_________________________________________________________________
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    (04)