Marian Boykan Pour-El and Ian Richards. A computable ordinary differential equation which possesses no computable solution, Annals of mathematical logic, vol. 17 (1979), pp. 61–90. - Marian Boykan Pour-El and Ian Richards. The wave equation with computable initial data such that its unique solution is not computable. Advances in mathematics, vol. 39 (1981), pp. 215–239.
1991 ◽
Vol 33
(1)
◽
pp. 16-26
2003 ◽
Vol 2003
(8)
◽
pp. 409-427
◽
1980 ◽
Vol 68
(5)
◽
pp. 1482-1488
◽
1997 ◽
Vol 43
(4)
◽
pp. 499-509
◽
2016 ◽
Vol 59
(3)
◽
pp. 542-552
◽
2018 ◽
Vol 931
◽
pp. 152-157
◽
1981 ◽
Vol 39
(3)
◽
pp. 215-239
◽
1965 ◽
Vol 67
(1)
◽
pp. 69-77