Yet Another Proof of the Aperiodicity of Robinson Tiles

11/09/2017
by   Thomas Fernique, et al.
0

Short proof of the aperiodicity of the Robinson tile set.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

10/11/2019

A Proof of Levi's Extension Lemma

We give a short and self-contained proof of Levi's Extension Lemma for p...
08/12/2020

A short proof of the non-biplanarity of K_9

Battle, Harary, and Kodama (1962) and independently Tutte (1963) proved ...
07/01/2021

Proof of the impossibility of probabilistic induction

In this short note I restate and simplify the proof of the impossibility...
02/17/2020

Blockchain using Proof-of-Interaction

This paper we define a new Puzzle called Proof-of-Interaction and we sho...
04/05/2018

A Proof of the Compositions of Time Interval Relations

We prove the 169 compositions of time interval relations. The proof is f...
08/02/2020

Extendability of simplicial maps is undecidable

We present a short proof of the Čadek-Krčál-Matoušek-Vokřínek-Wagner res...
03/11/2016

A short proof that O_2 is an MCFL

We present a new proof that O_2 is a multiple context-free language. It ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

References

  • [1] R. Berger, The undecidability of the domino problem, Mem. Amer. Math. Soc. 66 (1966).
  • [2] R. Robinson, Undecidability and nonperiodicity for tilings of the plane, Invent. Math. 12 (1971), 177-–209.