Dyson-Schwinger equations in the theory of computation

Colleen Delaney, Matilde Marcolli

Published 2013-02-20, updated 2015-01-24Version 2

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.