A constructive proof of the dense existence of nowhere-differentiable functions in C [ 0 , 1 ] (Q5131655)
From MaRDI portal
scientific article; zbMATH DE number 7271578
Language | Label | Description | Also known as |
---|---|---|---|
English | A constructive proof of the dense existence of nowhere-differentiable functions in C [ 0 , 1 ] |
scientific article; zbMATH DE number 7271578 |
Statements
A constructive proof of the dense existence of nowhere-differentiable functions in C [ 0 , 1 ] (English)
0 references
9 November 2020
0 references
constructive mathematics
0 references
constructive reverse mathematics
0 references
Baire category theorem
0 references
nowhere-differentiable functions
0 references