Title: The undecidability of the domino problem
Subjects: Numerical calculations, Decidability (Mathematical logic), Proof theory, Solvable groups, Turing machines