Re: [ontolog-forum] axiom & mKR experiment

["Richard H. McCullough" <rhmccullough@xxxxxxxxx>]

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)