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

Определения

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