jdh.hamkins.org
The halting problem is decidable on a set of asymptotic probability one
[bibtex key=HamkinsMiasnikov2006:HaltingProblemDecidable]