Yes. The point is there are many instances that humans can solve, but computers can't. My sentence was not meant to imply computers cannot solve any instances o

Yes. The point is there are many instances that humans can solve, but computers can't. My sentence was not meant to imply computers cannot solve any instances of the halting problem at all.