Julia Robinson

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 10th problem (now known as Matiyasevich's theorem or the MRDP theorem) played a crucial role in its ultimate resolution.