A computable ordinary differential equation which possesses no computable solution
- 1 November 1979
- journal article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 17 (1-2), 61-90
- https://doi.org/10.1016/0003-4843(79)90021-4
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Computer Science And Recursion TheoryPublished by Association for Computing Machinery (ACM) ,1978
- On the Definition of Computable Function of a Real VariableMathematical Logic Quarterly, 1976
- 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
- On the definitions of computable real continuous functionsFundamenta Mathematicae, 1957
- Computable functionalsFundamenta Mathematicae, 1955