Das Halteproblem ist unentscheidbar
Wir sehen in diesem Video einen anschaulichen Beweis dafür, dass das Halteproblem unentscheidbar ist. Es handelt sich quasi um den originalen Beweis von Alan Turing in bildlicher Form.
-----------------------
Paypal-Link für Spenden:
http://paypal.me/Leifaktor
Patreon:
http://www.patreon.com/Leifaktor
Видео Das Halteproblem ist unentscheidbar канала NLogSpace
-----------------------
Paypal-Link für Spenden:
http://paypal.me/Leifaktor
Patreon:
http://www.patreon.com/Leifaktor
Видео Das Halteproblem ist unentscheidbar канала NLogSpace
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Das HalteproblemP vs. NP and the Computational Complexity ZooAufgaben zu Entscheidbarkeit und Satz von Rice [Klausuraufgaben Berechenbarkeit #03]Turing-MaschinenTuring & The Halting Problem - ComputerphileKomplexität #08 - NP-VollständigkeitDas GeburtstagsparadoxonEntscheidbar, unentscheidbar, semi-entscheidbar?TI_8_8 Allgemeines Halteproblem (Diagonalisierung)The Halting Problem - An Impossible Problem to SolvePumping Lemma - BeweisschemaPumping Lemma für erkennbare Sprachen [IMPROVED]Das Halteproblem | Theoretische InformatikBerechenbarkeit #31 - ReduktionenEinführung in Turing MaschinenUniversal Turing MachineFormale Sprachen #40 - Greibach-Normalform herstellen14.01 Turings HalteproblemFormale Sprachen #32 - Epsilon-Regeln entfernenDeterministische Kellerautomaten erkennen