Recursive functions (Q5959194)

Dies ist ein solides Lehrbuch, das den Stoff einer kleinen Vorlesung über Rekursive Funktionen kompakt zusammenfasst. Es werden Diagonalisierungs- und Gödelisierungsprinzipien beschrieben, \(\mu\)-rekursive und primitiv rekursive Funktionen sowie die entsprechenden Äquivalenzsätze zur Turing-Berechenbarkeit ausgearbeitet. Das Buch ist zwar kompakt, solide und mathematisch präzise geschrieben, es ist aber auch ein bisschen ``altbacken''. Bücher dieser Art wurden bereits in den 50er und 60er Jahren geschrieben. Was der Autor ignoriert, sind Verbindungen zu modernen Programmiersprachen und Informatik-Konzepten wie Registermaschinen, While-Programme, \(\lambda\)-Kalkül und andere Berechnungsformalismen sowie deren Komplexität.