P projecteuclid.org The halting problem is decidable on a set of asymptotic probability one (2006) 152 points Schiphol 3 years ago 120 comments