12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday December 22, 2024
Jump to navigationJump to searchDirectory talk:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 22:00, 22 January 2009
, 22:00, 22 January 2009move editing fragment to talk page
* http://stderr.org/pipermail/inquiry/2005-February/002360.html
* http://stderr.org/pipermail/inquiry/2005-February/002360.html
==Alternate Version? Editing Fragment?==
<pre>
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
In this Subsection, I finally bring together many of what may
have appeared to be wholly independent threads of development,
in the hope of paying off a percentage of my promissory notes,
even if a goodly number my creditors have no doubt long since
forgotten, if not exactly forgiven the debentures in question.
For ease of reference, I repeat here a couple of the
definitions that are needed again in this discussion.
| A "boolean connection" of degree k, also known as a "boolean function"
| on k variables, is a map of the form F : %B%^k -> %B%. In other words,
| a boolean connection of degree k is a proposition about things in the
| universe of discourse X = %B%^k.
|
| An "imagination" of degree k on X is a k-tuple of propositions
| about things in the universe X. By way of displaying the kinds
| of notation that are used to express this idea, the imagination
| #f# = <f_1, ..., f_k> is can be given as a sequence of indicator
| functions f_j : X -> %B%, for j = 1 to k. All of these features
| of the typical imagination #f# can be summed up in either one of
| two ways: either in the form of a membership statement, stating
| words to the effect that #f# belongs to the space (X -> %B%)^k,
| or in the form of the type declaration that #f# : (X -> %B%)^k,
| though perhaps the latter specification is slightly more precise
| than the former.
The definition of the "stretch" operation and the uses of the
various brands of denotational operators can be reviewed here:
055. http://suo.ieee.org/email/msg07466.html
057. http://suo.ieee.org/email/msg07469.html
070. http://suo.ieee.org/ontology/msg03473.html
071. http://suo.ieee.org/ontology/msg03479.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
</pre>
