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

DOI10.1016/0001-8708(83)90004-XzbMath0519.03045OpenAlexW2043723475MaRDI QIDQ1054723

Ian Richards, Marian Boykan Pour-El

Publication date: 1983

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0001-8708(83)90004-x

zbMATH Keywords

computability theoryLp-spaceclosed linear transformationcomputable function of a real variable

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Classical Banach spaces in the general theory (46B25) Wave equation (35L05) Applications of computability and recursion theory (03D80)

Related Items

Approximation to measurable functions and its relation to probabilistic computation ⋮ Quantum mechanical unbounded operators and constructive mathematics -- a rejoinder to Bridges ⋮ Spring Meeting of the Association for Symbolic Logic, San Francisco, 1991 ⋮ Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma ⋮ What is the complexity of ill-posed problems? ⋮ A categorial approach to the theory of computation ⋮ Undecidability and incompleteness in classical mechanics ⋮ Dummett's case for intuitionism ⋮ Adjointness in recursion ⋮ Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem ⋮ The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not ⋮ Decision problems for differential equations ⋮ From axiomatics to intrinsic characterization: some open problems in computable analysis ⋮ Undecidability principle and the uncertainty principle even for classical systems

Cites Work

• The wave equation with computable initial data such that its unique solution is not computable
• A notion of mechanistic theory
• A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
• Computable functionals
• On the definitions of computable real continuous functions
• A computable ordinary differential equation which possesses no computable solution
• On a simple definition of computable function of a real variable‐with applications to functions of a complex variable
• On the Definition of Computable Function of a Real Variable
• Some properties of constructive real numbers and constructive functions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item