> Причем здесь опровержение Тюринга. Там не ставится задача "определить завершиться ли программа".
> Там ставится задача "заблокировать потенциально опасные инструкции", например цикл с условием,
> которое всегда истинно.

Истинность можно сделать очень неочевидной.
for(;a>b;) { a = 0; a = rand(9000); a = b+1; }
Или цикл необязательно должен быть вечным, чтобы доставить проблем.
for(;a<100500;) { a = a + 1; sleep 1; }
Так что прорехи остаются.
Хорошо, что это только модуль ядра, который можно и не загружать.