Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators

This publication has 10 references indexed in Scilit:

• Computability and noncomputability in classical analysis
  Transactions of the American Mathematical Society, 1983
• The wave equation with computable initial data such that its unique solution is not computable
  Advances in Mathematics, 1981
• A computable ordinary differential equation which possesses no computable solution
  Annals of Mathematical Logic, 1979
• On the Definition of Computable Function of a Real Variable
  Mathematical Logic Quarterly, 1976
• On a simple definition of computable function of a real variable-with applications to functions of a complex variable
  Mathematical Logic Quarterly, 1975
• A notion of mechanistic theory
  Synthese, 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 functions
  1966
• On the definitions of computable real continuous functions
  Fundamenta Mathematicae, 1957
• Computable functionals
  Fundamenta Mathematicae, 1955