Wanda Szmielew
Polish mathematician / From Wikipedia, the free encyclopedia
Wanda Szmielew née Montlak (5 April 1918 – 27 August 1976)[1] was a Polish mathematical logician who first proved the decidability of the first-order theory of abelian groups.[1]
Quick Facts Born, Died ...
Wanda Szmielew | |
---|---|
Born | (1918-04-05)5 April 1918 |
Died | 27 August 1976(1976-08-27) (aged 58) |
Alma mater | |
Scientific career | |
Fields | Mathematics, logic |
Thesis | Elementary properties of Abelian groups (1955) |
Doctoral advisor | Alfred Tarski |
Close