an:05523458
Zbl 1211.03062
Kari, Jarkko
The tiling problem revisited (extended abstract)
EN
Durand-Lose, J??r??me (ed.) et al., Machines, computations, and universality. 5th international conference, MCU 2007, Orl??ans, France, September 10--13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74592-1/pbk). Lecture Notes in Computer Science 4664, 72-79 (2007).
2007
a
03D35 03D10 52C20
Wang tiles; mortality problem; Turing machine
Summary: We give a new proof for the undecidability of the tiling problem. Then we show how the proof can be modified to demonstrate the undecidability of the tiling problem on the hyperbolic plane, thus answering an open problem posed by \textit{R. M. Robinson} [``Undecidability and nonperiodicity for tilings of the plane'', Invent.~Math.~12, 177--209 (1970; Zbl 0197.46801)].
For the entire collection see [Zbl 1129.68003].
Zbl 0197.46801