Helena Rasiowa

Helena Rasiowa

Helena Rasiowa (1917-1994) was a Polish mathematician, consideredwho? to be one of the greatest of her time.She worked in foundations of mathematics and algebraic logic.

Early years

Rasiowa was born in Vienna on June 20, 1917 to Polish parents. As soon as Poland regained its independence in 1918, the family settled in Warsaw. Helena's father was a high-class railway specialist. She exhibited many different skills and interests, from music to business management to the most important of her interests, mathematics. In 1938, the time was not very opportune for entering a university. Rasiowa had to interrupt her studies, as no legal education was possible in Poland after 1939. Many people fled the country, or at least they fled the big towns, which were subject to German bombardments and terror. The Rasiowa family fled as well, as most high-ranking administration officials and members of the government were being evacuated to Romania. The family spent a year in Lvov. After a Soviet invasion in September 1939, the town was taken over by the Soviet Union. The lives of many Poles became endangered, so Helena's father decided to return to Warsaw.

Academic development

Rasiowa became strongly influenced by Polish logicians. She wrote her Master's thesis under the supervision of Jan Łukasiewicz and Bolesław Sobociński. In 1944, the Warsaw Uprising broke out and consequently Warsaw was almost completely destroyed. This was not only due to the immediate fighting, but also because of the systematic destruction which followed the uprising after it had been suppressed. Rasiowa's thesis burned with the whole house. She herself survived with her mother in a cellar covered by the ruins of the demolished building.

After the war, Polish mathematics began to recover its institutions, its moods, and its people. Those who remained considered their duty to be the reconstruction of Polish universities and the scientific community. One of the important conditions for this reconstruction was to gather all those who could participate in recreating mathematics. In the meantime, Rasiowa had accepted a teaching position in a secondary school. That is where she was discovered by Andrzej Mostowski and brought back to the University. She rewrote her Master's thesis in 1945 and in the next year she started her academic career as an assistant at the University of Warsaw, the institution she remained linked with for the rest of her life.

At the University, she prepared and defended her PhD thesis, "Algebraic Treatment of the Functional Calculi of Lewis and Heyting,"in 1950 under the guidance of Prof. Andrzej Mostowski. This paper pointed to the main field of Rasiowa's future research: algebraic methods in logic. In 1956, she made her second academic degree (equivalent to habilitation today) in the Institute of Mathematics of the Polish Academy of Sciences, where between 1954 and 1957, she held a post of Associate Professor, becoming a Professor in 1957 and subsequently Full Professor in 1967. For the degree, she submitted two papers, "Algebraic Models of Axiomatic Theories" and "Constructive Theories", which together formed a thesis named "Algebraic Models of Elementary Theories and their Applications".

External links

*
* [http://www.agnesscott.edu/lriddle/women/rasiowa.htm "Helena Rasiowa", Biographies of Women Mathematicians] , Agnes Scott College
*MacTutor Biography|id=Rasiowa
* [http://www.mimuw.edu.pl/%7Emrr/Rasiowa/RasiowaBiogr/RasiowaBiogr.htm Rasiowa's Biography]
* [http://comet.lehman.cuny.edu/fitting/bookspapers/pdf/papers/Rasiowa.pdf A tribute to Helena Rasiowa] – by Melvin Fitting
* [http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/&toc=comp/proceedings/ismvl/1996/7392/00/7392toc.xml&DOI=10.1109/ISMVL.1996.508351 On the contributions of Helena Rasiowa to mathematical logic] – an article by J. M. Font
* [http://www.cs.uncc.edu/~ras/mrr-warsaw.ppt Web site dedicated to Helena Rasiowa]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Lemma von Rasiowa-Sikorski — Das Rasiowa–Sikorski Lemma, benannt nach den polnischen Mathematikern Roman Sikorski und Helena Rasiowa, ist in der Mengenlehre grundlegend für die Entwicklung der Forcing Methode. Es postuliert die Existenz von Filtern mit gewissen Eigenschaften …   Deutsch Wikipedia

  • Abstract algebraic logic — In mathematical logic, abstract algebraic logic (AAL) studies the ways in which classes of algebras may be associated with logical systems, and how these classes of algebras interact with logical systems.OverviewThe archetypal association of this …   Wikipedia

  • List of Poles — This is a partial list of famous Polish or Polish speaking or writing persons. In the interest of fairness and accuracy, a minority of persons of mixed heritage have their respective ancestries credited.HistoryMathematics Bartel * Stefan Banach * …   Wikipedia

  • List of logicians — A logician is a person, such as a philosopher or mathematician, whose topic of scholarly study is logic. The famous logicians are listed below in English alphabetical transliteration order (by surname).compactTOC NOTOC A * Nate Ackerman (USA,… …   Wikipedia

  • Algèbre de Lindenbaum — L algèbre de Lindenbaum d une théorie est l ensemble des classes d équivalence de ses théorèmes. Munie des conjonction, disjonction et négation (qui sont compatibles avec l équivalence logique), c est une algèbre de Boole. Elle a été construite… …   Wikipédia en Français

  • Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… …   Wikipedia

  • List of mathematicians (R) — NOTOC Raa * Raabe, Joseph Ludwig (Switzerland, 1801 1859) * Rabin, Michael O. (Israel, 1931 ) * Rabinowitz, Philip (USA, 1926 2006) * Racah, Giulio (Israel, 1909 1965) * Radau, Rodolphe (Germany, 1835 1911) * Rademacher, Hans (USA/Germany, 1892… …   Wikipedia

  • Valuation (logic) — In logic and model theory, a valuation can be: *In propositional logic, an assignment of truth values to propositional variables, with a corresponding assignment of truth values to all propositional formulas with those variables. *In first order… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”