Hilbert's Tenth Problem
Decisive contributions to the theory that led to the proof that no general algorithm can determine whether arbitrary Diophantine equations have integer solutions.
Scientist Exhibit
Mathematics
Made decisive contributions to the solution of Hilbert’s Tenth Problem
Overview
Julia Robinson was a mathematician and logician whose work was central to resolving Hilbert’s Tenth Problem. She investigated whether there could be a general algorithm for determining when Diophantine equations have integer solutions and developed key ideas connecting number theory with computability. Her work, together with contributions by Martin Davis, Hilary Putnam, and Yuri Matiyasevich, led to the proof that no such universal algorithm exists. Robinson was the first woman president of the American Mathematical Society.
Scientific Contribution
Decisive contributions to the theory that led to the proof that no general algorithm can determine whether arbitrary Diophantine equations have integer solutions.
Life Timeline
education
Robinson completed her doctorate at Berkeley and immediately began research on Hilbert's Tenth Problem.
publication
Robinson published an important convergence result for finite two-person zero-sum games.
discovery
The work of Robinson, Martin Davis and Hilary Putnam formed a crucial part of the chain of results completed by Yuri Matiyasevich in 1970, proving that no general algorithm exists for Hilbert's Tenth Problem.
award
Robinson became the first woman mathematician elected to the U.S. National Academy of Sciences.
career
Robinson became the first woman to serve as president of the American Mathematical Society.
Places & Networks
university
Berkeley , United States
View Institution →