For more information about this meeting, contact Stephen Simpson.
|Title:||Self-referential constructions, fixed-point theorems, and aperiodic tilings|
|Speaker:||Alexander Shen, LIF (Marseille) and IITP (Moscow)|
|We shall discuss the following topics: Wang tiles and the domino
problem, aperiodic tile sets, history (Berger, Robinson, Penrose,
Ammann, Kari, ...), aperiodicity of self-similar tilings,
self-similar tilings and the theory of computation (implementing a
given tile set), self-referential constructions and fixed-point
results in logic and computer science, a self-implementing tile set.
As applications we shall discuss strongly aperiodic tilings, robust
aperiodic tilings, a simple proof of undecidability of the domino
problem, and high-complexity tilings.|
Room Reservation Information
|Date:||01 / 20 / 2009|
|Time:||02:30pm - 03:45pm|