Oración 1: combinando Berger undecidability resultado con Wang la observación muestra que allí tiene que existir un conjunto finito de Wang azulejos que azulejos el avión, pero único "aperiodically"
Oración 2: similar a un Penrose que enladrilla, o el arreglo de átomos en un quasicrystal
Conector: esto es
Relación: entailment
Género: articles