The domino problem of the hyperbolic plane is undecidable

Abstract

In this paper, we prove that the general tiling problem of the hyperbolic plane is undecidable by proving a slightly stronger version using only a regular polygon as the basic shape of the tiles. The problem was raised by a paper of Raphael Robinson in 1971, in his famous simplified proof that the general tiling problem is undecidable for the Euclidean… (More)
DOI: 10.1016/j.tcs.2008.04.038

8 Figures and Tables

Topics

  • Presentations referencing similar topics