The Halting Probability via Wang Tiles

Using work of Hao Wang, we exhibit a tiling characterization of the bits of the halting probability.