Over on Google+, David Roberts just posted this trailer (via Антид Ото) to a lovely documentary about Julia Robinson and her contributions towards answering Hilbert’s tenth problem.
David Hilbert’s tenth problem was to find an algorithm to solve diophantine equations, that is, to find roots of polynomials with integer coefficients. We now know that the problem is unsolvable in general, and Julia Robinson did a lot of the work to get there; she wrote that she “couldn’t bear to die without knowing the answer.”
David asked if anyone knows of any present-day female mathematicians of similar standing to Julia Robinson. Apart from President of the IMU Ingrid Daubechies and people who are active on Twitter my knowledge of top mathmos is quite poor, so I thought I’d open the question up to The Aperiodical’s readers.