У нас вы можете посмотреть бесплатно Berechenbarkeit #40 - Rekursiv aufzälbar vs. semi-entscheidbar или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Wir sehen uns den Beweis an, dass die Begriffe "rekursiv aufzählbar" und "semi-entscheidbar" äquivalent zueinander sind, d.h. jedes semi-entscheidbare Problem ist rekursiv aufzählbar und jedes rekursiv aufzählbare Problem ist semi-entscheidbar. Da Semi-Entscheidbarkeit auch mit Turing-Erkennbarkeit übereinstimmt, haben wir nun sogar drei äquivalente Begriffe für dieses Konzept.