A constructive proof of the dense existence of nowhere-differentiable functions in C [ 0 , 1 ]

DOI10.3233/COM-190247zbMath1485.03252MaRDI QIDQ5131655

Takako Nemoto

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

zbMATH Keywords

constructive mathematics; Baire category theorem; constructive reverse mathematics; nowhere-differentiable functions

Mathematics Subject Classification ID

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

A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC