Неразрешимость задачи о замощении плоскости набором плиток Вана

Определения

Определение: Плитки Вана (англ. Wang tiles) — конечный набор квадратных плиток одинакового размера, таких, что каждой стороне сопоставлен определенный цвет.

Определение:

Замощение плоскости (англ. tiling) — представление плоскости в виде множества непересекающихся плиток Вана.