Re: R.J. Lipton • 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 —
Boolean formulas constructed from minimal negation operators can be given graph-theoretic representation as “decorated” or “painted” versions of rooted cactus graphs.
Here are a couple of places where you can see some pictures and a description of the Fundamental Evaluation Rule for cactus expressions of propositional formulas.
Reading your “Cactus Calculus”. A beautiful piece of work!
Can I send you a .jpg file of how I display the projections as in your
“Figure 67. Syll c B^3 and its Dyadic Projections”?
Glad you liked it. I am traveling now, and hopping between WiFi hotspots, but will get in touch when I get back.
Hi, Ivan, I’m back. My email is jawbrey[at]att[dot]net —
You could also upload it on the MyWikiBiz site if you want to use that for a workspace.
I uploaded your drawing to MyWikiBiz —
• Ivan Antonowitz — Transparent Colours
I will study it …