| Ort: | Fehler / Anmerkung: |
| KE 1 S. 9 | Letzter Absatz: "heißt berechenbar, gdw. es eine Turingmaschine M mit folgender ..." (die Bezeichnung "M" fehlte hier, obwohl sie im weiteren Verlauf verwendet wird) |
| KE 1 S. 13 | Oben: "Zum Beispiel ist die Folge '1' ..." Dies ist natürlich kein Fehler, trotzdem finde ich es etwas verwirrend, wenn ein nicht zur Ableitung des Terms benötigter Term (hier: '1') in der Folge auftritt. |
| KE 3 S. 34 | 2. Punkt: "... unter einer Belegung zu definieren (Def. 3.3.3)" (nicht: "Def. 3.3.4") |
| KE 5 S. 6 | Drittletzte Zeile: Die zweite Gleichung sollte vermutlich lauten "\neg x_2 \doteq x_3"? (nicht: "\neg x_1 \doteq x_3") |