Image of Wanda Szmielew

Wanda Szmielew

was born 104 years ago

5 April 1918

Wanda Szmielew was a Polish mathematical logician who first proved the decidability of the first-order theory of abelian groups.

Find out more at: https://mathshistory.st-andrews.ac.uk/Biographies/Szmielew/