This is the story of David Hilbert, and his grand attempt to formalise all of mathematics into a singular, unified system. It is also the story of Alan Turing who, in attempting to disprove Hilbert’s scheme, came up with an idea of an abstract machine that unintentionally became the basis of all computer science. Despite being created to solve a completely different problem, this Turing machine has taken on a life of its own and is now the fundamental blueprint for modern computers.