Education
06 | 0:00:00 Start 0:01:05 (deterministische) Turing-Maschine 0:06:34 Beispiel-Turing-Maschine 0:16:35 Definitionen zur TM 0:19:46 Notation: Konfiguration 0:29:18 Definition: berechenbar/ totalrekursiv 0:42:20 Entscheidbarkeit und Berechenbarkeit 0:48:02 Korollar 0:49:57 Die Church´sche These 0:55:21 Erweiterung der Turing-maschine 0:59:49 Die universelle Turing-Maschine 1:03:07 Die Gödelnummer 1:13:24 Die Diagonalsprache 1:18:20 Unentscheidbarkeit der Diagonalsprache 1:21:17 Paradoxien und Selbstbezüglichkeit 1:23:10 Halteproblem