Ronen Feldman, Martin Charles Golumbic
Ann. Math. Artif. Intell.
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
Leo Liberti, James Ostrowski
Journal of Global Optimization
Sonia Cafieri, Jon Lee, et al.
Journal of Global Optimization
Nimrod Megiddo
Journal of Symbolic Computation