## Animated Logical Graphs • 32

Dear Dick/Ken,

Here’s a place where I explore different shapes of proofs in a propositional calculus deriving from the graphical systems of Charles S. Peirce and G. Spencer Brown.

I don’t know whether that helps any with $\mathrm{P} \overset{\underset{?}{}}{=} \mathrm{NP}$ but it does supply a lot of nice pictures to contemplate.

### Resources

cc: CyberneticsOntolog • Peirce List (1) (2) (3)Structural ModelingSystems Science

### 1 Response to Animated Logical Graphs • 32

This site uses Akismet to reduce spam. Learn how your comment data is processed.