Wanda Szmielew

Wanda Szmielew
Born(1918-04-05)5 April 1918
Warsaw, Congress Poland
Died27 August 1976(1976-08-27) (aged 58)
Warsaw, Poland
Alma mater
Scientific career
FieldsMathematics, logic
ThesisElementary properties of Abelian groups (1955)
Doctoral advisorAlfred Tarski

Wanda Szmielew née Montlak (5 April 1918 – 27 August 1976) was a Polish mathematical logician who first proved the decidability of the first-order theory of abelian groups.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.