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