Rekursive Funktionen bieten einen alternativen Zugang zum Berechenbarkeitsbegriff. Das Kapitel definiert totale und partielle rekursive Funktionen und zeigt einige Zusammenhänge auf.Abschließend wird skizziert, wie man mit Hilfe der Gödelisierung von Formeln die Unentscheidbarkeit der Arithmetik beweisen und einen alternativen Beweis der Unentscheidbarkeit der Prädikatenlogik findet kann.