Wang tiles are square tiles with colored edges. Adjacent tiles must share matching edge colors.
Amazingly, certain small sets of Wang tiles can only tile the plane aperiodically — never repeating in any direction.
The existence of such sets (shown by Robert Berger in 1966) proved that tiling is undecidable.
Click tiles in the legend to see their structure.