Pages that link to "Item:Q1054723"
From MaRDI portal
The following pages link to Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators (Q1054723):
Displaying 10 items.
- Adjointness in recursion (Q581396) (← links)
- A categorial approach to the theory of computation (Q911584) (← links)
- Approximation to measurable functions and its relation to probabilistic computation (Q1088659) (← links)
- Undecidability and incompleteness in classical mechanics (Q1176394) (← links)
- From axiomatics to intrinsic characterization: some open problems in computable analysis (Q1292411) (← links)
- Quantum mechanical unbounded operators and constructive mathematics -- a rejoinder to Bridges (Q1362591) (← links)
- Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem (Q1802394) (← links)
- The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not (Q1821332) (← links)
- Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma (Q1919765) (← links)
- Dummett's case for intuitionism (Q3342527) (← links)