12,212
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday March 04, 2026
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Cactus Rules (view source)
Revision as of 02:46, 23 May 2009
, 02:46, 23 May 2009→Document History: markup
{{DISPLAYTITLE:Cactus Rules}}
{{DISPLAYTITLE:Cactus Rules}}
==Note 1==
<pre>
<pre>
With an eye toward the aims of the NKS Forum, I've begun to work out
With an eye toward the aims of the NKS Forum, I've begun to work out
a translation of the "elementary cellular automaton rules" (ECAR's),
a translation of the "elementary cellular automaton rules" (ECAR's),
http://www.pinball.com/games/cactus/
http://www.pinball.com/games/cactus/
</pre>
==Note 2==
<pre>
One of the first things I note is that several whole families
One of the first things I note is that several whole families
of otherwise enigmatic and obscurely expressed rules take on
of otherwise enigmatic and obscurely expressed rules take on
http://atlas.wolfram.com/01/01/views/172/TableView.html
http://atlas.wolfram.com/01/01/views/172/TableView.html
</pre>
==Note 3==
<pre>
Here are the parse-graph portraits of the family of cacti
Here are the parse-graph portraits of the family of cacti
that we examined last time, listed in complementary pairs.
that we examined last time, listed in complementary pairs.
as I might like, and it may be that other eyes would see
as I might like, and it may be that other eyes would see
forms more economical than the ones that strike me first.
forms more economical than the ones that strike me first.
</pre>
==Note 4==
<pre>
Given the novelty of the cactus calculus, it is probably
Given the novelty of the cactus calculus, it is probably
wise to run through a representative sample of the forms
wise to run through a representative sample of the forms
a number of mutually exclusive and exhaustive territories,
a number of mutually exclusive and exhaustive territories,
here envisioned to salute the flags p, q, r, respectively.
here envisioned to salute the flags p, q, r, respectively.
</pre>
==Note 5==
<pre>
So long as we're seeing the sights at Cactus Junction,
So long as we're seeing the sights at Cactus Junction,
we might as well take a gander at a computational way
we might as well take a gander at a computational way
That is not yet a method that would be amenable to
That is not yet a method that would be amenable to
computational routine, but it does get us part way.
computational routine, but it does get us part way.
</pre>
==Note 6==
<pre>
Within each space of boolean functions {f : B^k -> B},
Within each space of boolean functions {f : B^k -> B},
altogether ranking a cardinality of 2^(2^k) functions,
altogether ranking a cardinality of 2^(2^k) functions,
Beannachtaí na Féile Pádraig oraibh go leir!
Beannachtaí na Féile Pádraig oraibh go leir!
</pre>
==Note 7==
<pre>
Had I been thinking ahead, I might have mentioned this first,
Had I been thinking ahead, I might have mentioned this first,
but now that aspects of algebra and geometry have intruded on
but now that aspects of algebra and geometry have intruded on
With that out of the way, I'll try to
With that out of the way, I'll try to
get back to the main event next time.
get back to the main event next time.
</pre>
==Note 8==
<pre>
In any k-dimensional universe of discourse X% = [x_1, ..., x_k]
In any k-dimensional universe of discourse X% = [x_1, ..., x_k]
there are two other (2^k)-clans of propositions that ordinarily
there are two other (2^k)-clans of propositions that ordinarily
| | | | |
| | | | |
o---------o------------o-----------------o-------------------o
o---------o------------o-----------------o-------------------o
</pre>
==Note 9==
<pre>
In the language of cacti, as in Peirce's existential graphs,
In the language of cacti, as in Peirce's existential graphs,
the implication p => q takes the form (p (q)), which can be
the implication p => q takes the form (p (q)), which can be
| | | | |
| | | | |
o---------o------------o-----------------o-------------------o
o---------o------------o-----------------o-------------------o
</pre>
==Note 10==
<pre>
Table 6. More Variations on a Theme of Implication
Table 6. More Variations on a Theme of Implication
o---------o------------o-----------------o-------------------o
o---------o------------o-----------------o-------------------o
| | | | |
| | | | |
o---------o------------o-----------------o-------------------o
o---------o------------o-----------------o-------------------o
</pre>
==Note 11==
<pre>
Table 7. Conjunctive Implications and Their Complements
Table 7. Conjunctive Implications and Their Complements
o---------o------------o-----------------o-------------------o
o---------o------------o-----------------o-------------------o
| | | | |
| | | | |
o---------o------------o-----------------o-------------------o
o---------o------------o-----------------o-------------------o
</pre>
==Note 12==
<pre>
In the language of cacti, unlike Peirce's alpha graphs,
In the language of cacti, unlike Peirce's alpha graphs,
it is possible to represent the logical functions that
it is possible to represent the logical functions that
| | | | |
| | | | |
o---------o------------o-----------------o-------------------o
o---------o------------o-----------------o-------------------o
</pre>
==Note 13==
<pre>
Table 9. Conjunctive Differences and Equalities
Table 9. Conjunctive Differences and Equalities
o---------o------------o-----------------o--------------------o
o---------o------------o-----------------o--------------------o
| | | | |
| | | | |
o---------o------------o-----------------o--------------------o
o---------o------------o-----------------o--------------------o
</pre>
==Note 14==
<pre>
I will explain my concept of "thematization"
I will explain my concept of "thematization"
or "thematic extension" after I copy out the
or "thematic extension" after I copy out the
| | | | |
| | | | |
o---------o------------o-----------------o---------------------o
o---------o------------o-----------------o---------------------o
</pre>
==Note 15==
<pre>
Table 11. Thematic Extensions: [p, r] -> [p, q, r]
Table 11. Thematic Extensions: [p, r] -> [p, q, r]
o---------o------------o-----------------o---------------------o
o---------o------------o-----------------o---------------------o
| | | | |
| | | | |
o---------o------------o-----------------o---------------------o
o---------o------------o-----------------o---------------------o
</pre>
==Note 16==
<pre>
Table 12. Thematic Extensions: [p, q] -> [p, q, r]
Table 12. Thematic Extensions: [p, q] -> [p, q, r]
o---------o------------o-----------------o---------------------o
o---------o------------o-----------------o---------------------o
| | | | |
| | | | |
o---------o------------o-----------------o---------------------o
o---------o------------o-----------------o---------------------o
</pre>
==Note 17==
<pre>
Table 13. Differences & Equalities Conjoined with Implications
Table 13. Differences & Equalities Conjoined with Implications
o---------o------------o-----------------o---------------------o
o---------o------------o-----------------o---------------------o
| | | | |
| | | | |
o---------o------------o-----------------o---------------------o
o---------o------------o-----------------o---------------------o
</pre>
==Note 18==
<pre>
Table 14 shows the propositions q_i : B^3 -> B whose "fibers of truth",
Table 14 shows the propositions q_i : B^3 -> B whose "fibers of truth",
that is, whose pre-images of 1, have the form of a single point in B^3
that is, whose pre-images of 1, have the form of a single point in B^3
| | | | |
| | | | |
o---------o------------o-----------------o---------------------------o
o---------o------------o-----------------o---------------------------o
</pre>
==Note 19==
<pre>
Table 15. Differences and Equalities between Simples and Boundaries
Table 15. Differences and Equalities between Simples and Boundaries
o---------o------------o-----------------o---------------------------o
o---------o------------o-----------------o---------------------------o
| | | | |
| | | | |
o---------o------------o-----------------o---------------------------o
o---------o------------o-----------------o---------------------------o
</pre>
==Note 20==
<pre>
Table 16. Paisley Propositions
Table 16. Paisley Propositions
o---------o------------o-----------------o---------------------------o
o---------o------------o-----------------o---------------------------o
| | | | |
| | | | |
o---------o------------o-----------------o---------------------------o
o---------o------------o-----------------o---------------------------o
</pre>
==Note 21==
<pre>
Table 17 gives another way of writing the "paisley propositions"
Table 17 gives another way of writing the "paisley propositions"
that makes their symmetry class more manifest. The venn diagram
that makes their symmetry class more manifest. The venn diagram
o-------------------------------------------------o
o-------------------------------------------------o
q_216. p + p q + p q r + (p, q, r)
q_216. p + p q + p q r + (p, q, r)
</pre>
==Note 22==
<pre>
I'm puzzled by the blind-spot that prevented me
I'm puzzled by the blind-spot that prevented me
from seeing this very simple and natural family
from seeing this very simple and natural family
| | | | |
| | | | |
o---------o------------o-----------------o---------------------------o
o---------o------------o-----------------o---------------------------o
</pre>
==Note 23==
<pre>
For ease of viewing, I am placing
For ease of viewing, I am placing
copies of the Cactus Rules Table
copies of the Cactus Rules Table
Table 256. http://stderr.org/pipermail/inquiry/2004-April/001314.html
Table 256. http://stderr.org/pipermail/inquiry/2004-April/001314.html
Table 256. http://suo.ieee.org/ontology/msg05512.html
Table 256. http://suo.ieee.org/ontology/msg05512.html
</pre>
==Note 24a==
<pre>
Here is a set of representative cactus graphs
Here is a set of representative cactus graphs
for the 256 propositions on three variables.
for the 256 propositions on three variables.
| q_31 | | q_224 |
| q_31 | | q_224 |
o-------------------o o-------------------o
o-------------------o o-------------------o
</pre>
==Note 24b==
<pre>
o-------------------o o-------------------o
o-------------------o o-------------------o
| | | |
| | | |
| q_63 | | q_192 |
| q_63 | | q_192 |
o-------------------o o-------------------o
o-------------------o o-------------------o
</pre>
==Note 24c==
<pre>
o-------------------o o-------------------o
o-------------------o o-------------------o
| | | |
| | | |
| q_95 | | q_160 |
| q_95 | | q_160 |
o-------------------o o-------------------o
o-------------------o o-------------------o
</pre>
==Note 24d==
<pre>
o-------------------o o-------------------o
o-------------------o o-------------------o
| | | |
| | | |
| q_127 | | q_128 |
| q_127 | | q_128 |
o-------------------o o-------------------o
o-------------------o o-------------------o
</pre>
==Note 24e==
<pre>
I'm attaching here a text file copy of the current set
I'm attaching here a text file copy of the current set
of cactus graphs for propositions on three variables,
of cactus graphs for propositions on three variables,
| | | | |
| | | | |
o---------o------------o-----------------o---------------------------o
o---------o------------o-----------------o---------------------------o
</pre>
==Work Area 1==
<pre>
o-------------------------------------------------o
o-------------------------------------------------o
| |
| |
o-------------------------------------------------o
o-------------------------------------------------o
Figure 1. Full Universe
Figure 1. Full Universe
</pre>
==Work Area 2==
<pre>
Table 1. Boundaries and Their Complements
Table 1. Boundaries and Their Complements
o---------o------------o-----------------o---------------------------o
o---------o------------o-----------------o---------------------------o
o-------------------------------------------------o
o-------------------------------------------------o
q_131. r + ((p),(q), r)
q_131. r + ((p),(q), r)
</pre>
==Work Area 3==
<pre>
o-------------------------------------------------o
o-------------------------------------------------o
| |
| |
o-------------------------------------------------o
o-------------------------------------------------o
Thematic Extension q_225. ((p, ((q)(r)) ))
Thematic Extension q_225. ((p, ((q)(r)) ))
</pre>
==Work Area 4==
<pre>
o---------o------------o-----------------o---------------------o
o---------o------------o-----------------o---------------------o
| L_1 | L_2 | L_3 | L_4 |
| L_1 | L_2 | L_3 | L_4 |
| | | | |
| | | | |
o---------o------------o-----------------o---------------------o
o---------o------------o-----------------o---------------------o
</pre>
==Appendices==
<pre>
Table 0. Simple Propositions
Table 0. Simple Propositions
o---------o------------o-----------------o-------------------o
o---------o------------o-----------------o-------------------o
| | | | |
| | | | |
o---------o------------o-----------------o---------------------------o
o---------o------------o-----------------o---------------------------o
</pre>
==Discussion Note==
<pre>
Just by way of incidental kibitzing,
Just by way of incidental kibitzing,
I notice that Rule 73 has the form of
I notice that Rule 73 has the form of
http://forum.wolframscience.com/showthread.php?postid=830#post830
http://forum.wolframscience.com/showthread.php?postid=830#post830
</pre>
==Document History==
===Ontology List (Mar–Apr 2004)===
* http://suo.ieee.org/ontology/thrd1.html#05486
# http://suo.ieee.org/ontology/msg05486.html
# http://suo.ieee.org/ontology/msg05487.html
# http://suo.ieee.org/ontology/msg05488.html
# http://suo.ieee.org/ontology/msg05489.html
# http://suo.ieee.org/ontology/msg05490.html
# http://suo.ieee.org/ontology/msg05491.html
# http://suo.ieee.org/ontology/msg05492.html
# http://suo.ieee.org/ontology/msg05493.html
# http://suo.ieee.org/ontology/msg05494.html
# http://suo.ieee.org/ontology/msg05495.html
# http://suo.ieee.org/ontology/msg05496.html
# http://suo.ieee.org/ontology/msg05498.html
# http://suo.ieee.org/ontology/msg05499.html
# http://suo.ieee.org/ontology/msg05500.html
# http://suo.ieee.org/ontology/msg05501.html
# http://suo.ieee.org/ontology/msg05502.html
# http://suo.ieee.org/ontology/msg05503.html
# http://suo.ieee.org/ontology/msg05507.html
# http://suo.ieee.org/ontology/msg05508.html
# http://suo.ieee.org/ontology/msg05509.html
# http://suo.ieee.org/ontology/msg05510.html
# http://suo.ieee.org/ontology/msg05511.html
# http://suo.ieee.org/ontology/msg05512.html
# http://suo.ieee.org/ontology/msg05518.html
===Inquiry List (Mar–Apr 2004)===
* http://stderr.org/pipermail/inquiry/2004-March/thread.html#1265
* http://stderr.org/pipermail/inquiry/2004-April/thread.html#1305
# http://stderr.org/pipermail/inquiry/2004-March/001265.html
# http://stderr.org/pipermail/inquiry/2004-March/001266.html
# http://stderr.org/pipermail/inquiry/2004-March/001267.html
# http://stderr.org/pipermail/inquiry/2004-March/001268.html
# http://stderr.org/pipermail/inquiry/2004-March/001269.html
# http://stderr.org/pipermail/inquiry/2004-March/001270.html
# http://stderr.org/pipermail/inquiry/2004-March/001271.html
# http://stderr.org/pipermail/inquiry/2004-March/001272.html
# http://stderr.org/pipermail/inquiry/2004-March/001273.html
# http://stderr.org/pipermail/inquiry/2004-March/001274.html
# http://stderr.org/pipermail/inquiry/2004-March/001275.html
# http://stderr.org/pipermail/inquiry/2004-March/001277.html
# http://stderr.org/pipermail/inquiry/2004-March/001278.html
# http://stderr.org/pipermail/inquiry/2004-March/001279.html
# http://stderr.org/pipermail/inquiry/2004-March/001280.html
# http://stderr.org/pipermail/inquiry/2004-March/001281.html
# http://stderr.org/pipermail/inquiry/2004-March/001290.html
# http://stderr.org/pipermail/inquiry/2004-April/001305.html
# http://stderr.org/pipermail/inquiry/2004-April/001306.html
# http://stderr.org/pipermail/inquiry/2004-April/001307.html
# http://stderr.org/pipermail/inquiry/2004-April/001308.html
# http://stderr.org/pipermail/inquiry/2004-April/001312.html
# http://stderr.org/pipermail/inquiry/2004-April/001314.html
# http://stderr.org/pipermail/inquiry/2004-April/001322.html
===NKS Forum (Mar–Apr 2004)===
* http://forum.wolframscience.com/showthread.php?threadid=256
# http://forum.wolframscience.com/showthread.php?postid=810#post810
# http://forum.wolframscience.com/showthread.php?postid=818#post818
# http://forum.wolframscience.com/showthread.php?postid=826#post826
# http://forum.wolframscience.com/showthread.php?postid=829#post829
# http://forum.wolframscience.com/showthread.php?postid=830#post830
# http://forum.wolframscience.com/showthread.php?postid=831#post831
# http://forum.wolframscience.com/showthread.php?postid=832#post832
# http://forum.wolframscience.com/showthread.php?postid=834#post834
# http://forum.wolframscience.com/showthread.php?postid=835#post835
# http://forum.wolframscience.com/showthread.php?postid=838#post838
# http://forum.wolframscience.com/showthread.php?postid=840#post840
# http://forum.wolframscience.com/showthread.php?postid=841#post841
# http://forum.wolframscience.com/showthread.php?postid=842#post842
# http://forum.wolframscience.com/showthread.php?postid=843#post843
# http://forum.wolframscience.com/showthread.php?postid=844#post844
# http://forum.wolframscience.com/showthread.php?postid=845#post845
# http://forum.wolframscience.com/showthread.php?postid=854#post854
# http://forum.wolframscience.com/showthread.php?postid=891#post891
# http://forum.wolframscience.com/showthread.php?postid=894#post894
# http://forum.wolframscience.com/showthread.php?postid=897#post897
# http://forum.wolframscience.com/showthread.php?postid=898#post898
# http://forum.wolframscience.com/showthread.php?postid=902#post902
# http://forum.wolframscience.com/showthread.php?postid=909#post909
# http://forum.wolframscience.com/showthread.php?postid=927#post927
# http://forum.wolframscience.com/showthread.php?postid=928#post928
# http://forum.wolframscience.com/showthread.php?postid=929#post929
# http://forum.wolframscience.com/showthread.php?postid=933#post933
# http://forum.wolframscience.com/showthread.php?postid=934#post934
===NKS Forum : Discussion (Apr 2004)===
# http://forum.wolframscience.com/showthread.php?postid=901#post901
