[Top] [All Lists]

Re: [ontolog-forum] Terminology and Knowledge Engineering

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Michael Brunnbauer <brunni@xxxxxxxxxxxx>
Date: Tue, 24 Jan 2012 21:51:06 +0100
Message-id: <20120124205106.GA8811@xxxxxxxxxxxx>

Hello Rich,    (01)

On Tue, Jan 24, 2012 at 12:34:19PM -0800, Rich Cooper wrote:
> Gödel showed that any logical system at least as
> powerful as arithmetic is necessarily conflicted;
> there are true theorems that cannot be proven and
> there are false theorems that cannot be refuted.      (02)

Gödel showed that there are always theorems that are independent of such a
system. That is: They are neither true or false because there are models
of the system where they are true and there are models where they are false.
A model is an interpretation of all symbols of the system where all
restrictions/axioms are true. The system is "ambiguous".    (03)

Of course I did not imply that ambiguity in natural language is the same.    (04)

Regards,    (05)

Michael Brunnbauer    (06)

++  Michael Brunnbauer
++  netEstate GmbH
++  Geisenhausener Straße 11a
++  81379 München
++  Tel +49 89 32 19 77 80
++  Fax +49 89 32 19 77 89 
++  E-Mail brunni@xxxxxxxxxxxx
++  http://www.netestate.de/
++  Sitz: München, HRB Nr.142452 (Handelsregister B München)
++  USt-IdNr. DE221033342
++  Geschäftsführer: Michael Brunnbauer, Franz Brunnbauer
++  Prokurist: Dipl. Kfm. (Univ.) Markus Hendel    (07)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (08)

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