A Computable Ordinary Differential Equation which Possesses no Computable Solution (1979)

by Marian Boykan Pour-El, Ian Richards
Venue:Annals of Mathematical Logic