Juliann Opitz, Robert D. Allen, et al.
Microlithography 1998
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
R.A. Brualdi, A.J. Hoffman
Linear Algebra and Its Applications
Fernando Martinez, Juntao Chen, et al.
AAAI 2025
M. Tismenetsky
International Journal of Computer Mathematics