MIT OpenCourseWare – Undecidability

MIT OpenCourseWare – Lecture 8: Undecidability ist Teil des Kurses „Theory of Computation“ von Professor Michael Sipser und behandelt Unentscheidbarkeit sowie das Halteproblem.

Relevanz für das Wissensangebot

Die Quelle dient zur fachlichen Überprüfung der Abgrenzung zwischen berechenbaren, entscheidbaren und unentscheidbaren Problemen.

Relevante Inhalte

• Diagonalargumente
• Unentscheidbarkeit von A_TM
• Unentscheidbarkeit des Halteproblems HALT_TM
• Reduktion als Beweismethode

Redaktionelle Einordnung

Das Material ist fachlich anspruchsvoll und richtet sich an Hochschulniveau. Für die Algorithmus-Hauptseite ist nur die grundlegende Einordnung relevant; die ausführliche Behandlung gehört später auf eine eigene Seite zu Berechenbarkeit und Entscheidbarkeit.

Offizielle Informationen

• MIT OpenCourseWare: Lecture 8 – Undecidability
• MIT OpenCourseWare: Theory of Computation

Angaben zuletzt geprüft: 5. August 2026