A constructive proof of the dense existence of nowhere-differentiable functions in C [ 0 , 1 ]
Takako Nemoto · Computability · 2020
In this paper, we show that the dense existence of nowhere-differentiable continuous functions in C[0,1] is provable, using a version of the Baire category theorem, in an intuitionistic subsystem of elementary analysis whose induction is restricted to Σ10 formulae.