Aperiodic Tilings and Undecidability

Work in progress