What was Julia Robinson known for in math?

Julia Robinson was a prominent American mathematician known for her work in mathematical logic and decision problems. She made significant contributions to the field of recursive functions and was instrumental in the development of the theory of Hilbert's tenth problem, which addresses the solvability of Diophantine equations. Robinson was the first woman to be elected to the National Academy of Sciences and played a key role in advocating for women in mathematics. Her research and advocacy have left a lasting legacy in both mathematics and the promotion of diversity in the field.