Julia Bowman

lived from 1919 to 1985

Julia B Robinson worked on computability, decision problems and non-standard models of arithmetic.

Find out more at:
http://www-history.mcs.st-andrews.ac.uk/history/
Mathematicians/Robinson_Julia.html