who made contributions to number theory, computability, and complexity theory, most notably in work on Hilbert’s tenth problem. In 1983 she became the first female president of the American Mathematical Society.