For 75 years, computers have worked within limits defined by Alan Turing. Now work has begun to fulfil his prophecy of a machine that can solve the unsolvable.