M. Tismenetsky
International Journal of Computer Mathematics
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
W.C. Tang, H. Rosen, et al.
SPIE Optics, Electro-Optics, and Laser Applications in Science and Engineering 1991
M. Shub, B. Weiss
Ergodic Theory and Dynamical Systems
Zhengxin Zhang, Ziv Goldfeld, et al.
Foundations of Computational Mathematics