reckless intuitions of an epistemic hygienist (![[info]](http://l-stat.livejournal.com/img/userinfo.gif){kind=small} gustavolacerda) wrote,@ 2008-05-22 18:22:00 |
|
| Entry tags: | halting_problem, logic, recursion_theory |
The Halting Problem is decidable on a set of asymptotic probability one
This sounds quite remarkable:
Hankins, Miasnikov - The halting problem is decidable on a set of asymptotic probability one
