Repräsentierbarkeit in der Theorie der Arithmetik
Dieser Artikel gibt einen Überblick über die arithmetische Repräsentierbarkeit berechenbarer Funktionen und ihre Konsequenzen für die Logik. Er ist gedacht als Ergänzung der sehr knappen Abhandlung dieser Thematik in der Vorlesung “Einführung in die Theoretische Informatik II”. Er enthält auch ein ergänzendes Kapitel zu den Unvollständigkeitssätzen der Logik.