Differential equations, infinite limits and real recursive functions
José Félix Costa, Bruno Loff, Jerzy Mycka · 2008
Abstract: In this article we present a strong support to real recursive function theory as a branch of computability theory rooted in mathematical analysis. This new paradigm connects computation on reals with differential equations and infinite limits in a robust and smooth way. The results presented here are taken mainly from the article (4) of the same authors.