The Halting Problem demonstrates that there are things that a machine can never be programmed to do.
Is this proof that true Artificial Intelligence - that is, the ability for a machine to think and reason like humans - is not possible?
Computer Science Stack Exchange is a question and answer site for students, researchers and practitioners of computer science. It only takes a minute to sign up.
Sign up to join this communityThe Halting Problem demonstrates that there are things that a machine can never be programmed to do.
Is this proof that true Artificial Intelligence - that is, the ability for a machine to think and reason like humans - is not possible?
If we cannot determine from program description whether it halts we also cannot write algorithm to do so (otherwise we could have determined it from description).
The ability to think and reason like humans is not connected to the halting problem, and the separate problem here is that we do not fully know how people think, so we cannot copy this idea, we are prone to emotions and logic just fails. If you want to create "true Artificial Intelligence" you would have to unlock any restrictions, constraints, let it evolve and think differently otherwise your AI is at the best case clone of you and it will not be self-concious or thinking just ultra advanced processing unit.
If tou like to think about the true AI - human limits are not applicable because if we proved something cannot be done - it is not doable under any circumstances, but if we do not know how to do something (yet) - there is no constraint neither for human nor for the true AI.