计算理论中的戴森-施温格方程
Dyson-Schwinger equations in the theory of computation
摘要:
遵循Manin在计算理论中的重整化方法,我们研究了Hopf代数,运算符和流程图的propriads上的Dyson-Schwinger方程,作为计算原始和部分递归函数的算法理论和停机问题中编码自相似结构的一种方式。
英文摘要:
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.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。