Algorithmen und rekursive Funktionen

Noch in den 30er Jahren unseres Jahrhunderts erweckten die mathematische Logik und die damals entstehende Algorithmentheorie den Anschein besonders abstrakter und von praktischen Anwendungen besonders weit entfernter mathe­ matischer Disziplinen. Heute hat sich die Situation radikal verändert. Es ist jetzt allgemein anerkannt, daß die beiden genannten Disziplinen eine theoretische Grundlage für Au...