World's most popular travel blog for travel bloggers.

[Solved]: What helpful solution does the Halting Problem give to computing?

, , No Comments
Problem Detail: 

What problem does the halting problem solve in computing, whether theoretical or practical?

It is very easy to debug code which loops forever, just signal the debugger to break if the program is running for too long? What purpose / good is the halting problem? Why was Turing praised for it?

Asked By : dongle26

Answered By : Yuval Filmus

The halting problem is an example of a problem that a computer cannot solve. On the face of it, it might seem that computers can do anything, given enough resources and time. However, Turing showed that this intuition is false. Later on this was made more tangible by showing that a computer cannot decide whether a given Diophantine equation has solutions in the positive integers.

This is similar to Gödel's incompleteness theorem, which shows that the axiomatic method doesn't provide an answer to all possible questions. In fact, no finite list of axioms is enough to determine the truth of every statement regarding the natural numbers. Later on, a natural example emerged in the realm of set theory, namely the continuum hypothesis.

Best Answer from StackOverflow

Question Source : http://cs.stackexchange.com/questions/4867

0 comments:

Post a Comment

Let us know your responses and feedback