1302.5040 (Colleen Delaney et al.)

Dyson-Schwinger equations in the theory of computation    [PDF]

Colleen Delaney, Matilde Marcolli

Following Manin's approach to renormalization in the theory of computation, we investigate Dyson-Schwinger equations on Hopf algebras, operads and properads of flow charts, as a way of encoding self-similarity structures in the theory of algorithms computing primitive and partial recursive functions and in the halting problem.

View original: http://arxiv.org/abs/1302.5040