Y.Y. Li, K.S. Leung, et al.
J Combin Optim
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
Sonia Cafieri, Jon Lee, et al.
Journal of Global Optimization
R.B. Morris, Y. Tsuji, et al.
International Journal for Numerical Methods in Engineering
George Markowsky
J. Math. Anal. Appl.