Кіріспе

Польша математигі Хелена Расиова (20 маусым 1917 – 9 тамыз 1994) – поляк математигі. Ол математиканың негіздері және алгебралық логика саласында жұмыс істеді.

Алғашқы жылдар

Расиова 1917 жылғы 20 маусымда Вена қаласында поляк ата-анасының отбасында дүниеге келді. Польша 1918 жылы тәуелсіздік алғаннан кейін, отбасы Варшаваға көшіп келді. Хеленаның әкесі теміржол саласының маманы болған. Ол музыкадан бастап бизнес-менеджментке дейін, ал ең бастысы – математикаға дейін көптеген дағдылар мен қызығушылықтарды танытты. 1938 жылы университетке түсуге аса қолайлы жағдай болмады. 1939 жылдан кейін Польшада заң білімі алу мүмкін болмағандықтан, Расиова оқуын үзуге мәжбүр болды. Көптеген адамдар елден қашып кетті, немесе кемінде, неміс бомбалауы мен қорқытуына ұшыраған ірі қалалардан қашып шықты. Расиовалар отбасы да қашып кетті, себебі жоғары лауазымды мемлекеттік қызметкерлер мен үкімет мүшелері Румынияға эвакуацияланды. Отбасы Львов қаласында бір жыл тұрды. 1939 жылдың қыркүйегінде Совет әскерлері басып алғаннан кейін, қала Совет Одағының басқаруына көшті. Көптеген поляктардың өміріне қауіп төнді, сондықтан Хеленаның әкесі Варшаваға қайтуға шешім қабылдады.

Академиялық даму

Расиова поляк логиктерінің күшті ықпалына түсті. Ол магистрлік диссертациясын Ян Лукашевич пен Болеслав Собоцинскийдің ғылыми жетекшілігімен жазды. 1944 жылы Варшава көтерілісі болды, одан кейін Варшава дерлік толығымен қирады. Бұл тікелей шайқастардың салдарынан ғана емес, сонымен қатар көтеріліс басылғаннан кейін жүйелі түрде қиратудың нәтижесі болды. Расиованың диссертациясы үйдің өзімен бірге өртенді. Ол анасымен бірге қираған ғимараттың қирандыларымен жабылған жертөледе аман қалды. Соғыстан кейін поляк математикасы өз институттарын, атмосферасын және мамандарын қайта жаңғыртуға кірісті. Қалғандардың міндеті – польша университеттерін және ғылыми қауымдастықты қайта құру деп есептелді. Бұл қайта құрудың маңызды шарты – математиканы қайта жаңғыртуға қатыса алатын барлық адамдарды біріктіру болды. Осы уақытта Расиова орта мектепте сабақ беріп жүрген еді. Дәл сол жерде ол Анджей Мостовскимен танысып, университетке оралды. 1945 жылы ол магистрлік диссертациясын қайта жазды, ал келесі жылы Варшава университетінде ассистент болып жұмысқа орналасып, өмірінің соңына дейін осы оқу орнымен байланыста болды. Университетте ол 1950 жылы профессор Анджей Мостовскийдің жетекшілігімен «Льюис және Хейтингтің функционалдық есептеулерінің алгебралық қарастырылуы» тақырыбында докторлық диссертациясын қорғады. Алгебралық логика бойынша бұл диссертация оның Львов-Варшава логика мектебіндегі ғылыми еңбегінің бастауы болды. 1956 жылы ол Польша Ғылым академиясының Математика институтында «доктор наук» (қазіргі кездегі габиляцияға тең) ғылыми дәрежесін алды, онда 1954 және 1957 жылдар аралығында доцент болып жұмыс істеді, 1957 жылы профессор, ал 1967 жылы толық профессор атанды. Дәреже алу үшін ол «Аксиоматикалық теориялардың алгебралық модельдері» және «Конструктивті теориялар» деген екі мақала ұсынды, олар бірге «Элементарлық теориялардың алгебралық модельдері және олардың қолданылуы» атты диссертацияны құрады. Расиова 1970-жылдардың соңы мен 1980-жылдардың басында Польшаның тұрақсыз жағдайына қарамастан, көптеген халықаралық математиктерді, әсіресе логиктерді Польшаға шақыруда маңызды рөл атқарды. Жапон математигі Хироакира Ононың айтуынша, ол өзінің мызғымас еркінің арқасында ынтымақтастыққа мүмкіндік жасады.