Matthew A Grayson
Journal of Complexity
Paper
The halting probability via Wang tiles
Abstract
Using work of Hao Wang, we exhibit a tiling characterization of the bits of the halting probability.
Related
Guo-Jun Qi, Charu Aggarwal, et al.
IEEE TPAMI
James Lee Hafner
Journal of Number Theory
Heinz Koeppl, Marc Hafner, et al.
BMC Bioinformatics