A recursive function, defined on a compact interval and having a continuous derivative that is not recursive.
Myhill, J.
Michigan Math. J., Tome 18 (1971) no. 1, p. 97-98 / Harvested from Project Euclid
Publié le : 1971-05-14
Classification:  02.72
@article{1029000631,
     author = {Myhill, J.},
     title = {A recursive function, defined on a compact interval and having a continuous derivative that is not recursive.},
     journal = {Michigan Math. J.},
     volume = {18},
     number = {1},
     year = {1971},
     pages = { 97-98},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1029000631}
}
Myhill, J. A recursive function, defined on a compact interval and having a continuous derivative that is not recursive.. Michigan Math. J., Tome 18 (1971) no. 1, pp.  97-98. http://gdmltest.u-ga.fr/item/1029000631/