Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007
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
Zhihua Xiong, Yixin Xu, et al.
International Journal of Modelling, Identification and Control
Satoshi Hada
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Trang H. Tran, Lam Nguyen, et al.
INFORMS 2022