Skip to main content
edited tags
Link
Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k
edited tags
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286
Source Link
grok
  • 2.5k
  • 17
  • 21

Decidability of periodic tilings of the plane

I'm interested in tilings of the plane by squares, with labels on the edges. It's well known that (1) the question "can one tile the plane with the following finite set of tiles?" is undecidable, and (2) there are finite sets of tiles that tile the plane, but only aperiodically. Also, (1) implies (2).

Is the question "can one tile the plane periodically with the following finite set of tiles?" decidable?