Since 1960, the Notre Dame Journal of Formal Logic has published original work in all areas of logic and the foundations of mathematics.
The Halting Problem Is Decidable on a Set of Asymptotic Probability One
Joel David Hamkins, et al. (2006)
