I've just learned about Grete Hermann, a German mathematician and philosopher, and student of Emmy Noether. She was an anti-fascist, and provided a sort-of constructive solution to Hilbert's Nullstellensatz.
en.wikipedia.org/wiki/Grete_Her…