The wave equation with computable initial data such that its unique solution is not computable
- 1 March 1981
- journal article
- Published by Elsevier in Advances in Mathematics
- Vol. 39 (3), 215-239
- https://doi.org/10.1016/0001-8708(81)90001-3
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- A computable ordinary differential equation which possesses no computable solutionAnnals of Mathematical Logic, 1979
- On a simple definition of computable function of a real variable-with applications to functions of a complex variableMathematical Logic Quarterly, 1975
- A notion of mechanistic theorySynthese, 1974
- A recursive function, defined on a compact interval and having a continuous derivative that is not recursive.The Michigan Mathematical Journal, 1971
- On the definitions of computable real continuous functionsFundamenta Mathematicae, 1957
- On computable sequencesFundamenta Mathematicae, 1957
- Computable functionalsFundamenta Mathematicae, 1955