Yes. The halting problem is enumerable but not computable.