Das Halteproblem (und warum es untentscheidbar ist)

Das wohl bekannteste unentscheidbare Problem der Informatik ist das Halteproblem. Dieses Video in der Reihe "Theoretische Informatik und Logik" erklärt, was daran so schwierig ist und gibt gleich mehrere Beweise (die wiederum ziemlich einfach sind). Als nütliches Hilfsmittel schauen wir uns zuvor noch die Idee der universellen Turingmaschine an, welche die theoretische Grundlage dafür ist, dass es Software gibt.
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/Th... (4. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dresden.de/web/Th...
► Fehler gefunden? Issues melden auf github: github.com/knowsys/TheoLog