Effective genericity and differentiability
Rutger Kuyper, Sebastiaan A. Terwijn · Journal of Logic and Analysis · 2014
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.