Eggs and hens



Date view Thread view Subject view Author view Attachment view

From: Joaquin Miller (joaquin.no.spam@acm.org)
Date: Wed 21 Apr 2004 - 15:44:43 BST


Friends:

One can avoid stepping on eggs and being tripped up by hens if one uses the 
axiomatic method to specify poultry.

The 3C UML 2 submission shows how this is done for a modeling 
language.  The other advantages of the axiomatic method won't fit here.

Cordially,

Joaquin

http://www.omg.org/cgi-bin/doc?ad/02-09-15.pdf
or
http://www.omg.org/cgi-bin/doc?ad/02-09-15.mif

.................

Sure, axioms need to be expressed in some language.  But that's 
unavoidable, and the most general case has been much 
discussed.  Wittgenstein is a good author on that, and Tarski on the 
axiomatic method.  Bunge says it in few words:  it is not possible to 
define everything while avoiding circularity.  The axiomatic method does 
the job: it does not attempt to define everything.

Having defined a formal system using the axiomatic method, what remains is 
to express how that system and the parts of that system are intended to be 
used.  Then we have a practical system.


PGP Fingerprint:
CA23 6BCA ACAB 6006 E3C3 0E79 2122 94B4 E5FD 42C3

Date view Thread view Subject view Author view Attachment view