הלנה רסיובה

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש
הלנה רסיובה
Helena Rasiowa
Helena Rasiowa.jpg
לידה 20 ביוני 1917
וינה, האימפריה האוסטרו-הונגרית עריכת הנתון בוויקינתונים
פטירה 9 באוגוסט 1994 (בגיל 77)
ורשה, פולין עריכת הנתון בוויקינתונים
ענף מדעי מתמטיקה
מקום מגורים פולין, רומניה
עיסוק מתמטיקאית, מדענית מחשב עריכת הנתון בוויקינתונים
מקום לימודים אוניברסיטת ורשה (1946) עריכת הנתון בוויקינתונים
מנחה לדוקטורט אנדז'יי מוסטובסקי עריכת הנתון בוויקינתונים
מוסדות אוניברסיטת ורשה עריכת הנתון בוויקינתונים
תרומות עיקריות
משפט רסיובה-סיקורסקי
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית OOjs UI icon info big.svg

הלנה רסיובה (20 ביוני 1917, וינה, אוסטריה - 9 באוגוסט 1994, ורשה, פולין) הייתה מתמטיקאית פולנייה, שפעלה בתחומי יסודות המתמטיקה (לוגיקה מתמטית ותורת הקבוצות) ולוגיקה אלגברית.

ראשית דרכה[עריכת קוד מקור | עריכה]

רסיובה נולדה בווינה להורים פולנים. מיד לאחר שזכתה פולין בעצמאות בשנת 1918, עקרה המשפחה לוורשה. אביה של רסיובה היה מומחה למסילות ברזל. רסיובה הפגינה כישרון ועניין בתחומים רבים, ממוזיקה ועד מנהל עסקים, אך בעיקר במתמטיקה.

עם פרוץ מלחמת העולם השנייה, נמלטה משפחתה של רסיובה לרומניה, ומשם ללביב בברית המועצות (סופח לברית המועצות זמן קצר לפני זה). לאחר זמן קצר, כאשדר בעיר נכבשה על ידי הנאצים החליט אביה לשוב לוורשה.

קריירה אקדמית[עריכת קוד מקור | עריכה]

רסיובה הושפעה מלוגיקנים פולנים. היא כתבה תזה בהדרכת יאן לוקשיביץ' ובולסלב סובוצ'ינסקי. בשנת 1944 אירע מרד ורשה שהביא להרס עצום בוורשה. התזה של רסיובה עלתה באש עם הבית כולו. היא עצמה שרדה, עם אמה, במרתף תחת ההריסות.

לאחר המלחמה החלו מתמטיקאים פולנים לשקם את הענף בפולין. רסיובה בינתיים מצאה משרת הוראה בבית ספר תיכון, שם פגשה את אנדז'יי מוסטובסקי וחזרה לאוניברסיטה. היא כתבה מחדש את תזת התואר השני בשנת 1945, ושנה לאחר מכן החלה ללמד באוניברסיטת ורשה כעוזרת הוראה, והמשיכה לפעול במסגרת המוסד כל חייה.

באוניברסיטה, השלימה בשנת 1950 את עבודת הדוקטורט שלה, Algebraic Treatment of the Functional Calculi of Lewis and Heyting ("טיפול אלגברי בחשבון הדיפרנציאלי והאינטגרלי הפונקציונלי של לואיס והייטינג"), בהדרכת אנדז'יי מוסטובסקי. עבודה זו הייתה הבסיס לכיוון המשך המחקר שלה: שיטות אלגבריות בלוגיקה. בשנת 1956, השלימה תואר "דוקטור במדעים" (שהיה נהוג אז, מקביל בערך לקביעות באקדמיה), במכון למתמטיקה של האקדמיה הפולנית למדעים. במסגרת האקדמיה הזו, החזיקה רסיובה בדרגת פרופסור חבר בין שנת 1954 ל-1957, פרופסור משנת 1957, ופרופסור מן המניין החל משנת 1967. במסגרת עבודת הדוקטור השנייה הזו, חיברה שני מחקרים שביחד נקראו Algebraic Models of Elementary Theories and their Applications ("מודלים אלגבריים של תאוריות יסוד והשלכותיהן).

ספרים שחיברה[עריכת קוד מקור | עריכה]

  • The Mathematics of Mathematics ("המתמטיקה של המתמטיקה", 1963, עם רומן סיקורסקי)
  • An Algebraic Approach to Non-Classical Logics, ("גישה אלגברית ללוגיקות לא קלאסיות", 1974)

קישורים חיצוניים[עריכת קוד מקור | עריכה]