An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property Value
dbo:abstract
  • Wanda Szmielew (Varsòvia, 5 d'abril de 1918 - Varsòvia, 27 d'agost de 1976), de soltera Wanda Montlak, va ser una lògica matemàtica polonesa, coneguda per ser la primera persona a demostrar la decidibilitat de la teoria de primer ordre de grups abelians. (ca)
  • 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. 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. (de)
  • Wanda Szmielew, fraŭline Montlak (naskiĝis la 5-an de aprilo 1918, mortis la 27-an de aŭgusto 1976 en Varsovio) – pola matematika logikistino. (eo)
  • Wanda Montlak Szmielew (Varsovia, Polonia, 5 de abril de 1918-ibídem, 27 de agosto de 1976)​ fue una lógica matemática polaca, conocida por ser la primera en demostrar la decidibilidad de la teoría de primer orden de grupos abelianos.​ (es)
  • 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. (en)
  • Wanda Szmielew, z domu Montlak (ur. 5 kwietnia 1918 w Warszawie, zm. 27 sierpnia 1976 tamże) – polska matematyczka, twórczyni warszawskiej szkoły podstaw geometrii. (pl)
  • Ванда Шмелев (пол. Wanda Szmielew; нар. 5 квітня 1918 року в Варшаві, пом. 27 серпня 1976 року там же) — польський математик, засновник Варшавської школи основ геометрії. (uk)
dbo:academicDiscipline
dbo:almaMater
dbo:birthDate
  • 1918-04-05 (xsd:date)
dbo:birthPlace
dbo:deathDate
  • 1976-08-27 (xsd:date)
dbo:deathPlace
dbo:doctoralAdvisor
dbo:influenced
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 51004775 (xsd:integer)
dbo:wikiPageLength
  • 7483 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1124727316 (xsd:integer)
dbo:wikiPageWikiLink
dbp:almaMater
  • University of California, Berkeley (en)
  • University of Warsaw (en)
  • (en)
dbp:birthDate
  • 1918-04-05 (xsd:date)
dbp:birthPlace
dbp:deathDate
  • 1976-08-27 (xsd:date)
dbp:deathPlace
dbp:doctoralAdvisor
dbp:fields
dbp:influenced
dbp:name
  • Wanda Szmielew (en)
dbp:thesisTitle
  • Elementary properties of Abelian groups (en)
dbp:thesisUrl
dbp:thesisYear
  • 1955 (xsd:integer)
dbp:wikiPageUsesTemplate
dcterms:subject
schema:sameAs
rdf:type
rdfs:comment
  • Wanda Szmielew (Varsòvia, 5 d'abril de 1918 - Varsòvia, 27 d'agost de 1976), de soltera Wanda Montlak, va ser una lògica matemàtica polonesa, coneguda per ser la primera persona a demostrar la decidibilitat de la teoria de primer ordre de grups abelians. (ca)
  • Wanda Szmielew, fraŭline Montlak (naskiĝis la 5-an de aprilo 1918, mortis la 27-an de aŭgusto 1976 en Varsovio) – pola matematika logikistino. (eo)
  • Wanda Montlak Szmielew (Varsovia, Polonia, 5 de abril de 1918-ibídem, 27 de agosto de 1976)​ fue una lógica matemática polaca, conocida por ser la primera en demostrar la decidibilidad de la teoría de primer orden de grupos abelianos.​ (es)
  • 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. (en)
  • Wanda Szmielew, z domu Montlak (ur. 5 kwietnia 1918 w Warszawie, zm. 27 sierpnia 1976 tamże) – polska matematyczka, twórczyni warszawskiej szkoły podstaw geometrii. (pl)
  • Ванда Шмелев (пол. Wanda Szmielew; нар. 5 квітня 1918 року в Варшаві, пом. 27 серпня 1976 року там же) — польський математик, засновник Варшавської школи основ геометрії. (uk)
  • 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 (Element (de)
rdfs:label
  • Wanda Szmielew (en)
  • Wanda Szmielew (ca)
  • Wanda Szmielew (de)
  • Wanda Szmielew (eo)
  • Wanda Szmielew (es)
  • Wanda Szmielew (pl)
  • Ванда Шмелев (uk)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
foaf:name
  • Wanda Szmielew (en)
is dbo:doctoralStudent of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy