So che è impossibile stabilire se una serie di tessere può piastrellare l'aereo, a seguito di Berger che utilizza le tessere Wang . La mia domanda è se è anche noto che è indecidibile determinare se una singola piastrella può piastrellare il piano, una piastrellatura monoedrica .
Se questo rimane instabile, sarei interessato a sapere qual è la cardinalità minima di un set di tessere per le quali esiste una prova di indecidibilità. (Non ho ancora avuto accesso alla prova di Berger.)