Апериодические замощения

Пусть задан набор плиток, каждая из которых является многоугольником, и заданы локальные правила их соединения друг с другом. Такой набор называется апериодическим, если с его помощью можно замостить всю плоскость, но любое такое замощение непериодично. Интерес к апериодическим замощениям у логиков возник потому, что с их помощью можно доказать неразрешимость некоторых фрагментов исчисления предикатов. Сейчас известно около двух десятков апериодических наборов. Наиболее известными из них являются замощения Пенроуза, предположительно связанные с квазикристаллами.