pith. sign in

arxiv: 1309.3983 · v2 · pith:MBJME4KVnew · submitted 2013-09-16 · 🧮 math.LO

Effective Genericity and Differentiability

classification 🧮 math.LO
keywords computabledifferentiabilitydifferentiableeffectivefunctionsconnectingconsidercontinuous
0
0 comments X
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.