Гелена Расіова | |
---|---|
пол. Helena Rasiowa | |
Народилася | Відень, Австро-Угорщина | 20 червня 1917
Померла | 9 серпня 1994 Варшава, Польща | (у віці 77 років)
Поховання | Повонзківський цвинтар |
Країна | Республіка Польща |
Діяльність | математик, інформатик |
Alma mater | Варшавський університет |
Галузь | Основи математики і алгебраїчна логіка |
Заклад | Варшавський університет[1] |
Науковий керівник | Анжей Мостовський |
Аспіранти, докторанти | d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] |
Членство | Польське математичне товариство[3] d[4] Асоціація символьної логіки[3] d[3] |
Нагороди |
Гелена Расіова (20 червня 1917, Відень, Австро-Угорщина — 9 серпня 1994, Варшава, Польща) — польська вчена-математик. Працювала в галузі основ математики та алгебраїчної логіки.
Ранні роки
Расіова народилася у Відні 20 червня 1917 року в польській родині. Як тільки Польща відновила незалежність у 1918 році, сім'я оселилася у Варшаві. Батько Гелени був залізничним спеціалістом. В дитинстві вона виявляла багато різних навичок та інтересів, починаючи від музики і закінчуючи управлінням бізнесом та найважливішим зі своїх інтересів — математикою.
У 1938 році час був не надто сприятливим для вступу до університету. Расіові довелося перервати навчання, оскільки після 1939 року в Польщі не було можливості отримати юридичну освіту. Багато людей втекло з країни, або, принаймні, вони втекли з великих міст, які зазнали німецьких бомбардувань та терору. Сім'я Расіова також втекла, оскільки більшість високопосадовців адміністрації та членів уряду евакуювались до Румунії. Рік провела у Львові. Після вторгнення СРСР у вересні 1939 року місто було захоплене радянським військом. Життя багатьох поляків опинилось під загрозою, тож батько Гелени вирішив повернутися до Варшави.
Наукова діяльність
Расіова зазнала сильного впливу польських логіків. Магістерську дисертацію вона написала під керівництвом Яна Лукашевича та Болеслава Собоціньського. У 1944 році спалахнуло Варшавське повстання. В результаті військових дій Варшава була майже повністю зруйнована. Це було пов'язано не лише з безпосередніми боями, але й із систематичними руйнуваннями, що відбулися в ході придушення повстання. Будинок родини Расіови згорів. Сама вона вижила з матір'ю в льоху, який прикривали руїни зруйнованої будівлі.
Після війни польська математика почала відновлювати свої наукові установи. Також поверталися до них учені. Ті, хто залишився, вважали своїм обов'язком взятися за відбудову польських університетів та наукової спільноти. Однією з важливих умов стало повернення всіх науковців-математиків. Расіова працювала вчителем у середній школі. Саме там вона познайомилася з Анджеєм Мостовським і повернулася до університету. У 1945 році вона дописала кандидатську дисертацію, а в наступному році розпочала академічну кар'єру асистентом Варшавського університету, закладу, в якому вона працювала до кінця свого життя.
В університеті Гелена Расіова підготувала та захистила кандидатську дисертацію «Алгебраїчна обробка функціональних чисел Льюїса та Гейтінга» у 1950 році під керівництвом професора Анджея Мостовського. Ця дисертація з алгебраїчної логіки започаткувала її наукову кар'єру, сприяючи розвитку львівсько-варшавської школи логіки. У 1956 році вчена здобула другу наукову ступінь, доктор наук (еквівалент сьогоднішньої габілітації) в Інституті математики Польської академії наук, де з 1954 до 1957 року вона обіймала посаду доцента. У 1967 році вона стала професором. На здобуття наукового ступеня вона подала дві роботи — Алгебраїчні моделі аксіоматичних теорій та Конструктивні теорії, які разом утворили дисертацію на тему Алгебраїчні моделі елементарних теорій та їх застосування.
Гелена Расіова навчала багато поколінь студентів та вчених, багато з яких, стали викладачами в Польщі та за кордоном. Зокрема, її аспірантами були: Майкл Блейхер (1961), Володимир Георгійович Кірін (1966), Анджей Сальвіцкі (1969), Нгуен Кот Хо (1971), Сесілія Раузер (1971), Єва Орловська (1971), Гражина Мірковська (1972), Марія Семенюк-Полковська (1972), Віктор Бартол (1973), Антоні Кречмар (1973), Єжи Тюрин (1975), Лех Банаховський (1975), Аніта Василевська (1975), Міхал Криніцький (1976), Болеслав Шиманський (1976), Димитр Вакарелов (1977), Богдан Сабальський (1977), Галина Пшимусінська (1979), Лешек Рудак (1986).
Наукові праці
- Математика метаматематики (1963, спільно з Романом Сікорським)
- Алгебраїчний підхід до некласичної логіки (1974)
Особисте життя
Гелена Расіова одружилася із Станіслава Рас. У 1947 році в Мілановеку вона народила сина Збігнева, який продовжив справу матері, а також вивчав алгебру (1973 - докторський ступінь алгебраїчних властивостей напівпрограм в адресних машинах з фіксованою програмою) та інформатику (1987) — звання професора в Університеті Північної Кароліни в Шарлотті).
Примітки
- Архів історії математики Мактьютор — 1994.
- Математичний генеалогічний проєкт — 1997.
- https://books.google.cat/books?id=eDVBDwAAQBAJ&pg=PA76 — С. 76.
- https://books.google.cat/books?id=ueZfDwAAQBAJ&pg=PA709 — С. 709.
- Джон Дж. О'Коннор та Едмунд Ф. Робертсон. Гелена Расіова в архіві MacTutor (англ.)
- . Архів оригіналу за 15 червня 2021. Процитовано 2 квітня 2021.
- Bojownik o Katyń. www.mojarodzina.org. Процитовано 14 липня 2020.
- Podążając Śladami Kobiet w Matematyce Polskie Towarzystwo Matematyczne. www.ptm.org.pl. Процитовано 14 липня 2020.
- (PDF). Архів оригіналу (PDF) за 17 липня 2020. Процитовано 9 квітня 2021.
- Zbigniew Wieslaw Ras (англ.). prabook.com. Процитовано 14 липня 2020.
Посилання
- Гелена Расіова(англ.) в проєкті «Математична генеалогія».
- «Helena Rasiowa», Біографії жінок-математиків [ 24 квітня 2021 у Wayback Machine.], коледж Агнесс Скотт
- Джон Дж. О'Коннор та Едмунд Ф. Робертсон. Гелена Расіова в архіві MacTutor (англ.)
- Біографія Расіови [ 19 квітня 2021 у Wayback Machine.]
- Вшанування Хелени Расіови [ 3 березня 2006 у Wayback Machine.] — Мелвін Фіттінг
- Про внесок Хелени Расіови в математичну логіку [ 29 вересня 2007 у Wayback Machine.] — стаття Дж. М. Фонта
- Вебсайт, присвячений Олени Расіови [ 30 травня 2020 у Wayback Machine.]
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
rozmir zobrazhennya pidpis zobrazhennya Gelena Rasiovapol Helena RasiowaNarodilasya 1917 06 20 20 chervnya 1917 Viden Avstro UgorshinaPomerla9 serpnya 1994 1994 08 09 u vici 77 rokiv Varshava PolshaPohovannyaPovonzkivskij cvintarKrayina Respublika PolshaDiyalnistmatematik informatikAlma materVarshavskij universitetGaluzOsnovi matematiki i algebrayichna logikaZakladVarshavskij universitet 1 Naukovij kerivnikAnzhej MostovskijAspiranti doktorantid 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 ChlenstvoPolske matematichne tovaristvo 3 d 4 Asociaciya simvolnoyi logiki 3 d 3 NagorodiHonorary badge For Merits for Warsaw d 1974 d 1984 d 1987 U Vikipediyi ye statti pro inshih lyudej iz prizvishem Gelena Rasiova 20 chervnya 1917 Viden Avstro Ugorshina 9 serpnya 1994 Varshava Polsha polska vchena matematik Pracyuvala v galuzi osnov matematiki ta algebrayichnoyi logiki Ranni rokiRasiova narodilasya u Vidni 20 chervnya 1917 roku v polskij rodini Yak tilki Polsha vidnovila nezalezhnist u 1918 roci sim ya oselilasya u Varshavi Batko Geleni buv zaliznichnim specialistom V ditinstvi vona viyavlyala bagato riznih navichok ta interesiv pochinayuchi vid muziki i zakinchuyuchi upravlinnyam biznesom ta najvazhlivishim zi svoyih interesiv matematikoyu U 1938 roci chas buv ne nadto spriyatlivim dlya vstupu do universitetu Rasiovi dovelosya perervati navchannya oskilki pislya 1939 roku v Polshi ne bulo mozhlivosti otrimati yuridichnu osvitu Bagato lyudej vteklo z krayini abo prinajmni voni vtekli z velikih mist yaki zaznali nimeckih bombarduvan ta teroru Sim ya Rasiova takozh vtekla oskilki bilshist visokoposadovciv administraciyi ta chleniv uryadu evakuyuvalis do Rumuniyi Rik provela u Lvovi Pislya vtorgnennya SRSR u veresni 1939 roku misto bulo zahoplene radyanskim vijskom Zhittya bagatoh polyakiv opinilos pid zagrozoyu tozh batko Geleni virishiv povernutisya do Varshavi Naukova diyalnistRasiova zaznala silnogo vplivu polskih logikiv Magistersku disertaciyu vona napisala pid kerivnictvom Yana Lukashevicha ta Boleslava Sobocinskogo U 1944 roci spalahnulo Varshavske povstannya V rezultati vijskovih dij Varshava bula majzhe povnistyu zrujnovana Ce bulo pov yazano ne lishe z bezposerednimi boyami ale j iz sistematichnimi rujnuvannyami sho vidbulisya v hodi pridushennya povstannya Budinok rodini Rasiovi zgoriv Sama vona vizhila z matir yu v lohu yakij prikrivali ruyini zrujnovanoyi budivli Pislya vijni polska matematika pochala vidnovlyuvati svoyi naukovi ustanovi Takozh povertalisya do nih ucheni Ti hto zalishivsya vvazhali svoyim obov yazkom vzyatisya za vidbudovu polskih universitetiv ta naukovoyi spilnoti Odniyeyu z vazhlivih umov stalo povernennya vsih naukovciv matematikiv Rasiova pracyuvala vchitelem u serednij shkoli Same tam vona poznajomilasya z Andzheyem Mostovskim i povernulasya do universitetu U 1945 roci vona dopisala kandidatsku disertaciyu a v nastupnomu roci rozpochala akademichnu kar yeru asistentom Varshavskogo universitetu zakladu v yakomu vona pracyuvala do kincya svogo zhittya V universiteti Gelena Rasiova pidgotuvala ta zahistila kandidatsku disertaciyu Algebrayichna obrobka funkcionalnih chisel Lyuyisa ta Gejtinga u 1950 roci pid kerivnictvom profesora Andzheya Mostovskogo Cya disertaciya z algebrayichnoyi logiki zapochatkuvala yiyi naukovu kar yeru spriyayuchi rozvitku lvivsko varshavskoyi shkoli logiki U 1956 roci vchena zdobula drugu naukovu stupin doktor nauk ekvivalent sogodnishnoyi gabilitaciyi v Instituti matematiki Polskoyi akademiyi nauk de z 1954 do 1957 roku vona obijmala posadu docenta U 1967 roci vona stala profesorom Na zdobuttya naukovogo stupenya vona podala dvi roboti Algebrayichni modeli aksiomatichnih teorij ta Konstruktivni teoriyi yaki razom utvorili disertaciyu na temu Algebrayichni modeli elementarnih teorij ta yih zastosuvannya Gelena Rasiova navchala bagato pokolin studentiv ta vchenih bagato z yakih stali vikladachami v Polshi ta za kordonom Zokrema yiyi aspirantami buli Majkl Blejher 1961 Volodimir Georgijovich Kirin 1966 Andzhej Salvicki 1969 Nguen Kot Ho 1971 Sesiliya Rauzer 1971 Yeva Orlovska 1971 Grazhina Mirkovska 1972 Mariya Semenyuk Polkovska 1972 Viktor Bartol 1973 Antoni Krechmar 1973 Yezhi Tyurin 1975 Leh Banahovskij 1975 Anita Vasilevska 1975 Mihal Krinickij 1976 Boleslav Shimanskij 1976 Dimitr Vakarelov 1977 Bogdan Sabalskij 1977 Galina Pshimusinska 1979 Leshek Rudak 1986 Naukovi praciMatematika metamatematiki 1963 spilno z Romanom Sikorskim Algebrayichnij pidhid do neklasichnoyi logiki 1974 Osobiste zhittyaGelena Rasiova odruzhilasya iz Stanislava Ras U 1947 roci v Milanoveku vona narodila sina Zbigneva yakij prodovzhiv spravu materi a takozh vivchav algebru 1973 doktorskij stupin algebrayichnih vlastivostej napivprogram v adresnih mashinah z fiksovanoyu programoyu ta informatiku 1987 zvannya profesora v Universiteti Pivnichnoyi Karolini v Sharlotti PrimitkiArhiv istoriyi matematiki Maktyutor 1994 d Track Q547473 Matematichnij genealogichnij proyekt 1997 d Track Q829984 https books google cat books id eDVBDwAAQBAJ amp pg PA76 S 76 https books google cat books id ueZfDwAAQBAJ amp pg PA709 S 709 Dzhon Dzh O Konnor ta Edmund F Robertson Gelena Rasiova v arhivi MacTutor angl Arhiv originalu za 15 chervnya 2021 Procitovano 2 kvitnya 2021 Bojownik o Katyn www mojarodzina org Procitovano 14 lipnya 2020 Podazajac Sladami Kobiet w Matematyce Polskie Towarzystwo Matematyczne www ptm org pl Procitovano 14 lipnya 2020 PDF Arhiv originalu PDF za 17 lipnya 2020 Procitovano 9 kvitnya 2021 Zbigniew Wieslaw Ras angl prabook com Procitovano 14 lipnya 2020 PosilannyaGelena Rasiova angl v proyekti Matematichna genealogiya Helena Rasiowa Biografiyi zhinok matematikiv 24 kvitnya 2021 u Wayback Machine koledzh Agness Skott Dzhon Dzh O Konnor ta Edmund F Robertson Gelena Rasiova v arhivi MacTutor angl Biografiya Rasiovi 19 kvitnya 2021 u Wayback Machine Vshanuvannya Heleni Rasiovi 3 bereznya 2006 u Wayback Machine Melvin Fitting Pro vnesok Heleni Rasiovi v matematichnu logiku 29 veresnya 2007 u Wayback Machine stattya Dzh M Fonta Vebsajt prisvyachenij Oleni Rasiovi 30 travnya 2020 u Wayback Machine