Roger Penrose

anyone familiar with his work?
i m trying to recreate one of his tiling methods but
cant seem to find his algo anywhere

Yeah he's def. not that crackpot that thinks humans are magically exempt from Gödel incompleteness and the halting problem.