Education
06 | 0:00:00 Starten 0:01:54 Formale Definition der Tuting-Maschine 0:04:18 Definition zur TM 0:07:42 Motation: Konfiguration 0:10:03 Beispiel: Konfiguration 0:20:09 Definition: berechenbar/ totalrekursiv 0:22:30 Beispiel 0:30:39 Entscheidbarkeit und Berechenbarkeit 0:32:46 Korollar 0:34:56 Die Church'sche These 0:39:00 Erweiterungen der Turing-Maschine 0:44:35 Die universelle Turing-Maschine 0:48:15 Die Gödelnummer 0:53:04 Die Gödelnummer - Bemerkungen 0:55:28 Die Gödelnummer - Beispiel 0:58:51 Definition 0:59:21 Die Diagonalsprache 1:04:09 Die Diagonalsprache - Veranschaulichung 1:05:41 Unentscheidbarkeit der Diagonalsprache 1:07:53 Korollar 1:10:12 Paradoxien und Selbstbezüglichkeit 1:11:32 Halteproblem