On the Definition of Computable Function of a Real Variable
- 1 January 1976
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 22 (1) , 391-402
- https://doi.org/10.1002/malq.19760220148
Abstract
No abstract availableThis publication has 9 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
- Algorithmic Procedures, Generalized Turing Algorithms, and Elementary Recursion TheoryPublished by Elsevier ,1971
- Computability Over Arbitrary FieldsJournal of the London Mathematical Society, 1970
- On the definitions of computable real continuous functionsFundamenta Mathematicae, 1957
- On computable sequencesFundamenta Mathematicae, 1957
- A Note on Computable FunctionalsIndagationes Mathematicae, 1956
- Computable functionalsFundamenta Mathematicae, 1955
- Rekursive FunktionenThe Journal of Symbolic Logic, 1951
- Nicht konstruktiv beweisbare Sätze der AnalysisThe Journal of Symbolic Logic, 1949