Julia Robinson

Julia Hall Bowman Robinson
Julia Robinson in 1975
Born
Julia Hall Bowman

December 8, 1919
DiedJuly 30, 1985 (aged 65)
Oakland, California, United States
Alma materUniversity of California, Berkeley
Known forDiophantine equations
Decidability
MRDP theorem
Robinson's proof
SpouseRaphael M. Robinson
AwardsNoether Lecture (1982)
MacArthur Fellow
Scientific career
FieldsMathematician
InstitutionsUniversity of California, Berkeley
Doctoral advisorAlfred Tarski

Julia Hall Bowman Robinson (December 8, 1919 – July 30, 1985) was an American mathematician noted for her contributions to the fields of computability theory and computational complexity theory—most notably in decision problems. Her work on Hilbert's tenth problem (now known as Matiyasevich's theorem or the MRDP theorem) played a crucial role in its ultimate resolution. Robinson was a 1983 MacArthur Fellow.