Berechenbarkeit #30 - Wortproblem und Halteproblem sind unentscheidbar
Wir zeigen per Reduktion vom speziellen Wortproblem, dass das (allgemeine) Wortproblem und das Halteproblem unentscheidbar sind.
-----------------------
► Paypal-Link für Spenden: http://paypal.me/Leifaktor
► Liberapay: https://de.liberapay.com/NLogSpace/
► Patreon: http://www.patreon.com/Leifaktor
Видео Berechenbarkeit #30 - Wortproblem und Halteproblem sind unentscheidbar канала NLogSpace
-----------------------
► Paypal-Link für Spenden: http://paypal.me/Leifaktor
► Liberapay: https://de.liberapay.com/NLogSpace/
► Patreon: http://www.patreon.com/Leifaktor
Видео Berechenbarkeit #30 - Wortproblem und Halteproblem sind unentscheidbar канала NLogSpace
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Berechenbarkeit #31 - Reduktionen
Berechenbarkeit #29 - Das spezielle Wortproblem ist unentscheidbar
Das Halteproblem
Turing's Enigma Problem (Part 1) - Computerphile
Busy Beaver Turing Machines - Computerphile
Das Wortproblem
Proof That Computers Can't Do Everything (The Halting Problem)
Reduktionen: Theoretische Informatik (einfach erklärt!)
Berechenbarkeit #32 - Busy Beaver
Berechenbarkeit #34 - Satz von Rice
Travelling Salesman Problem (Problem des Handlungsreisenden)
Das Halteproblem | Theoretische Informatik
Die Turingmaschine
Berechenbarkeit #35 - Semantische und nicht-triviale Eigenschaften
Berechenbarkeit #10 - NTM zu DTM umwandeln
Berechenbarkeit #15 - WHILE-berechenbar folgt Turing-berechenbar
Berechenbarkeit #20 - Primitiv-rekursive Funktionen
Berechenbarkeit #28 - Codierungen
Entscheidbar, unentscheidbar, semi-entscheidbar?
Komplexität von Algorithmen inklusive Landau O-Notation