PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Stephen Simpson.

Title:Self-referential constructions, fixed-point theorems, and aperiodic tilings
Seminar:Logic Seminar
Speaker:Alexander Shen, LIF (Marseille) and IITP (Moscow)
Abstract:
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

Room Number:MB315
Date:01 / 20 / 2009
Time:02:30pm - 03:45pm