The Entscheidungsproblem
Turing, Alan,
“On computable numbers, with an application to the Entscheidungsproblem”.
Tilings
References on tilings