Directory talk:Jon Awbrey/Papers/Cactus Language - Revision history

Jon Awbrey: move notes to talk page

2009-06-29T21:01:13Z

move notes to talk page

Show changes

Jon Awbrey: /* Arisbe List (Mar 2001) */

2009-04-21T02:52:07Z

Arisbe List (Mar 2001)

Jon Awbrey: move editing fragment to talk page

2009-01-22T22:00:24Z

move editing fragment to talk page

Jon Awbrey: /* Fragmata */ add thread

2009-01-05T17:54:52Z

Fragmata: add thread

Jon Awbrey: /* Arisbe List (Mar 2001) */

2009-01-05T17:24:24Z

Arisbe List (Mar 2001)

Jon Awbrey: /* Arisbe List (Mar 2001) */

2009-01-05T17:16:58Z

Arisbe List (Mar 2001)

Jon Awbrey: /* Arisbe List (Mar 2001) */

2009-01-05T17:14:56Z

Arisbe List (Mar 2001)

Jon Awbrey: /* Arisbe List (Mar–Apr 2001) */

2009-01-05T17:09:06Z

Arisbe List (Mar–Apr 2001)

Jon Awbrey: /* Arisbe List (Mar 2001) */

2009-01-05T17:07:57Z

Arisbe List (Mar 2001)

Jon Awbrey: /* Arisbe List (Mar 2001) */

2009-01-05T17:03:04Z

Arisbe List (Mar 2001)

@@ Line 44: / Line 44: @@
 ===Propositional Equation Reasoning Systems===
-====Arisbe List (Mar 2001)====
+====Arisbe List (Mar&ndash;Apr 2001)====
 * http://stderr.org/pipermail/arisbe/2001-March/thread.html#380

← Older revision		Revision as of 22:00, 22 January 2009
Line 78:		Line 78:

	* 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>

@@ Line 17: / Line 17: @@
 * http://suo.ieee.org/ontology/thrd1.html#05486
 * http://suo.ieee.org/ontology/thrd2.html#05489
 ===Extensions Of Logical Graphs===

@@ Line 51: / Line 51: @@
 # http://stderr.org/pipermail/arisbe/2001-April/000427.html
 # http://stderr.org/pipermail/arisbe/2001-April/000428.html
 ====Inquiry List (Mar 2003)====

@@ Line 47: / Line 47: @@
 # http://stderr.org/pipermail/arisbe/2001-April/000413.html
 # http://stderr.org/pipermail/arisbe/2001-April/000416.html
 ====Inquiry List (Mar 2003)====

@@ Line 40: / Line 40: @@
 * http://stderr.org/pipermail/arisbe/2001-March/thread.html#380
 * http://stderr.org/pipermail/arisbe/2001-April/thread.html#407
-: http://stderr.org/pipermail/arisbe/2001-March/000380.html
+# http://stderr.org/pipermail/arisbe/2001-March/000380.html
-: http://stderr.org/pipermail/arisbe/2001-April/000407.html
+# http://stderr.org/pipermail/arisbe/2001-April/000407.html
-: http://stderr.org/pipermail/arisbe/2001-April/000409.html
+# http://stderr.org/pipermail/arisbe/2001-April/000409.html
 ====Inquiry List (Mar 2003)====