# Category Archives: Differential Analytic Turing Automata

## 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 Differential Logic • 3

This is a Survey of blog and wiki posts on Differential Logic, material I plan to develop toward a more compact and systematic account. Note.  One effect of the pandemic has been been to blot out my memory of much … 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

## 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

## Differential Logic, Dynamic Systems, Tangent Functors • Discussion 9

Re: FB | Systems Sciences • Kenneth Lloyd Dear Kenneth, Mulling over recent discussions put me in a pensive frame of mind and my thoughts led me back to my first encounter with category theory.  I came across the term … Continue reading

## Differential Logic • Discussion 3

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 … Continue reading