Ich weiß, dass es nicht zu entscheiden ist, ob ein Kachelsatz das Flugzeug kacheln kann, ein Ergebnis der Verwendung von Wang-Kacheln durch Berger . Meine Frage ist, ob es auch bekannt ist, unentscheidbar zu sein, um festzustellen, ob eine einzelne gegebene Fliese die Ebene, eine einflächige Kachelung , kacheln kann .
Wenn dies weiterhin ungeklärt bleibt, würde ich gerne wissen, wie hoch die Mindestkardinalität eines Kachelsatzes ist, für den es einen Unentscheidbarkeitsbeweis gibt. (Ich habe noch nicht auf Bergers Beweis zugegriffen.)