Helena Rasiowa (ur.
20 czerwca
1917
w
Wiedniu
, zm.
9 sierpnia
1994
w
Warszawie
) – matematyk,
profesor
Uniwersytetu Warszawskiego
i
Polskiej Akademii Nauk
; zajmowała się
logiką
,
algebrą
(w tym
algebrą Boole'a
),
teoria mnogości
, oraz
informatyką
teoretyczną. Autorka książki Wstęp do matematyki współczesnej, omawiającej zagadnienia z zakresu logiki i teorii mnogości.
Biografia
Helena Rasiowa urodziła się w Wiedniu w rodzinie pochodzenia polskiego. Do Polski przyjechała niedługo po odzyskaniu niepodległości w roku
1918
. W roku
1938
rozpoczęła studia matematyczne na Uniwersytecie Warszawskim, które zmuszona była przerwać po rozpoczęciu
II wojny światowej
. Po roku spędzonym wraz z rodziną we
Lwowie
powróciła do Warszawy, gdzie podjęła edukację na tajnych studiach, zorganizowanych przez wykładowców UW (m.in.
Karola Borsuka
,
Jana Łukasiewicza
,
Andrzeja Mostowskiego
). Jej pierwsza praca magisterska, pisana pod kierunkiem Jana Łukasiewicza i
Bolesława Sobocińskiego
, spłonęła podczas
powstania warszawskiego
, zaś sama Rasiowa przeżyła je, ukrywając się w podziemiach budynków. Po wojnie krótko pracowała jako nauczycielka matematyki, by za namową Mostowskiego powrócić na studia. Napisała drugą pracę magisterską, tym razem pod kierunkiem Andrzeja Mostowskiego, którą obroniła w roku
1945
. W następnym roku rozpoczęła pracę jako asystent na Uniwersytecie Warszawskim. W roku
1950
obroniła rozprawę doktorską, pisaną także pod kierunkiem Andrzeja Mostowskiego. Praca dotyczyła metod algebraicznych w logice.
W roku
1956
zdobyła drugi
stopień naukowy
doktor nauk (odpowiednik
doktora habilitowanego
). Rok później rozpoczęła pracę jako
profesor
nadzwyczajny na Uniwersytecie Warszawskim, zaś w roku
1967
Rada Państwa nadałała
tytuł profesora
zwyczajnego. W
badaniach naukowych
koncentrowała się na algebraicznych aspektach logiki, logice, algebrze, w późniejszym okresie - informatycznych aspektach matematyki, algorytmiki oraz sztucznej inteligencji.
Helena Rasiowa działała w
Polskim Towarzystwie Matematycznym
, w latach
1955
-
1957
była jego sekretarzem, zaś w latach
1958
-
1959
wiceprezesem.
Publikacje książkowe
- Wstęp do matematyki współczesnej. Wydaw. Naukowe PWN, Warszawa 2003.
- Algorithmic logic: lectures notes Simon Fraser University, Canada. "Prace IPI PAN", tom 281. Instytut Podstaw Informatyki Polskiej Akademii Nauk, Warszawa 1977.
- An algebraic approach to non-classical logics. "Studies in Logic and the Foundations of Mathematics", tom 78. Wydaw. Naukowe PWN - North-Holland, Warszawa - Amsterdam 1974.
Linki zewnętrzne