A constructive proof of the dense existence of nowhere-differentiable functions in C [ 0 , 1 ]
From MaRDI portal
Publication:5131655
DOI10.3233/COM-190247zbMath1485.03252MaRDI QIDQ5131655
Publication date: 9 November 2020
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/com-190247
constructive mathematics; Baire category theorem; constructive reverse mathematics; nowhere-differentiable functions
03F60: Constructive and recursive analysis
26A27: Nondifferentiability (nondifferentiable functions, points of nondifferentiability), discontinuous derivatives
26A21: Classification of real functions; Baire classification of sets and functions
Related Items