@misc{indiciaeba683e4737ad,
  title = {The halting problem is decidable on a set of asymptotic probability one},
  author = {Joel David Hamkins and Alexei Miasnikov},
  year = {2005},
  url = {https://arxiv.org/abs/math/0504351},
  note = {Source identifier: math/0504351}
}