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.

[youtube url=https://www.youtube.com/watch?v=e4x9XKNAYjU]

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.

The full DVD of *Julia Robinson and Hilbert’s Tenth Problem* is available from George Csicsery’s ZALA Films site, and it looks like there are a few copies on Amazon as well.