Literatur
Hilbert-Bernays: Grundlagen der Mathematik, Bd. 2. Berlin 1939.
Specker:Nicht konstruktiv beweisbare Sätze der Analysis. J. of Symb. Logic14, No. 3, 145–158 (1949).
Peter: Rekursive Funktionen. Budapest 1951.
Rice: Recursive real numbers. Proc. Amer. Math. Soc.5, 784–791 (1954).
Goodstein: The relatively exponential, logarithmic and circular functions in recursive function theory. Acta mathematica92, 171–190 (1954).
Goodstein: The recursive irrationality of θ. J. of Symb. Logic19, No. 4, 267–274 (1954).
Meschkowski: Zur rekursiven Funktionentheorie. Acta mathematica95, 9–23 (1956).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Meschkowski, H. Rekursive reelle Zahlen. Math Z 66, 189–202 (1956). https://doi.org/10.1007/BF01186607
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01186607