Der Satz von Rice: Alles unentscheidbar
Channel: Prof. Markus
Date: 2021-04-26

Nicht nur das Halteproblem sondern auch tausende weitere von Fragen über das Verhalten von Turingmaschinen sind unentscheidbar. Dank Henry Gordon Rice müssen wir nicht alle davon einzeln studieren, denn der Satz von Rice lautet, kurz gesagt: Alles unentscheidbar! Die formalen Details und auch der Beweis ist nicht schwer, wie wir in diesem Video sehen.

► Playliste für diesen Videokurs: https://www.youtube.com/playlist?list=PLz7XhF-sAU8z4FtL7V9uefCXzW9Z9rk5c
► Vorlesungsfolien zum Download: https://iccl.inf.tu-dresden.de/web/TheoLog2021 (5. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung:  https://iccl.inf.tu-dresden.de/web/TheoLog
► Fehler gefunden? Issues melden auf github: https://github.com/knowsys/TheoLog