The halting problem is decidable on a set of asymptotic probability one (2006) May 28, 2023 by Comments