[cheradenine01]

The Emperor's New Mind (and the followup whose name I forget).

There's a rather scratchy recorded documentary here https://www.youtube.com/watch?v=eVq39QbFQXE

See also: https://en.wikipedia.org/wiki/Wang_tile n 1966, Wang's student Robert Berger solved the domino problem in the negative. He proved that no algorithm for the problem can exist, by showing how to translate any Turing machine into a set of Wang tiles that tiles the plane if and only if the Turing machine does not halt. The undecidability of the halting problem (the problem of testing whether a Turing machine eventually halts) then implies the undecidability of Wang's tiling problem.