Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators
- 30 April 1983
- journal article
- Published by Elsevier in Advances in Mathematics
- Vol. 48 (1), 44-74
- https://doi.org/10.1016/0001-8708(83)90004-x
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Computability and noncomputability in classical analysisTransactions of the American Mathematical Society, 1983
- The wave equation with computable initial data such that its unique solution is not computableAdvances in Mathematics, 1981
- A computable ordinary differential equation which possesses no computable solutionAnnals of Mathematical Logic, 1979
- 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
- A recursive function, defined on a compact interval and having a continuous derivative that is not recursive.The Michigan Mathematical Journal, 1971
- Some properties of constructive real numbers and constructive functionsAmerican Mathematical Society Translations: Series 2, 1966
- On the definitions of computable real continuous functionsFundamenta Mathematicae, 1957
- Computable functionalsFundamenta Mathematicae, 1955