Computability. Recursive and programmable functions
Es wird die Theorie der Berechenbarkeit in einer im wesentlichen maschinenunabhängigen Form präsentiert. Der Schwerpunkt liegt in diesem Buch vielmehr auf Berechnungsvorschriften, die durch entsprechende Rekursionsschemata für arithmetische Funktionen gegeben sind, oder solche Berechnungsvorschriften, die durch entsprechende Programme oder durch Kalküle gegeben sind. Hierbei werden sowohl Termersetzungs- als auch Gleichungskalküle behandelt. Ein gewisser Schwerpunkt liegt ferner auf den subrekursiven Funktionsklassen, wie die elementaren Funktionen, die primitiv-rekursiven Funktionen, die simplen Funktionen und die Klassen der Grzegorczyk- und der Schleifen-Hierarchie. Die Darstellung ist äußerst präzise, man wird an keiner Stelle ein ``hard waving Beweisargument finden. Andererseits wir die Lesbarkeit des Buches durch (meines Erachtens unnötig) viele Notationen und Abkürzungen erschwert. Will man in ein Kapitel ``quereinsteigen, so wird dieser Versuch sofort durch die Notwendigkeit, eine Unmenge von Notationen nachschlagen zu müssen, bestraft. Der disziplinierte Leser, der das Buch von vorne nach hinten liest, wird dagegen für seine Mühen belohnt: dies vor allem deshalb, weil die Berechenbarkeitstheorie eine intellektuelle Ästhetik besitzt (die ihr letztlich keine Form der Darstellung nehmen kann).
- Analog computers and recursive functions over the reals.
- scientific article; zbMATH DE number 192944 (Why is no real title available?)
- scientific article; zbMATH DE number 1560883 (Why is no real title available?)
- Computability. Models of computation and undecidability
- Computability and Recursion
- Finite methods in 1-order formalisms
- Recursive functions
- Term rewriting theory for the primitive recursive functions
This page was built for publication: Computability. Recursive and programmable functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1308644)
