Abstrakt
Zwei konstruktive Versionen des klassischen Satzes, daß jede monotone, reelle Funktion fast überall differenzierbar ist, werden durch explizite Angabe von berechenbaren, reellen, monotonen FunktionenF 1,F 2 widerlegt. Dabei besitztF 1 an keiner berechenbaren Stelle eine endliche Ableitung,F'2 ist als Funktion nicht berechenbar und überall unstetig und nimmt auf einer dichten Menge ganzzahlige Werte an.
Literaturverzeichnis
Hardy, G.H., E.M. Wright: An Introduction to the Theory of Numbers, Oxford, Clarendon Press 1954.
Heyting, A.: Intuitionism, Amsterdam, North Holland 1971.
Martin-Löf, P.: On the Theory of Constructive Analysis, Stockholm, Almquist-Wiksell, Uppsala 1970.
Natanson, I.P.: Theorie der Funktionen einer reelen Veränderhchen. Berlin, Akad.-Verlag 1961.
Orevkov, V.P.: On Constructive Mappings of a Disk into itself, Proceedings of the Steklov Institute of Mathematics, Vol. 100, 1972.
Reynvaan, C.: Diplomarbeit, Frankfurt/Main 1974.
Specker, E.: Nicht konstruktiv beweisbare Sätze der Analysis, J. symbolic Logic, Vol. 14, 1949.
Rights and permissions
About this article
Cite this article
Bremer, H., Reynvaan, C.H.H. Zur Konstruktiven Differenzierbarkeit von Monotonen Berechenbaren Funktionen. Arch math Logik 17, 135–143 (1975). https://doi.org/10.1007/BF02276802
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02276802