Recursion Theory Revisited, Fachbücher von Eustrat Zhupa

"Recursion Theory Revisited" ist ein Fachbuch, das sich mit den klassischen Ergebnissen in der Logik und Rekursionstheorie befasst. Es beleuchtet die Herausforderungen, die bei der Verwendung zahlentheoretischer Algorithmen auftreten können, insbesondere wenn es darum geht, nicht-triviale Algorithmen durch einfache arithmetische Operationen darzustellen. Das Buch bietet eine innovative Perspektive, indem es die Algorithmen, die in konstruktiven Beweisen impliziert sind, in einer Programmiersprache umschreibt, die mit komplexeren Datentypen arbeitet als nur 'int' oder 'string'. Ein zentrales Element des Buches ist das neu definierte Modell der Turingmaschine, das als 'list TM' bezeichnet wird und auf dem entsprechenden Datentyp basiert. Diese Herangehensweise ermöglicht ein tieferes Verständnis der Konzepte von Logik und Rekursion und bietet den Lesenden wertvolle Einblicke in die theoretischen Grundlagen der Informatik.