Wanda Szmielew

Wanda Szmielew

Wanda Szmielew (* 5. April 1918 in Warschau; † 27. August 1976 ebenda) war eine polnische mathematische Logikerin.

Szmielew studierte ab 1935 an der Universität Warschau, wobei sie sich unter Alfred Tarski und Lindenbaum mit mathematischer Logik beschäftigte. Eine erste Arbeit stellte sie 1938 fertig, sie konnte aber erst nach dem Zweiten Weltkrieg in den Fundamenta Mathematica veröffentlicht werden. Im Zweiten Weltkrieg arbeitete sie unter deutscher Besatzung als Vermessungstechnikerin und unterrichtete im Untergrund. Ab 1945 bis 1947 setzte sie ihr Studium an der Universität Łódź fort. 1947 erhielt sie ihr Diplom an der Universität Warschau und wurde dort Assistentin. 1949 ging sie an die University of California, Berkeley zu Tarski, wo sie 1950 promoviert wurde mit einer Arbeit (Elementare Eigenschaften abelscher Gruppen), die sie noch unter deutscher Besatzung fertiggestellt hatte und in der sie die Entscheidbarkeit der Theorie abelscher Gruppen bewies. 1950 wurde sie Assistenzprofessorin in Warschau, 1954 Dozentin und 1957 Professor[1]. 1965 bis 1967 war sie Gastprofessorin in Berkeley bei Tarski.

Szmielew beschäftigte sich mit metamathematischen Grundlagen der Algebra und Geometrie und mit Mengenlehre. Ein Projekt von ihr und Alfred Tarski zur metamathematischen Grundlegung der euklidischen Geometrie wurde 1983 von Wolfram Schwabhäuser vollendet.

Sie war Mitglied der Kommission für Lehrbücher des Erziehungsministeriums.

Literatur

  • Wolfram Schwabhäuser, Wanda Szmielew, Alfred Tarski: Metamathematische Methoden in der Geometrie. Springer-Verlag 1983.
  • Szmielew, Karol Borsuk: Foundations of geometry, Euclidean and Bolyai-Lobachevskian geometry, projective geometry, Amsterdam, North-Holland Publishing Company, 1960 (englische Übersetzung des polnischen Originals)
  • Elementare Eigenschaften abelscher Gruppen, Fundamenta Mathematicae, Bd.41, 1955, S. 203-271
  • Von der affinen zur euklidischen Geometrie- ein axiomatischer Zugang (polnisch), Bibliotheca Mathematica Bd.55, 1981
  • Nachruf in Studia Logica, Bd. 36, 1977, Nr.4, S.241
  • Renate Strohmeier: Lexikon der Naturwissenschaftlerinnen und naturkundigen Frauen Europas, Harri Deutsch 1998

Einzelnachweise

  1. Im englischen Nachruf in Studia Logica wird Associate Professor angegeben

Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Wolfram Schwabhäuser — (* 20. Mai 1931; † 27. Dezember 1985) war ein deutscher mathematischer Logiker, der sich mit Modelltheorie beschäftigte. Schwabhäuser studierte Mathematik und Physik an der Humboldt Universität Berlin (Diplom 1956, Über die Vollständigkeit der… …   Deutsch Wikipedia

  • Liste von Persönlichkeiten der Stadt Warschau — Die folgende Liste enthält die in Warschau geborenen sowie zeitweise lebenden Persönlichkeiten, chronologisch aufgelistet nach dem Geburtsjahr. Die Liste erhebt keinen Anspruch auf Vollständigkeit. Inhaltsverzeichnis 1 In Warschau geborene… …   Deutsch Wikipedia

  • Karol Borsuk — Infobox Scientist box width = name = Karol Borsuk image size = caption = birth date = birth date|1905|5|8 birth place = Warsaw, Poland death date = death date and age|1982|1|24|1905|5|8 death place = Warsaw, Poland residence = citizenship =… …   Wikipedia

  • Ultraparallel theorem — In hyperbolic geometry, the ultraparallel theorem states that every pair of ultraparallel lines in the hyperbolic plane has a unique common perpendicular hyperbolic line.Proof in the Poincaré half plane modelLet :a < b < c < d be four distinct… …   Wikipedia

  • Liste von Mathematikerinnen — Die Liste von Mathematikerinnen führt auch theoretische Informatikerinnen und theoretische Physikerinnen mit deutlich mathematischer Ausrichtung auf. Aufgenommen wurden unter anderem die Preisträgerinnen der Noether Lecture und des Ruth Lyttle… …   Deutsch Wikipedia

  • Abelian group — For other uses, see Abelian (disambiguation). Abelian group is also an archaic name for the symplectic group Concepts in group theory category of groups subgroups, normal subgroups group homomorphisms, kernel, image, quotient direct product,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”