On a simple definition of computable function of a real variable-with applications to functions of a complex variable
- 1 January 1975
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 21 (1), 1-19
- https://doi.org/10.1002/malq.19750210102
Abstract
No abstract availableFunding Information
- NSF (G.P. 8829, G.P. 34192)
This publication has 8 references indexed in Scilit:
- Abstract computability and its relation to the general purpose analog computer (some connections between logic, differential equations and analog computers)Transactions of the American Mathematical Society, 1974
- A recursive function, defined on a compact interval and having a continuous derivative that is not recursive.The Michigan Mathematical Journal, 1971
- The primitive recursive analysis of ordinary differential equations and the complexity of their solutionsJournal of Computer and System Sciences, 1969
- Recursive metric spacesFundamenta Mathematicae, 1964
- On constructive functionsPublished by American Mathematical Society (AMS) ,1963
- On the definitions of computable real continuous functionsFundamenta Mathematicae, 1957
- Computable functionalsFundamenta Mathematicae, 1955
- Nicht konstruktiv beweisbare Sätze der AnalysisThe Journal of Symbolic Logic, 1949