Re: Ken Regan • The Shapes of Computations
There are several issues of computation shape and proof style that raise their heads already at the logical ground level of boolean functions and propositional calculus. From what I’ve seen, there are three dimensions of variation that appear most prominent at this stage:
- Insight Proofs vs. Routine Proofs
- Model-Theoretic Methods vs. Proof-Theoretic Methods
- Equational (Information-Preserving) Proofs vs.
Implicational (Information-Reducing) Proofs
More later, after I dig up some basic examples …
Inquiry Into Inquiry 
Pingback: Survey of Animated Logical Graphs • 1 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 2 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 2 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 3 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 1 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 4 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 5 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 6 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 7 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 7 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 8 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 8 | Systems Community of Inquiry