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
  • University of Warsaw (MA)
  • University of California, Berkeley (PhD)
Scientific career
FieldsMathematics, logic
ThesisElementary properties of Abelian groups (1955)
Doctoral advisor
Alfred 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 available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.