Mathematische Logik/Gemischte Satzabfrage/2/Aufgabe

Links hinzufügen
Aus Wikiversity

Formuliere die folgenden Sätze.

  1. Das Substitutionslemma.
  2. Der Satz über das Halteproblem.
  3. Der Fixpunktsatz für arithmetische Ausdrücke.
Zur Lösung, Alternative Lösung erstellen
Abgerufen von „https://de.wikiversity.org/w/index.php?title=Mathematische_Logik/Gemischte_Satzabfrage/2/Aufgabe&oldid=695542“