JULIA BOWMAN ROBINSON was born in St. Louis, Missouri in 1919. She began college majoring in mathematics, in order to receive public school teaching credentials, but later transferred to the University of California at Berkeley as her interest shifted to research mathematics. She received her BA in 1940 and began her graduate studies after discovering that potential employers were more interested in her typing skills than her mathematics. At Berkeley, she studied number theory with Raphael M. Robinson. They married in 1941, after which nepotism rules prohibited her from teaching as a graduate assistant in Berkeley's mathematics department. In 1947, she began work with the logician Alfred Tarski for her doctorate, which she received in 1948. Her thesis showed that the notion of an integer can be defined arithmetically in terms of the notion of a rational number and the operations of addition and multiplication on the rationals. The arithmetic of rationals is therefore adequate for the formulation of all problems of elementary number theory. In 1948 Robinson began work on the tenth problem on Hilbert's famous list: "to find an effective method for determining if a given diophantine equation is solvable in integers." Although she also published papers on a variety of questions, the tenth problem was to occupy the largest portion of her professional career. Her early results took on added importance in 1961 with the publication of a joint paper with Martin Davis and Hilary Putnam in which it was proved that every recursively enumerable set is existentially definable in terms of exponentiation and that, therefore, there is no algorithm for deciding whether an exponential diophantine equation has a solution in natural numbers. In view of her earlier proof that exponentiation is existentially definable in terms of any function of roughly exponential growth, the negative solution of Hilbert's problem was reduced to finding an existential definition of such a function. In 1970, a young mathematician in Leningrad, Yuri Matuasevic, completed the proof. In 1975, Robinson became the first woman mathematician to be elected to the National Academy of Sciences, and, in 1983, she became the first woman president of the American Mathematical Society. Her other honors included election to the American Academy of Arts and Sciences, a grant from the MacArthur Foundation, and an honorary degree from Smith College. She died in 1985. After her death, the Copyright ©2005 Association for Women in Mathematics. All rights reserved. |