rtin Davis for the next steps. The final elements were put in place in the 1970s with the work of another young mathematician, this time a Russian — Yuri Matiyasevich. Robinson wrote to him when she heard of his proof, “To think all I had to do was to wait for you to be born and grow up so I could fill in the missi