Saturday, December 6, 2008

Halting problem and Artificial Intelligence


So we all know that solving the Halting problem is impossible (i.e. it's not decidable). It's also impossible to create a program that is capable of analyzing other computer programs because this problem is equivalent to the Halting problem. (i.e. The program being analyzed could have an infinite loop and there is no way to detect this infinite loop because of the Halting problem).

If we cannot create a program that can analyze other programs then we cannot create a machine that is capable of learning from other machines. In order for a machine to learn from the behavior of other machines it has to be programmed in such a way so that it could analyze other programs and we already said that this is impossible.

One fundamental property of our mind is its ability to learn by, for example, analyzing the behavior of other human beings.

If we cannot create a machine that is capable of learning then would not that mean that there is little hope for duplicating our minds through technology?


No comments:

Post a Comment