ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] axiom & mKR experiment

To: David Whitten <whitten@xxxxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhmccullough@xxxxxxxxx>
Date: Sun, 27 Apr 2014 02:01:26 -0700
Message-id: <COL129-W68FE34B1A796476E03623ECB440@xxxxxxx>
This is a summary of recent discussions of the
uncertainty of context:axiom.

dictionary:axiom                      log6
dictionary:math axiom             log2 = 1 bit
dictionary:self-evident axiom  log1 = 0 bits
dictionary:assumption axiom   log1 = 0 bits

McCullough:axiom      is assumption axiom  log1 = 0 bits
Ontolog Forum:axiom is math axiom             log2 = 1 bit
 
Dick McCullough
Context Knowledge Systems
Name your propositions !


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

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