Reduktionen - Berechenbarkeit #8 | Simplexity

In diesem Video geht es um die Reduktion, welche einer der wichtigsten Werkzeuge in der theoretischen Informatik ist. Diese ermöglicht es uns nämlich für Sprachen zu zeigen, dass diese unentscheidbar sind, indem wir Sprachen verwenden, von denen wir bereits wissen, dass sie unentscheidbar sind. Mithilfe des speziellen Halteproblems können wir dann zeigen, dass das Halteproblem und das Halteproblem auf leerem Band unentscheidbar ist. Lasst gerne ein Abo und Like da