Timeline for Decision problems for which it is unknown whether they are decidable
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 3, 2019 at 11:29 | history | made wiki | Post Made Community Wiki by Todd Trimble | ||
| Nov 7, 2019 at 13:25 | comment | added | Jeremias Epperlein | @Rourke I see, if you allow rotations of the tiles then I think the problem is still open. I am also not sure about tilings of $\mathbb{R}^2$ in contrast to $\mathbb{Z}^2$. | |
| Nov 7, 2019 at 11:58 | comment | added | Joseph O'Rourke | @JeremiasEpperlein: Thanks; I was unaware of this paper. Abstract: "As a consequence, the problem whether a given finite set $F$ tiles $\mathbb{Z^2}$ is decidable." Curiously he does not state this in the body of the paper, only: "Corollary 1.2. The problem whether a given finite set $F$ tiles $\mathbb{Z^2}$ by translations is decidable." | |
| Nov 7, 2019 at 8:23 | comment | added | Jeremias Epperlein | I think this is known to be decidable now, see Siddhartha Bhattacharya, Periodicity and decidability of tilings of Z^2, arxiv.org/abs/1602.05738, which is published now in the American Journal of Mathematics. | |
| Nov 6, 2019 at 23:42 | history | edited | Joseph O'Rourke | CC BY-SA 4.0 |
added 319 characters in body
|
| Nov 6, 2019 at 23:35 | history | answered | Joseph O'Rourke | CC BY-SA 4.0 |