Wiktor Bartol

Wiktor Bartol HELENA RASIOWA AND CECYLIA RAUSZER - TWO GENERATIONS IN LOGIC Helena Rasiowa was born on June 23, 1917 in Vienna, where her father, Wies law B¸aczalski, worked as a high-ranking railway specialist. In 1918, when Poland regained its independent existence as a sovereign state, the B¸aczalski family settled in Warsaw. The father was offered an important position in the railway administration, which allowed him to ensure good conditions for his daughter’s development. The young Helena completed her secondary education in a renowned school in Warsaw while learning the piano at a music college. Her first decision was to study management and she persisted in it for about one semester. Eventually, her mathematical interest prevailed. At the beginning of the academic year 1938/39 Helena, already mar- ried, became a student of mathematics at the Faculty of Mathematics and Natural Sciences at the Warsaw University. Among her new colleagues there were Wanda Szmielew and Roman Sikorski, who, together with Ra- siowa, would greatly contribute to the development of Polish mathematics after 1945. The list of lecturers at the Faculty included such promi- nent names as those of Wac law Sierpiński,Kazimierz Kuratowski, Jan Lukasiewicz and Karol Borsuk. The year 1939 brought these studies to a stop. The entire family was evacuated to Lvov. However, after one year in exile, they decided to return to Warsaw. Here the 23-year old Helena Rasiowa reestablished contact with her teachers (and also with Stefan Mazurkiewicz, one of the founders of the Polish School of Mathematics in the twenties); she renewed her studies in the clandestine university. By July 1944 she had passed all the necessary examinations and pre- pared her Master’s thesis in mathematical logic under the supervision of Jan Lukasiewicz and Boles law Sobociński. Unfortunately, in the destruction of Warsaw which followed the Nazi suppression of the Warsaw uprising, the thesis was turned to ashes, whereas Helena survived the end of the uprising 120 with her mother in a cellar buried under the ruins of a destroyed house. Af- ter having managed to leave Warsaw safely, both women subsisted thanks to the help of the family. Immediately after the war Rasiowa worked at school, where she was discovered by Andrzej Mostowski. She re-wrote her Master’s thesis and thus graduated from the Warsaw University as Master of Science in 1946. She stayed at the University as an assistant and started to work on her PhD thesis under the guidance of Andrzej Mostowski. Her first publications appeared in 1947: Axiomatization d’un système partiel de la théorie de la déduction and Sur certaines matrices logiques. Three years later, in 1950, Helena Rasiowa was granted the PhD degree for her thesis Algebraic treatment of the functional calculi of Lewis and Heyting. In 1956 she obtained the highest scientific degree available in Poland, the habilitation, after having presented a treatise consisting of two parts: Algebraic models of axiomatic theories and Constructive theories. By that time she was author or co-author of 20 publications, among them joint papers with Roman Sikorski, Andrzej Mostowski, Andrzej Bia lynicki- Birula, JerzyLo´s. Her professional links with the Warsaw University, initiated by her assuming the position of assistant at the Chair of the Philosophy of Math- ematics in 1946, lasted till her very last days. In 1950 she became associate professor, in 1952 – a deputy professor (a position which disappeared few years later), in 1954 she was already docent, to become permanent professor in 1957 and full professor ten years later. Simultaneously, she held the positions of docent and later professor at the Institute of Mathematics of the Polish Academy of Sciences between 1954 and 1963. Very active in research, she did not restrict her activities to that field. She never rejected any duties at the university. So, she was head of the Chair of Mathematical Logic for nearly thirty years from 1964 to 1993. She was Dean of the Faculty of Mathematics and Physics in the years 1958–1960 and 1962–1966. Then, she re-assumed the same charge in 1968 and remained Dean first of the Faculty of Mathematics and Mechanics and then of the Faculty of Mathematics, Computer Science and Mechanics. Obviously, the Faculty did not change. It was the name that changed to reflect the changes in the scope of areas being taught and investigated. In the Polish Mathematical Society Helena Rasiowa was secretary (1955–1956), President of the Warsaw branch of the Society (1957–1958), Vice-President of the Society (1958) and then again President of the War- 121 saw branch in 1963–1964. In 1987 she was awarded the honorary member- ship of the Polish Mathematical Society. In the Association of Symbolic Logic Rasiowa was Council member in 1958–1960 and member of the Executive Committee for European Affairs in 1972–1977, while in the Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Sciences she was Alternate Assessor (1972–1975) and Assessor (1975–1979). Member of the Committee for Mathematical Sciences of the Polish Academy of Sciences since 1961, she was its secretary between 1961 and 1968. In 1972 she was invited to preside the Scientific Council of the Insti- tute of Computer Science of the PAS, which she did until 1983. Moreover, Helena Rasiowa was member of various committees and boards related to the teaching of mathematics or the organization of higher education. Much of her energy was devoted to editorial work. Her persistence was essential for the creation of Fundamenta Informaticae in 1977. Since then, until her demise, she was Editor in Chief of the journal, which in the meantime grew from the initial four yearly issues to twelve in 1995 and sixteen issues in 1996. Since 1974 she was in the Editorial Board of Studia Logica. In 1986 she established editorial cooperation with the Journal of Approximate Reasoning. It seems incredible that in spite of all these duties in very different areas of professional life Rasiowa managed to publish over 100 research publications in the period 1947–1994. These include the classic monographs: The Mathematics of Metamathematics (with R.Sikorski) first published in 1963, and An Algebraic Approach to Non-Classical Logics which appeared in 1974. In the last months of her life she was writing a new book, of which she completed eight chapters. Last but not least, the description of her outcome would not be complete without mentioning one of the most used textbooks in the teaching of mathematics at the universities, the In- troduction to modern mathematics, translated into several languages and thus known to students in many countries. Professor Helena Rasiowa’s achievements and contribution to mathematics, and mathematical logic in particular, was well appreciated by the world mathematical community. She was being invited to many universities all around the world, either to give a single lecture or to stay for a longer period as a visiting professor. In the latter form she spent some time at 14 universities: in Argentina, Brazil, Canada, Italy, Mexico and U.S.A. (Princeton, Florida, North Carolina, Case Western Reserve Univer- 122 sity at Cleveland, Tulane University, Chicago, University of California at Berkeley). She gave lectures on the results of her research at 46 scientific institutions in 12 countries. For some years now Polish mathematicians award a yearly prize in the form of an invitation to deliver a Sierpińskilecture; the invitation is accompanied by a medal bearing the portrait of W ladys law Sierpiński, one of the most eminent Polish mathematicians. In 1987 the invitation was extended to Helena Rasiowa to honour her entire outcome in the field of mathematical logic. This award can be seen as the culmination of a long list of prizes she had been receiving in the previous years: prizes of the Polish Mathematical Society (1953), of the Minister of Education (1965, 1974, 1987), of the Polish Academy of Sciences (1972) and the very prestigious State Prize (1984). Rasiowa supervised about 20 doctorates, among them that of Ce- cylia Rauszer. Some of her doctoral students are now working abroad, like Michael Bleicher (University of Madison), Vladimir Kirin (University of Za- greb), Dymitr Vakarelov (University of Sofia), Nguyen Cat Ho (University of Hanoi) or Andrzej Salwicki (University of Pau). It seems to be hard to overestimate the influence of Helena Rasiowa in mathematical logic. General algebraic methods applicable to the investiga- tion of both classic and non-classic logics which she developed have become one of the major tools in mathematical logic. Many a logician has been formed by her books and lectures. She was a living example of devotion to mathematics and a caring guide into the field for many. ∗ ∗ ∗ When Cecylia Rauszer passed away on May 13, 1994, after a long period of illness, she was only 51 years old. She was born on November 28, 1942, in Grzegorzewice, a small village surrounded by forests and, as it seemed, a perfect hideout in the times of Nazi occupation. Unfortunately, there could be no perfect hideout at that epoch. Cecylia’s mother was shot to death in one of the meanders of this terrible war, she herself, an infant, miraculously survived. After the war the family (the second wife of Cecylia’s father became a real caring mother to the girl) settled in Warsaw, where Cecylia com- 123 pleted her primary and secondary education. In 1960 she became student of mathematics at the Faculty of Mathematics and Physics of the Warsaw University. This was to be the beginning of her lifetime links with the Uni- versity.

Load more