first specific occurrence of aperiodic tilings arose in 1961, when logician Hao Wang tried to determine whether the Domino Problem is decidable — that is, whether there exists an algorithm for deciding if a given finite set of prototiles admits a tiling of the plane. Wang found algorithms to enumerate the tilesets that cannot tile the plane, and the tilesets that tile it periodically; by this he showed that such a decision algorithm exists if every finite set of prototiles that admits a tiling of the plane also admits a periodic tiling. In 1964 Robert Berger found an aperiodic set of prototiles from which he demonstrated that the tiling problem is in fact not decidable. This first such set, used by Berger in his proof of undecidability, required 20,426 Wang tiles. Berger later reduced his set to 104, and Hans Läuchli subsequently found an aperiodic set requiring only 40 Wang tiles. An even smaller set of six aperiodic tiles (based on Wang tiles) was discovered by Raphael M. Robinson in 1971. Roger Penrose discovered three more sets in 1973 and 1974, reducing the number of tiles needed to two, and Robert Ammann discovered several new sets in 1977. The aperiodic Penrose tilings can be generated not only by an aperiodic set of prototiles, but also by a substitution and by a cut-and-project method. After the discovery of quasicrystals aperiodic tilings become studied intensively by physicists and mathematicians. The cut-and-project method of N.G. de Bruijn for Penrose tilings eventually turned out to be an instance of the theory of Meyer sets. Today there is a large amount of literature on aperiodic tilings. Constructions There are a few constructions of aperiodic tilings known. Some constructions are based on infinite families of aperiodic sets of tiles. Those constructions which have been found are mostly constructed in a few ways, primarily by forcing some sort of non-periodic hierarchical structure. Despite this, the undecidability of the Domino Problem ensures that there must be infinitely many distinct principles of construction, and that in fact, there exist aperiodic sets of tiles for which there can be no proof of their aperiodicity. Aperiodic hierarchical tilings To date, there is not a formal definition describing when a tiling has a hierarchical structure; nonetheless, it is clear that substitution tilings have them, as do the tilings of Berger, Knuth, Läuchli and Robinson. As with the term "aperiodic tiling" itself, the