It has been proved that a Turing Machine cannot solve the halting problem, but is it (being able to solve the halting problem) really necessary for implementing Strong AI ?
We human can understand the halting problem, and tell if a program will halt or not; but that is not our 'program language'. For example, we don't know how long we can live, precisely; we can't determine how much time we will spend for daydreaming while we are daydreaming.
From this point of view, it seems that we human cannot solve our own 'halting problem', either. So, is being able to solve the halting problem really necessary for implementing Strong AI? I don't think so. What do you think?