Wang pointed out that it is possible to find sets of Wang tiles that mimic the behaviour of any Turing Machine (Wang 1975). A Turing machine can compute all recursive functions, that is functions w...