Differential Logic, Dynamic Systems, Tangent Functors • Discussion 5

Re: Systems ScienceJS

Yes, all these strands are strongly entangled.

I had already spent a full decade wrestling with the works of Charles Sanders Peirce and George Spencer Brown before my need to figure out what they were talking about in the way of logical graphs and math in general drove me to the extremes of enrolling in a graduate math program.  I found much diversion and measures of enlightenment there but soon encountered questions I just had to know the answers to.  One of my office mates suggested I devote some effort to developing a theorem prover to assist with the task.  Theorem provers in those days were so primitive everyone we knew was hacking out their own, so that is what I set to.  Naturally I turned to my previous tillage of logical graphs as a seed bed for my system.

To be continued …

Resources

cc: Structural ModelingOntolog ForumLaws of FormCybernetics

This entry was posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Information Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Systems, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

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