Some properties of constructive real numbers and constructive functions

DOI10.1090/TRANS2/057/01MaRDI QIDQ5586312zbMATH OpenOpenAlexFDO

Authors I. D. Zaslavskii

Publication date 1962

Published in Nine papers on foundations, measure theory and analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/trans2/057/01

zbMATH Keywords

recursion theory, constructive mathematics

Cited in

(7)

• Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators
• A blend of methods of recursion theory and topology.
• The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not
• The concept of effective method applied to computational problems of linear algebra
• Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis
• Computability of Minimizers and Separating Hyperplanes
• COMPUTABLY COMPACT METRIC SPACES

This page was built for publication: Some properties of constructive real numbers and constructive functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5586312)