Publication
Fundamenta Informaticae
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.
Using work of Hao Wang, we exhibit a tiling characterization of the bits of the halting probability.