The halting problem is decidable on a set of asymptotic probability one Posted on September 25, 2011 by Joel David Hamkins