Finding a Needle in a Cactus Patch

Post   : Finding a Needle in a Cactus Patch
URL    : http://inquiryintoinquiry.com/2013/04/30/finding-a-needle-in-a-cactus-patch/
Posted : April 30, 2013 at 10:48 am
Author : Jon Awbrey

Re: Sex, Lies, And Quantum Computers
At: http://rjlipton.wordpress.com/2013/04/27/sex-lies-and-quantum-computers/

Don't know much about quantum computation, but my ventures in graphical syntaxes
for propositional calculus did turn up a logical operator whose evaluation process
reminded me a little of the themes involved in the collapse of the wave function.

Here is the essential information —

• Minimal Negation Operators
http://mywikibiz.com/Minimal_negation_operator

Boolean formulas constructed from minimal negation operators can be given
graph-theoretic representation as “decorated” or “painted” versions of
rooted cactus graphs.

Here is a place where you can see some pictures and a description of the
Fundamental Evaluation Rule for cactus expressions of propositional formulas.

• Cactus Calculus
http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems#Formal_extension_:_Cactus_calculus

-- 

academia: http://independent.academia.edu/JonAwbrey
my word press blog: http://inquiryintoinquiry.com/
inquiry list: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey
facebook page: https://www.facebook.com/JonnyCache