У нас вы можете посмотреть бесплатно Der Satz von Rice: Alles unentscheidbar или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
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: • Theoretische Informatik und Logik (B.Sc.-N... ► Vorlesungsfolien zum Download: https://iccl.inf.tu-dresden.de/web/Th... (5. Vorlesung) ► Aktuelle und frühere Versionen der Vorlesung: https://iccl.inf.tu-dresden.de/web/Th... ► Fehler gefunden? Issues melden auf github: https://github.com/knowsys/TheoLog