www.fmath.info

Rasiowa sisestatud Varssavi ülikooli aastal 1938, kuid pärast Saksa vägede sissetungi, Poola 1939, ülikooli lõpetas. Rasiowa ja tema vanemad viidi Lvov kuid poolakad ei jääks venelased ja sakslased ja Lvovi kuulus Nõukogude Liidu kontrolli alt. Elu seal tundus isegi raskem kui Saksa okupatsioon, nii et aasta pärast pere tagasi Varssavis.

Seal oli muljetavaldav kogumise matemaatikud Ülikooli Varssavi sel ajal ka Borsuk, Lukasiewicz, Mazurkiewicz, Sierpinski, Mostowski jt. Nad olid organiseeritud metroo versioon ülikooli, mille vastu olid natside asutused. Borsuk, näiteks vangistati pärast ametiasutused leidnud, et ta oli aidanud käivitada maa ülikoolis.

Selles ohtlikus olukorras Rasiowa õppinud matemaatikat, teades, et karistused on leitud olid äärmuslikud. Kuid selles keskkonnas Rasiowa uuritud tema magistrikraad all Lukasiewicz 's all.

Kui Nõukogude väed tulid lähedal Varssavis aastal 1944, Varssavi Resistance tõusid vastu nõrgenenud Saksa garnison. Kuid Saksa tugevdused saabunud ja panema vastupanu. Umbes 160.000 inimest hukkus Varssavi ülestõusu 1944 ning linn jäeti riigi peaaegu kogu hävingut. Rasiowa aja jooksul ülestõusu on kirjeldatud:

1944 Varssavi ülestõusu puhkemist ja seega Varssavi oli peaaegu täielikult hävitatud, mitte ainult sellepärast, sõja, vaid ka seetõttu, et süstemaatiline hävitamine, mis järgnes ülestõus pärast selle lömastatud alla. Rasiowa teesi põles koos kogu maja. Ta ise elanud koos oma emaga keldris kaetud varemed lammutati hoone.

Pärast sõda Rasiowa õpetatakse keskkooli ajal juhendaja Lukasiewicz vasakule Poola pärast kohutavaid kannatusi ta käis läbi. Mostowski siiski meeles pidada, Rasiowa muljetavaldav töö ja veenda teda tagasi Varssavi ülikooli lõpetada teise magistritöö tema järelevalve all.

Aastal 1946, on saanud tema magistritöö, nimetati ta assistent Varssavi Ülikooli ning jätkas tööd tema doktorikraadi all Mostowski 's all. Tema väitekirja, mis esitati aastal 1950 oli algebra ja loogika Algebrallinen ravi funktsionaalse calculus of Lewis ja Heyting ja need teemad oleksid peamised tema teadus kogu elu.

Rasiowa edutati pidevalt, ulatudes auaste professor 1957 professor 1967. Ta juhtis sihtasutuste Matemaatika jagu alates 1964 ja matemaatilise loogika osa pärast selle loomist 1970.

Tema peamised uurimisvaldkonnad olnud algebraline loogika ja matemaatika alused Computer Science. In algebraline loogika ta jätkas tööd postiga Stone, Tarski ja Lukasiewicz:

... mille eesmärk on leida täpset kirjeldust matemaatiline struktuur vormistatakse loogiline süsteemid.

Muidugi Rasiowa töö algebraline loogika oli täpselt õige ala teha oma füüsilise toetaja Theoretical Computer Science. Siiski on üks asi olla õige ala ja veel üks on võime näha, kui tähtis on uus teema, nagu Computer Science. Tema panus on kirjeldatud:

Tema panus Theoretical Computer Science tuleneb tema veendumust, et on sügav vaheliste meetodite algebra ja loogika ning teiselt poolt oluliste probleemide aluste informaatika eriala teiselt. Nendest probleemidest ta selgelt eristada järeldada meetodite iseloomulik infotehnoloogia ja selle rakendused. Seda veendumust tema päralt oli toetanud tema tulemused palju-hinnatud ja mitte-klassikalise Logics, eelkõige taotluste mitmesuguste üldistuste kohta Post algebras et Logics, programmide ja õigusaktide Logics.

Tegelikult aastal 1984 Rasiowa tutvustas oluline mõiste järeldada kui peamised teave oli ebatäielik. See viis ligikaudne põhjendusi ja ligikaudne Logics mis on praegu keskne uuring tehisintellekti.

Rasiowa kirjutas üle 100 tk, raamatuid ja monograafiaid. Ta kontrollib doktoriväitekirja rohkem kui 20 õpilast. Kuid tema panust ei ole ainult teadusuuringud. Ta aitas luua Teataja Fundamenta Informaticae kus ta editor-in-chief alates oma loomise aastal 1977 kuni oma surmani. Lisaks neile toimetuse ülesandeid ta oli ka Kollektsioneerimine toimetaja Studia Logica aastast 1974 ning alates 1986, assotsieerunud toimetaja Teataja Ligikaudne reasoning.

Ta mängis olulist rolli matemaatiline elu Poolas. Liige Poola Matemaatika Selts, oli ta oma sekretär 1955-57 ja selle asepresident 1958/59. Ta mees vastutaval matemaatika Poola Teaduste Akadeemia ja eesistujana erinevate komisjonide Poola teadus-ja kõrghariduse omandamiseks. See oli osaliselt kaudu oma jõupingutusi, et Poola Selts Logic ja Teadusfilosoofia loodi.

Rasiowa jätkas õigus kuni oma surmani, olles lõpetanud kaheksa peatükki uue monograafia Algebrallinen analüüsi mitte-klassikalise esimeses järjekorras Logics enne sisenemist haiglasse tema lõplik haigus.

Source:School of Mathematics and Statistics University of St Andrews, Scotland