Education
05 | 0:00:00 Start 0:00:10 Letzte Vorlesung 0:09:00 Beispiel - Turing Maschine 0:13:57 Bemerkungen zur TM 0:15:23 Definition zur TM 0:18:43 Notation: Konfiguration 0:19:54 Beispiel: Konfiguration 0:26:21 Definition: berechenbar / totalrekursiv 0:28:10 Beispiel 0:34:10 Entscheidbarkeit und Berechenbarkeit 0:39:01 Korollar 0:40:51 Die Church'sche These 0:44:25 Erweiterung der Turing-Maschine 0:51:23 Die Universelle Turing-Maschine 0:54:51 Die Gödelnummer 0:57:52 Die Gödelnummer - Bemerkungen 1:00:43 Die Gödelnummer - Beispiel 1:01:53 Definition 1:04:27 Die Diagonalsprache 1:09:32 Die Diagonalsprache - Veranschaulichung 1:10:40 Unentscheidbarkeit der Diagonalsprache 1:13:33 Korollar 1:14:03 Paradoxien und Selbstbezüglichkeit 1:15:46 Halteproblem