Grundzüge der Theoretischen Informatik Markus Bläser

News

Gödelisierung

Written: 16.11.2018 10:56 Written By: Julian Dörfler

Vielen Dank an die Studenten, die uns auf den Fehler in der Surjektivität der Gödelisierung hingewiesen haben.

Inbesondere der Beweis von Lemma 9.8 im Skript funktioniert aktuell nicht.

Wie wir das ganze beheben können, wird entweder in den Übungen oder in der nächsten Vorlesung behandelt.



Datenschutz | Impressum
Bei technischen Problemen wenden Sie sich bitte an die Administratoren