Computability and incomputability of differential equations
pp. 223-242
in: Rossella Lupacchini, Giovanna Corsi (eds), Deduction, computation, experiment, Berlin, Springer, 2008Abstract
In the following discussion we are going to deal with the problem of computability of differential equations, and we will outline some of the most important results achieved in this area, mainly due to K. Weihrauch and N. Zhong. In particular, a large part of the paper will concern the debate about the computability of the wave equation.