×

A computable ordinary differential equation which possesses no computable solution. (English) Zbl 0424.68028


MSC:

03D60 Computability and recursion theory on ordinals, admissible sets, etc.
03D99 Computability and recursion theory
34A12 Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations
03F60 Constructive and recursive analysis
PDFBibTeX XMLCite
Full Text: DOI