Julia Robinson (1919–1985)
Julia Robinson była amerykańską matematyczką i logikiem. Jej prace były kluczowym etapem na drodze do rozwiązania dziesiątego problemu Hilberta dotyczącego algorytmicznego rozwiązywania równań diofantycznych.
Robinson razem z Martinem Davisem i Hilarym Putnamem wykazała głębokie związki między obliczalnością a równaniami całkowitoliczbowymi. Ostateczny brak uniwersalnego algorytmu udowodnił w 1970 roku Jurij Matiasewicz, wykorzystując wcześniejsze rezultaty całej grupy.
Najważniejsza była tzw. Hipoteza Robinson, która redukowała problem do wykazania odpowiedniego wzrostu rozwiązań diofantycznych. Matiasewicz później dostarczył brakujący element, kończąc dowód twierdzenia MRDP.
Jej wkład został szeroko uznany w środowisku logików. W 1983 roku została pierwszą kobietą wybraną na prezydenta American Mathematical Society.
Strona została opracowana na podstawie danych z: MacTutor History of Mathematics.