The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not

DOI10.1016/0001-8708(87)90062-4zbMath0616.47018OpenAlexW2054543411MaRDI QIDQ1821332

Ian Richards, Marian Boykan Pour-El

Publication date: 1987

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

Full work available at URL: https://doi.org/10.1016/0001-8708(87)90062-4

zbMATH Keywords

self-adjoint operatorcomputability structure of the eigenvalues and spectrum for bounded and unbounded linear operators on a Hilbert spacecomputable eigenvalueeffectively determined

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Spectrum, resolvent (47A10) Linear symmetric and selfadjoint operators (unbounded) (47B25) Applications of computability and recursion theory (03D80) Abstract and axiomatic computability and recursion theory (03D75)

Related Items

Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus ⋮ Dummett's case for intuitionism ⋮ Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem ⋮ From axiomatics to intrinsic characterization: some open problems in computable analysis

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionism. An introduction
• Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators
• The wave equation with computable initial data such that its unique solution is not computable
• A notion of mechanistic theory
• Computable functionals
• On the definitions of computable real continuous functions
• Computability and Noncomputability in Classical Analysis
• 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