My guess, is that here he is talking about undecidability which appears quite often in mathematical problems, maybe something like this http://en.wikipedia.org/wiki/Wang_tile or http://www.nd.edu/~svandend/Tilings.pdf (pdf).
My guess, is that here he is talking about undecidability which appears quite often in mathematical problems, maybe something like this http://en.wikipedia.org/wiki/Wang_tile or http://www.nd.edu/~svandend/Tilings.pdf (pdf).