Berechenbarkeit #30 - Wortproblem und Halteproblem sind unentscheidbar

Описание к видео Berechenbarkeit #30 - Wortproblem und Halteproblem sind unentscheidbar

Wir zeigen per Reduktion vom speziellen Wortproblem, dass das (allgemeine) Wortproblem und das Halteproblem unentscheidbar sind.

Комментарии

Информация по комментариям в разработке