Recursive functions

MaRDI QIDQ5959194zbMATH OpenFDO

Authors Heinz Lüneburg

Publication date 25 March 2002

Published in Springer-Lehrbuch (Search for Journal in Brave)

zbMATH Keywords

computability theoryrecursion theoryrecursive functions

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Turing machines and related notions (03D10) Recursive functions and relations, subrecursive hierarchies (03D20)

Review text

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.

Recommendations

• Computability. Recursive and programmable functions
• scientific article; zbMATH DE number 192944
• Zur Berechnung der Partiell Rekursiven Wortfunktionen Ohne Verwendung von Lesebefehlen
• scientific article; zbMATH DE number 3165537
• scientific article; zbMATH DE number 530148

Cited in

(11)

• Computability. Recursive and programmable functions
• scientific article; zbMATH DE number 1665441 (Why is no real title available?)
• Recursive functions: an archeological look
• scientific article; zbMATH DE number 3857078 (Why is no real title available?)
• A curious recursive function
• scientific article; zbMATH DE number 1261165 (Why is no real title available?)
• scientific article; zbMATH DE number 465472 (Why is no real title available?)
• Recursive Functions and Constructive Mathematics
• Table-based Recursive Method for Function Evaluation
• On nested simple recursion
• Cobham recursive set functions

This page was built for publication: Recursive functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5959194)