Re: R.J. Lipton • P<NP
Instead of boolean circuit complexity I would look at logical graph complexity, where those logical graphs are constructed from minimal negation operators.
Physics once had a frame problem (complexity of dynamic updating) long before AI did but physics learned to reduce complexity through the use of differential equations and group symmetries (combined in Lie groups). One of the promising features of minimal negation operators is their relationship to differential operators. So I’ve been looking into that. Here’s a link, a bit in medias res, but what I’ve got for now.
Resources
- Logical Graphs
- Minimal Negation Operators
- Survey of Animated Logical Graphs
- Survey of Differential Logic
- Survey of Theme One Program
cc: Cybernetics • Ontolog • Peirce List (1) (2) (3) • Structural Modeling • Systems Science
Inquiry Into Inquiry 
Pingback: Survey of Differential Logic • 3 | Inquiry Into Inquiry
Pingback: Survey of Differential Logic • 4 | Inquiry Into Inquiry