The "can you tile the plane aperiodically" that started the investigation into these tile sets, the disproof was that proving it was equivalent to solving the halting problem... and thus the tile set is equivalent to a Turing machine.

I keep wondering if https://grahamshawcross.com/2012/10/12/wang-tiles-and-turing... is practical as a bathroom wall.