Julia Robinson

Julia Robinson (1919–1985) was an American mathematician whose work on the decidability of Diophantine equations was essential to the negative solution of Hilbert's tenth problem. Her 1950 paper on the existential definability of the exponential function in the integers provided the key technical lemma that Yuri Matiyasevich later used to complete the proof in 1970.

Robinson's approach was not to solve the problem directly but to show that a sufficiently rich class of sets — the Diophantine sets — could encode undecidable questions. Her work demonstrated that the boundary between computable and uncomputable runs through the most elementary objects in mathematics. She was the first woman elected to the mathematical section of the National Academy of Sciences and the first female president of the American Mathematical Society.

The collaboration between Robinson, Martin Davis, and Hilary Putnam — later joined by Matiyasevich — exemplifies how incremental, distributed progress can resolve problems that no single approach could crack alone. Robinson's contributions were the bridge; Matiyasevich crossed it.