Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion

DOI10.1007/BF01448046zbMath0010.24101MaRDI QIDQ1840177

R. Politzer

Publication date: 1934

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/159741

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (16)

Über die mehrfache Rekursion. ⋮ Konstruktion nichtrekursiver Funktionen. ⋮ Recursive Functions and Intuitionistic Number Theory ⋮ On automorphisms of arbitrary mathematical systems ⋮ General recursive functions of natural numbers ⋮ Über die mehrfache Rekursion ⋮ Formalism and intuition in computability ⋮ Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem ⋮ On nested simple recursion ⋮ A complete theory of natural, rational, and real numbers ⋮ Probleme der Hilbertschen Theorie der höheren Stufen von rekursiven Funktionen ⋮ Arithmetical Predicates and Function Quantifiers ⋮ General recursive functions of natural numbers. ⋮ Konstruktion nichtrekursiver Funktionen ⋮ The theory of recursive functions, approaching its centennial ⋮ Recursive Functions and Intuitionistic Number Theory

This page was built for publication: Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion