The Miser Project

Notes Folio n021000
The Well-Definedness Bind


0.01 2017-08-29 16:40

An important quality of ‹ob› is that it is a proper mathematical structure.  In particular all functions, Of, of ‹ob› are well-defined.  This condition of well-definedness accounts for the mathematical and logical straightforwardness of ‹ob› in contrast to typical interpretations of mathematical structures in computational systems.

As much as it preserves the application of mathematics to computational interpretations of ‹ob›, well-definedness creates some difficulties for "natural" manifestations of ‹ob› in computational systems.  This note describes the nature of that bind and its relationship to the maintenance of distributed identity among potentially-cooperating manifestations.

The "bind" is illustrated by a simple and appealing function, ob.proc, one that encapsulates arbitrary Obs as individuals.   Since encapsulation under ‹ob› is important for manifestation of other structures in ‹ob› itself (and hence in manifestations of ‹ob›), understanding the  preservation of well-definedness is crucial to development of principles for Miser extensionality.  It appears that there are also implications for the trustworthiness of cooperative arrangements and the "interchange" of Obs (i.e., manifestations) among cooperating Miser systems.

Related Material

0.01 2014-03-22-12:57 Transposition to Folio Structure
This material is transposed into a multi-page folio for further development, with preservation of the original note for historical purposes.
0.00 2002-10-18-15:46 Initial Draft (orcmid)
Sketch the basic situation and what it implies for the manifestation of Obs with oMiser.

Construction Structure (Hard Hat Area)

You are navigating the Miser Project.

created 2002-10-18-15:46 -0700 (pdt) by orcmid
$$Author: Orcmid $
$$Date: 17-08-29 16:40 $
$$Revision: 27 $