A recursive function, defined on a compact interval and having a continuous derivative that is not recursive

Cited in

(25)

Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators
The wave equation with computable initial data such that its unique solution is not computable
Bibliography of John Myhill
Eight problems about Nerode semirings (recursive ultrapowers)
Some aspects of effectively constructive mathematics that are relevant to the foundations of neoclassical mathematical economics and the theory of games
Computable invariance
Relatively recursive reals and real functions
Computability structure of the Sobolev spaces and its applications
Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma
The case for hypercomputation
Computable structures and operations on the space of continuous functions
On the Computable Theory of Bounded Analytic Functions
A lightface analysis of the differentiability rank
Computability and Noncomputability in Classical Analysis
A Galois connection between Turing jumps and limits
Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis
Computable complex analysis
When series of computable functions with varying domains are computable
Computability of Polish spaces up to homeomorphism
COMPUTABLY COMPACT METRIC SPACES
On estimating derivatives of input signals in biochemistry
Recursive analysis of singular ordinary differential equations
The optimal causal linear predictor is not Turing computable
Computable classifications of continuous, transducer, and regular functions
Differential equations in constructive analysis and in the recursive realizability topos

This page was built for publication: A recursive function, defined on a compact interval and having a continuous derivative that is not recursive

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