Repository | Book | Chapter
Computability and incomputability of differential equations
pp. 223-242
Abstract
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.
Publication details
Published in:
Lupacchini Rossella, Corsi Giovanna (2008) Deduction, computation, experiment: exploring the effectiveness of proof. Dordrecht, Springer.
Pages: 223-242
DOI: 10.1007/978-88-470-0784-0_12
Full citation:
Gherardi Guido (2008) „Computability and incomputability of differential equations“, In: R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, 223–242.