Gustavo Lacerda
[User Info] [Recent Entries] [Friends] [View Subjects] [Archive]

Thursday, May 22nd, 2008

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
(Leave a comment)