Yes. The halting problem is partially computable but not computable.