So I read the answer to your previous question. I believe it's correct. This gives a recipe to translate any edge-type Wang tile to a corner-type Wang tile. If you start with an aperiodic set of edge-type Wang tiles, then the corner-type Wang tiles you get from this construction are also aperiodic. What more is there to say?
Anthony Quas
- 23.2k
- 5
- 63
- 98