Helena Rasiowa (1917 – 1994)
Die polnische Logikerin und Mathematikerin Helena Rasiowa wurde am 20. Juni 1917 in Wien geboren. Als Polen 1918 unabhängig wurden gingen ihre Eltern nach Warschau. 1938 ging Helena Rasiowa an die Warschauer Universität. Nach der deutschen Besetzung von Polen 1939 wurde die Universität geschlossen. Helena Rasiowa ging mit ihren Eltern nach Lvov, das aber unter sowjetische Kontrolle geriet. Da die deutsche Herrschaft das kleinere Übel zu sein schien, ging die Familie zurück nach Warschau.Bedeutende Mathematiker und Logiker wie Borsuk, &;ukasiewicz, Mazurkiewicz, Sierpinski, Mostowski und andere wirkten an der Untergrunduniversität von Warschau. &;ukasiewicz und Soboci&;ski betreuten Helena Rasiowa.
Nach dem Krieg wurde Helena Rasiowa Lehrerin an einer Sekundarschule, da ihr Betreuer &;ukasiewicz Polen verlassen hat. Mostowski, der sich an sie erinnerte holte sie zurück an die Universität um ihr Studium unter seiner Betreuung zu vollenden. Nach dem Studium wurde sie Doktorandin unter Mostowskis Betreuung.
Ihre Dissertation verteidigte sie 1950. Es war ein Thema zu Algebra und Logik: Algebraic treatment of the functional calculus of Lewis and Heyting.
1957 wurde sie außerordentliche Professorin, 1967 ordentliche Professorin. Sie arbeitete vor allem zur algebraischen Logik und zu den mathematischen Grundlagen der Computerwissenschaft.
In der algebraischen Logik knüpfte sie an Post, Stone, Tarski und &;ukasiewicz an.
1984 führte Rasiowa den wichtigen Begriff der Inferenz ein. Dieser Begriff fürte zum approximativen Schließen und zur approximativen Logik. Helena Rasiowa starb am 9. August 1994 in Warschau.
Weblinks