# Tag Archives: Computational Complexity

## Differential Logic and Dynamic Systems • Discussion 3

Re: FB | Differential Logic • Rajib Hossain Pavel RHP: How can Differential Logic find Optimal Condition in a Game setting for an Individual Player (Individual Choice) and Overall System (Social Welfare)? Dear Rajib, Differential logic is a general framework … Continue reading

## Differential Logic and Dynamic Systems • Discussion 2

Re: Michael Harris • Does Mathematics “Progress”? • Comment In several places I can’t find right now I described formalization as an arrow.  A related idea occurs in a paper by Susan Awbrey and myself where we discussed “a dimension … Continue reading

## Differential Logic and Dynamic Systems • Discussion 1

It is understandable that an engineer should be completely absorbed in his speciality, instead of pouring himself out into the freedom and vastness of the world of thought, even though his machines are being sent off to the ends of … Continue reading

## Survey of Animated Logical Graphs • 4

This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph-theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications. Beginnings Logical Graphs … Continue reading

## Differential Propositional Calculus • Discussion 6

Re: Oeis | Differential Propositional Calculus • Part 1 • Part 2 • Appendices Re: Blog | Differential Propositional Calculus • Discussion • (3) • (4) • (5) HR: I think I like very much your Cactus Graphs.  Meaning that … Continue reading

## Differential Propositional Calculus • Discussion 5

Re: Peirce List • Helmut Raulien Re: Ontolog Forum • Mauro Bertani HR: I think I like very much your Cactus Graphs.  Meaning that I am in the process of understanding them, and finding it much better not to have … Continue reading

## Differential Propositional Calculus • Discussion 4

It is one of the rules of my system of general harmony, that the present is big with the future, and that he who sees all sees in that which is that which shall be. Leibniz • Theodicy Re: R.J. … Continue reading

## Differential Propositional Calculus • Discussion 3

That mathematics, in common with other art forms, can lead us beyond ordinary existence, and can show us something of the structure in which all creation hangs together, is no new idea.  But mathematical texts generally begin the story somewhere in … Continue reading

## Survey of Animated Logical Graphs • 3

This is one of several Survey posts I’ll be drafting from time to time, starting with minimal stubs and collecting links to the better variations on persistent themes I’ve worked on over the years.  After that I’ll look to organizing … Continue reading

## Differential Analytic Turing Automata • Discussion 2

Re: Scott Aaronson • The Busy Beaver Frontier Dear Scott, This discussion inspired me to go back and look at some of the work I did in the late 80s when I was trying to understand Cook’s Theorem.  One of … Continue reading