|Julia Hall Bowman Robinson|
Julia Robinson in 1975
|Born||December 8, 1919
St. Louis, Missouri, United States
|Died||July 30, 1985 (age 65)
Oakland, California, United States
|Institutions||University of California, Berkeley|
|Alma mater||University of California, Berkeley|
|Doctoral advisor||Alfred Tarski|
|Known for||Diophantine equations
|Notable awards||Noether Lecturer
Background and education
Robinson was born in St. Louis, Missouri, the daughter of Ralph Bowers Bowman and Helen (Hall) Bowman.:454 Her older sister was the mathematical popularizer and biographer Constance Reid. The family moved to Arizona and then to San Diego when the girls were a few years old. Julia attended San Diego High.
She entered San Diego State University in 1936 and transferred as a senior to University of California, Berkeley, in 1939. She received her BA degree in 1940 and continued in graduate studies.:454–455 She received the Ph.D. degree in 1948 under Alfred Tarski with a dissertation on "Definability and Decision Problems in Arithmetic".:52
In 1975 she became a full professor at Berkeley, teaching quarter-time because she still did not feel strong enough for a full-time job.:472
Hilbert's tenth problem
Hilbert's tenth problem asks for an algorithm to determine whether a Diophantine equation has any solutions in integers. A series of results developed in the 1940s through 1970 by Robinson, Martin Davis, Hilary Putnam, and Yuri Matiyasevich resolved this problem in the negative; that is, they showed that no such algorithm can exist.
George Csicsery produced and directed a one-hour documentary about Robinson titled Julia Robinson and Hilbert's Tenth Problem, that premiered at the Joint Mathematics Meeting in San Diego on January 7, 2008. Notices of the American Mathematical Society printed a film review and an interview with the director.  College Mathematics Journal also published a film review.
Other decidability work
Her Ph.D. thesis was on "Definability and Decision Problems in Arithmetic". In it she showed that the theory of the rational numbers was undecidable by showing that elementary number theory could be defined in terms of the rationals, and elementary number theory was already known to be undecidable (this is Gödel's first Incompleteness Theorem).:51
Other mathematical works
Robinson's work only strayed from decision problems twice.:457 The first time was her first paper, published in 1948, on sequential analysis in statistics. The second was a 1951 paper in game theory where she proved that the fictitious play dynamics converges to the mixed strategy Nash equilibrium in two-player zero-sum games. This was posed as a prize problem at RAND with a $200 prize, but she did not receive the prize because she was a RAND employee at the time.:59
Robinson was attracted to politics by the 1952 presidential campaign of Adlai Stevenson. (Stevenson was her husband's first cousin, but it was his ideas that attracted her and not the family connection.) In the 1950s Robinson was active in local Democratic party activities, and did less mathematics. She stuffed envelopes, rang doorbells, asked for votes, and so on. She was Alan Cranston's campaign manager in Contra Costa County when he ran for his first political office, state controller.:64–65  :1488
Robinson's heart had been damaged by rheumatic fever as a child, and as an adult, she suffered poor health and shortness of breath.:7,43 She married Berkeley professor Raphael Robinson in 1941.:455 In 1961, she underwent an operation to remove the scar tissue from her mitral valve. The operation was a success and she became much more active physically and took up bicycling for exercise.:470 In 1984, she was diagnosed with leukemia. She underwent treatment and went into remission for a few months, but then the disease recurred and she died in Oakland, California, on July 30, 1985.:473:120
- United States National Academy of Sciences elected 1975 (first woman mathematician elected;:vii)
- Noether Lecturer 1982;
- MacArthur Fellowship 1983;
- President of American Mathematical Society 1983–1984 (first woman president.:vii)
- The Julia Robinson Mathematics Festival sponsored by the Mathematical Sciences Research Institute, 2007-present, was named in her honor.
- Robinson, Julia (1996). The collected works of Julia Robinson. Collected Works 6. Providence, R.I.: American Mathematical Society. ISBN 978-0-8218-0575-6. MR 1411448
- Feferman, Solomon (1994). "Julia Bowman Robinson, 1919–1985" (PDF). Biographical Memoirs 63. Washington, DC: National Academy of Sciences. pp. 452–479. ISBN 978-0-309-04976-4. Retrieved 2008-06-18.
- Reid, Constance (1996). Julia: A life in mathematics. Washington, DC: Mathematical Association of America. ISBN 0-88385-520-8.
- Wood, Carol (May 2008). "Film Review: Julia Robinson and Hilbert's Tenth Problem" (PDF). Notices of the American Mathematical Society (Providence, RI: American Mathematical Society) 55 (5): 573–575. ISSN 0002-9920. Retrieved 2008-06-06.
- Casselman, Bill (May 2008). "Interview with George Csicsery" (PDF). Notices of the American Mathematical Society (Providence, RI: American Mathematical Society) 55 (5): 576–578. ISSN 0002-9920. Retrieved 2008-06-06.
- Murray, Margaret A. M. (September 2009). "A Film of One's Own". College Mathematics Journal (Washington, DC: Mathematical Association of America) 40 (4): 306–310. ISSN 0746-8342.
- "Being Julia Robinson's Sister" (PDF). Notices of the American Mathematical Society (Providence, RI: American Mathematical Society) 43 (12): 1486–1492. December 1996. ISSN 0002-9920. Retrieved 2008-06-07.
- "Noether Brochure: Julia Robinson, Functional Equations in Arithmetic". Association for Women in Mathematics. Retrieved 2008-06-18.
- Davis, Martin (1970–80). "Robinson, Julia Bowman". Dictionary of Scientific Biography 24. New York: Charles Scribner's Sons. pp. 265–268. ISBN 0684101149.
- Matijasevich, Yuri (1992). "My collaboration with Julia Robinson". The Mathematical Intelligencer 14 (4): 38–45. doi:10.1007/BF03024472. ISSN 0343-6993. MR 1188142
- "Julia Bowman Robinson", Biographies of Women Mathematicians, Agnes Scott College
- O'Connor, John J.; Robertson, Edmund F., "Julia Robinson", MacTutor History of Mathematics archive, University of St Andrews.
- Julia Robinson at the Mathematics Genealogy Project
- Julia Bowman Robinson on the Internet (mirror)
- Trailer for Julia Robinson and Hilbert's Tenth Problem on YouTube