Zusammenfassung
Im Kapitel 8 haben wir einen Baukasten zur Definition von Funktionen entwickelt. Bei den Vorüberlegungen waren wir von Ähnlichkeiten in der Struktur der Programme für die Grundrechenarten ausgegangen. Wir wollen in diesem Abschnitt beweisen, daß mit dem Baukasten der primitiv-rekursiven Funktionen keine anderen Funktionen definiert werden können, als auf RM berechenbar sind.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Rights and permissions
Copyright information
© 1977 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig
About this chapter
Cite this chapter
Cohors-Fresenborg, E. (1977). Die RM-Berechenbarkeit der primitiv-rekursiven Funktionen. In: Mathematik mit Kalkülen und Maschinen. Logik und Grundlagen der Mathematik, vol 20. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-85927-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-322-85927-3_10
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-528-08381-6
Online ISBN: 978-3-322-85927-3
eBook Packages: Springer Book Archive