Education
05 | 0:00:00 Starten 0:00:54 Definitionen zur TM 0:05:56 Notation: Konfiguration 0:07:50 Beispiel: Konfiguration 0:20:37 Definition: berechenbar / totalrekursiv 0:23:01 Beispiel 0:27:27 Entscheidbarkeit und Berechenbarkeit 0:30:19 Korollar 0:33:21 Die Church´sche These 0:36:38 Ertweiterungen der Turing-Maschine 0:39:39 Die universelle Turing-Maschine 0:44:35 Die Gödelnummer 0:50:58 Die Gödelnummer - Bemerkungen 0:53:35 Die Gödelnummer - Beispiel 0:59:14 Definition 1:01:05 Die Diagonalsprache 1:05:35 Die Diagonalsprache - Veranschaulichung 1:07:32 Unentscheidbarkeit der Diagonalsprache 1:10:06 Korollar 1:11:03 Paradoxien und Selbstbezüglichkeit 1:14:47 Das Halteproblem 1:21:00 Grenzen der Berechenbarkeit 1:22:05 Halteproblem nicht entscheidbar