Some properties of constructive real numbers and constructive functions
From MaRDI portal
Publication:5586312
DOI10.1090/trans2/057/01zbMath0192.06002OpenAlexW4239062509MaRDI QIDQ5586312
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
Related Items (7)
COMPUTABLY COMPACT METRIC SPACES ⋮ A blend of methods of recursion theory and topology. ⋮ Computability of Minimizers and Separating Hyperplanes ⋮ Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis ⋮ 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 ⋮ Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators
This page was built for publication: Some properties of constructive real numbers and constructive functions
