Laboratory of Mathematical Logic at PDMI

Четверг, 18 сентября, комната 311. Начало в 14:00.

Докладчик: А. Шень (Москва/Марсель).

Тема: Апериодические замощения и теорема о неподвижной точке.

Abstract

Известная теорема Бергера говорит, что существует конечный набор квадратных плиток с цветными сторонами с такими свойствами: такими плитками (сдвинутыми копиями) можно выложить плоскость с сохранением цветов, но толко непериодически.

Обычно это доказывается с помощью геометрической конструкции (Robinson, Ammann, Penrose) - но, как выясняется, это можно получить из общих (и хорошо известных) соображении о моделировании вычислений и о неподвижной точке (теорема Клини). Эта конструкция более гибкая и позволяет получить замощения с дополнительными условиями (устойчивость к ошибкам и др.)

(совместная работа с Bruno Durand, Andrei Romaschenko, по мотивам P.Gacs и др.)