cRIRIc

Julia Hall Bowman Robinson (Saint Louis, 8 dicembre 1919 – Oakland, 30 luglio 1985) è stata una matematica statunitense nota per i suoi contributi ai campi della teoria della calcolabilità e della teoria della complessità computazionale, in particolare nei problemi decisionali. Il suo lavoro sul decimo problema di Hilbert (ora noto come teorema di Matiyasevich o teorema MRDP) ha svolto un ruolo cruciale nella sua risoluzione finale. Robinson è stata insignita del premio MacArthur Fellows Program nel 1983. Wikipedia