Relatively computable functions of real variables

DOI10.1007/S006070170012MaRDI QIDQ5954991zbMATH OpenOpenAlexFDO

Authors Q. Zhou

Publication date 16 September 2002

Published in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s006070170012

zbMATH Keywords

computable real functioncomputable real numberrecursive analysisrelative computability

Mathematics Subject Classification ID

Other Turing degree structures (03D28) Higher-type and set recursion theory (03D65) Constructive and recursive analysis (03F60)

Review text

The paper studies relative computability of continuous real functions w.r.t. (finite) sets, \(A\), of number-theoretic total functions. The approach generalizes definitions of computability by \textit{M. B. Pour-El} and \textit{J. I. Richards} [Computability in analysis and physics. Perspectives in Mathematical Logic, Berlin etc.: Springer-Verlag (1989; Zbl 0678.03027)]. The main result shows that every \(C^1\) function on a compact real interval which is computable in \(A\) has a derivative computable in \(A'\), the jump of \(A\).

Recommendations

• Computable functions of reals
• On a relative computability notion for real functions
• scientific article; zbMATH DE number 4145899
• On some computability notions for real functions
• On the Definition of Computable Function of a Real Variable
• scientific article; zbMATH DE number 7360045
• Recursive characterization of computable real-valued functions and relations
• scientific article; zbMATH DE number 2089959
• scientific article; zbMATH DE number 1191234
• scientific article; zbMATH DE number 1088269

Cited in

(14)

• Effectively closed sets and graphs of computable real functions.
• Computable sequences in the Sobolev spaces
• Pointwise complexity of the derivative of a computable function
• Polynomial differential equations compute all real computable functions on computable compact intervals
• Relative computability and uniform continuity of relations
• Effective genericity and differentiability
• On a relative computability notion for real functions
• Index sets for computable differential equations
• KONSTRUKTIVE REELLE FUNKTIONALE UND OPERATOREN
• scientific article; zbMATH DE number 4145899 (Why is no real title available?)
• On the Definition of Computable Function of a Real Variable
• Derivatives of Computable Functions
• scientific article; zbMATH DE number 7360045 (Why is no real title available?)
• On the extension of computable real functions

This page was built for publication: Relatively computable functions of real variables

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