Fractal or Differential Theorem Provers

I don't see as this post has anything in it, so I'm going to add something. Theorem provers work on concepts. How complex are these concepts. Are they graphs or diagrams? Something in the brain? Theorem provers work in logic, but what if they worked on fractals? Or differential concepts?

Haven't blogged for a while. I am now thinking of different types of game theory. Game theory puts moves in a discrete game into a hierarchy. What if the arcs in that hierarchy were reduced to a minimal length, let's call it differential or difference hierarchy. Well, there's differential game theory, aka pursuer-evader. I think this applies to driverless cars as well. So discrete, continuous and differential game theory.