Как следует из вопроса, если я введу на ленту полной машины Тьюринга программу, которая решает проблему остановки с правильными входами, программа никогда не завершит свое выполнение независимо от памяти и времени. Разве проблема остановки не является вычислительной проблемой, которая не может быть выполнена полной машиной Тьюринга, так что она когда-нибудь останавливается?