Jon Awbrey · @Inquiry
234 followers · 1733 posts · Server mathstodon.xyz

Cactus Rules
oeis.org/wiki/User:Jon_Awbrey/

With an eye toward the aims of the NKS Forum I've begun to work out a translation of the “elementary cellular automaton rules” (ECARs), in effect, just the boolean functions of abstract type \(f : \mathbb{B}^3 \to \mathbb{B},\) into cactus language, and I'll post a selection of my working notes here.


#cellularautomata #cactussyntax #CactusLanguage #CactusCalculus #PropositionalCalculus #BooleanFunctions #LogicalGraphs #logic

Last updated 1 year ago

Jon Awbrey · @Inquiry
173 followers · 1043 posts · Server mathstodon.xyz
Jon Awbrey · @Inquiry
141 followers · 656 posts · Server mathstodon.xyz
Jon Awbrey · @Inquiry
94 followers · 373 posts · Server mathstodon.xyz
Jon Awbrey · @Inquiry
85 followers · 291 posts · Server mathstodon.xyz
Jon Awbrey · @Inquiry
82 followers · 269 posts · Server mathstodon.xyz
Jon Awbrey · @Inquiry
52 followers · 171 posts · Server mathstodon.xyz

• 5.6
inquiryintoinquiry.com/2020/02

\(\text{Figure 8. Linear Propositions} : \mathbb{B}^3 \to \mathbb{B}\)
inquiryintoinquiry.files.wordp

At the bottom of Figure 8 is for the of rank 0, the constant \(0\) function or the everywhere false proposition, expressed in by the form \(\texttt{(}~\texttt{)}\) or in algebraic form by a simple \(0.\)

\(\text{Figure 8.4 Venn Diagram for}~\texttt{(}~\texttt{)}\)

#cactussyntax #linearproposition #venndiagram #DifferentialPropositionalCalculus

Last updated 2 years ago