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

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

Подробная программа: https://www.dropbox.com/s/tvfij3mbjzdfngt/program.pdf?dl=0

Ссылка http://logic.math.msu.ru/staff/ver/old/tilings/tilings2024/