Zusammenfassung
In der ersten Hälfte des Kapitels wird das Studium von Eigenschaften der primitiv rekursiven Funktionen fortgesetzt, deren genaue Definition wir bereits im vorigen Kapitel gegeben haben. In der zweiten Hälfte des Kapitels wird ein neuer grundlegender Begriff — der Begriff der rekursiv aufzählbaren Menge natürlicher Zahlen — eingeführt und eine Reihe von Eigenschaften dieser Mengen gezeigt, die die Grundlage bilden, auf der sich die weitere Theorie der rekursiven Funktionen aufbaut.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Wörtliche Übersetzung: stückweise Angabe einer Funktion (Anm. d. Übers.).
strenggenommen: h (y, 21, z2) = sg y + z1 + z2 (Anm. d. Übers.).
Rights and permissions
Copyright information
© 1974 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Malcev, A.I. (1974). Primitiv rekursive Funktionen und rekursiv aufzählbare Mengen. In: Algorithmen und rekursive Funktionen. Logik und Grundlagen der Mathematik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-85356-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-322-85356-1_2
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-528-08327-4
Online ISBN: 978-3-322-85356-1
eBook Packages: Springer Book Archive