Theme One Program • Discussion 3

What I’m doing this summer …

Eighteen years living in the same place and we blissfully forgot what it takes to pack up a house and find a new one.  Thankfully most of the renovation work is done but it’s looking like it will be August before I get my head above water.  Just bits and snatches of time till then …

The main functional test for me is getting a fully running version that works on the sorts of examples I stored at Google Drive.

There’s a sample of commenting I started — just barely started — at this place.

There’s a lot that could be done with the interface, especially making it more visual, displaying the graphical data structures, etc.

There’s hand-generated examples of “animated proofs” in the cactus graph variant of the CSP–GSB calculus at this place.

There’s discussion of those examples here.

And it would be wonderful to automate those eventually.

That’s all for now …

cc: Ontolog ForumStructural ModelingSystems Science

This entry was posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

2 Responses to Theme One Program • Discussion 3

  1. Pingback: Survey of Theme One Program • 3 | Inquiry Into Inquiry

  2. Pingback: Survey of Theme One Program • 4 | Inquiry Into Inquiry

Leave a Reply

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

You are commenting using your 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.