У меня есть следующее доказательство, которое я не совсем понимаю. LD / является дополнением к языку диагонализаций. LU - универсальный язык. Предположим, что U * - это TM для Lu, который всегда останавливается. Разработка ТМ D / * для LD /. Задайте входной сигнал x = wi для TM R, который вычисляет индекс i и i-й TM Mi и выдает слово y = Code (Mi) 111wi. y затем можно использовать как действительный ввод для U *. U * будет принимать только если Mi принимает Wi. Это как раз тот случай, когда x = wi находится в LD /. Мы получаем эквивалентность x в LD / <-> y находится в L U. Таким образом, D / * решает LD /, что является противоречием, поскольку мы знаем, что LD / не является рекурсивным, следовательно, и L U. 
Что произойдет, если TM R не сможет найти TM Mi для wi? Это просто отклонит wi и поэтому D / * также отклонит? И разве не возможно, что R работает вечно?