Pages that link to "Item:Q1821332"
From MaRDI portal
The following pages link to The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not (Q1821332):
Displayed 4 items.
- From axiomatics to intrinsic characterization: some open problems in computable analysis (Q1292411) (← links)
- Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem (Q1802394) (← links)
- Dummett's case for intuitionism (Q3342527) (← links)
- Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus (Q4918048) (← links)