[Top] [All Lists]

Re: [ontolog-forum] Axiomatic ontology

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>, Christopher Menzel <cmenzel@xxxxxxxx>
From: Avril Styrman <Avril.Styrman@xxxxxxxxxxx>
Date: Fri, 1 Feb 2008 17:02:44 +0200
Message-id: <1201878164.47a3349407d70@xxxxxxxxxxxxxxxx>

Quoting Christopher Menzel <cmenzel@xxxxxxxx>:    (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)

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