Effective Genericity and Differentiability
classification
🧮 math.LO
keywords
computabledifferentiabilitydifferentiableeffectivefunctionsconnectingconsidercontinuous
read the original abstract
We prove that a real x is 1-generic if and only if every differentiable computable function has continuous derivative at x. This provides a counterpart to recent results connecting effective notions of randomness with differentiability. We also consider multiply differentiable computable functions and polynomial time computable functions.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.