Zhengxin Zhang, Ziv Goldfeld, et al.
Foundations of Computational 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
Michael E. Henderson
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
Richard M. Karp, Raymond E. Miller
Journal of Computer and System Sciences
I.K. Pour, D.J. Krajnovich, et al.
SPIE Optical Materials for High Average Power Lasers 1992