solvable or unsolvable for the same values of the parameters. At the time the solution was first published, the authors established N = 200. Robinson and Matiyasevich's joint work would produce further reduction to 9 unknowns. Game theory During the late 1940s, Robinson spent a year or so at the RAND Corporation in Santa Monica researching game theory. Her 1949 technical report, "On the Hamiltonian game (a traveling salesman problem)," is the first publication to use the phrase "Travelling salesman problem". Shortly thereafter she published a paper called "An Iterative Method of Solving a Game" in 1951. In her paper, she proved that the fictitious play dynamics converges to the mixed strategy Nash equilibrium in two-player zero-sum games. This was posed by George W. Brown as a prize problem at RAND Corporation. Professorship at UC Berkeley Robinson was not allowed to teach in the Mathematics Department at Berkeley after marrying Raphael M. Robinson in 1941, as there was a rule which prevented family members from working together in the same department. Robinson then instead stayed in the statistics department despite wanting to teach calculus. Although Raphael retired in 1973, it wasn't until 1976 she was offered a full-time professorship position at Berkeley after the department heard of her nomination to the National Academy of Sciences. Honors After Yuri Matiyasevich solved Hilbert's tenth problem by means of the J.R. hypothesis and the Fibonacci number sequence, Saunders Mac Lane nominated Robinson for the National Academy of Sciences. Alfred Tarski and Jerzy Neyman also flew out to Washington, D.C. to further explain to the NAS why her work is so important and how it tremendously contributed to mathematics. In 1975, she was the first female mathematician to be elected to the National Academy of Sciences. Robinson was chosen as the first female president of the American Mathematical Society (for the term of 1983–1984) but was unable to complete her term as she was suffering from leukemia. It took time for her to accept the nomination, as stated in her autobiography:"In 1982 I was nominated for the presidency of the American Mathematical Society. I realized that I had been chosen because I was a woman and because I had the seal of approval, as it were, of the National Academy. After discussion with Raphael, who thought I should decline and save my energy for mathematics, and other members of my family, who differed with