Skip to main content
2 of 3
deleted 3 characters in body
Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k

Here is one way of interpreting your question. The main theorem of my joint paper:

is that for some of the standard models of computation, the halting problem is decidable with probability one. Specifically, we prove that for the usual one-way-infinite Turing machine model, there is a set $A$ of Turing machine programs such that almost every program is in $A$, in the sense that the proportion of all $n$-state programs in $A$ goes to $1$ as $n$ goes to infinity, and furthermore $A$ is decidable and the halting problem is decidable for programs in $A$. So this is a sense in which the halting problem is decidable with probability one.

The argument is sensitive, however, to the computational model, and for some other models of computation, the best currently known is that we can decide the halting problem on a set of probability $\frac 1{e^2}$, which is about 13.5%.

Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k