Wang tiles

Concept

Tile-assembly problem used to illustrate undecidability in tiling the plane.

Mentioned in 2 videos