Kurs:Einführung in die mathematische Logik (Osnabrück 2011-2012)/Arbeitsblatt 11
Beschreibe für die in Vorlesung 8 besprochenen Registerprogramme die Konfigurationsfolge bei Nulleingabe.
Erstelle für das Registerprogramm (mit keinem Register und leerer Anfangsbelegung)
- Halte an
den zugehörigen arithmetischen Ausdruck, der die Anhalteeigenschaft beschreibt.
Erstelle für das Registerprogramm (mit zwei Registern und leerer Anfangsbelegung)
- Halte an
den zugehörigen arithmetischen Ausdruck, der die Anhalteeigenschaft beschreibt.
Erstelle für das Registerprogramm (mit zwei Registern und leerer Anfangsbelegung)
- Halte an
den zugehörigen arithmetischen Ausdruck, der die Anhalteeigenschaft beschreibt.
Es sei ein Symbolalphabet und die zugehörige Sprache erster Stufe, wobei die Sprache zumindest eine Variable besitzen möge. Es sei eine Theorie. Zeige, dass genau dann widersprüchlich ist, wenn ist.
Begründe, dass die (durch die erststufigen Peano-Axiome definierte) Peano-Arithmetik aufzählbar-axiomatisierbar ist.
<< | Kurs:Einführung in die mathematische Logik (Osnabrück 2011-2012) | >> |
---|