Tile-assembly problem used to illustrate undecidability in tiling the plane.
Mentioned in 1 video
Veritasium
