Mathematische Logik/Gemischte Satzabfrage/2/Aufgabe

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
Dieser Artikel wurde von Wikiversity herausgegeben. Der Text ist unter Creative Commons Attribution-Share Alike 4.0 verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.