ни одна компьютерная программа не может взять в качестве входных данных другую компьютерную программу и определить со 100%-ной вероятностью, остановится первая программа или нет.