A computable ordinary differential equation which possesses no computable solution

Abstract

We prove that there exists a computable—and hence continuous,-function F(v,x) defined α a rectangle R of the plane such that the differential equation x′=F_x,v has no computable solution of any neighborhood within R. As an immediate corollary, we obtain from the form of the above differential equation a computable transformation with no computable fixed point.