Today I began to read about computability theory. I do not even have an elementary understanding of the topic but it certainly got me thinking. I know there is there is no 'one-for-all' algorithm that solves the halting problem but I wonder if it is possible for there to be an algorithm that determines the likelihood that a program would halt.

The reason I asked this question because I'm writing an essay about a problem I would like to solve and I thought this might be an interesting "solution" to the halting problem.

And yes I know the halting problem is undecidable.

3more comments