Ergründe in Martin Davis’ „Computability and Unsolvability“ die fundamentalen Schranken der Berechenbarkeit, verknüpft mit anschaulichen Beispielen und präzisen Beweisen für Studierende und Experten.