An important quality of ‹ob› is that it is a proper mathematical structure. In particular all functions, Of, of ‹ob› are welldefined. This condition of welldefinedness 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›, welldefinedness 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 potentiallycooperating 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 welldefinedness 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.
n021000b: The WellDefinedness Bind [latest]
n021000c: Initial Note
n021000a: Diary & Job Jar

created 2002101815:46 0700 (pdt) by orcmid 