In 1964 Robert Berger found an aperiodic set of prototiles from which he demonstrated that the tiling problem is in fact not decidable. | В 1964 году Роберт Бергер нашёл апериодический набор, тем самым показав, что задача замощения, фактически, неразрешима. |