[Top] [All Lists]

Re: [ontolog-forum] Axiomatic ontology

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Fri, 1 Feb 2008 08:33:30 -0600
Message-id: <E2961DD8-ECB3-4540-B4D2-95B12F0C6211@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 
).    (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)

<Prev in Thread] Current Thread [Next in Thread>