Нет, проблема остановки состоит в том, чтобы создать алгоритм, который может сказать, завершится ли программа, и это правда, что ни один такой алгоритм не всегда будет правильным. Но это не означает, что любой алгоритм, способный останавливаться, должен быть невычислимым.