הלנה רסיובה

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש
הלנה רסיובה
Helena Rasiowa
אין תמונה חופשית
לידה 20 ביוני 1917
וינה, האימפריה האוסטרו-הונגרית עריכת הנתון בוויקינתונים
פטירה 9 באוגוסט 1994 (בגיל 77)
ורשה, פולין עריכת הנתון בוויקינתונים
ענף מדעי מתמטיקה
ארצות מגורים פולין, רומניה, אוקראינה
מקום לימודים אוניברסיטת ורשה עריכת הנתון בוויקינתונים
מנחה לדוקטורט Andrzej Mostowski עריכת הנתון בוויקינתונים
מוסדות אוניברסיטת ורשה עריכת הנתון בוויקינתונים
תרומות עיקריות
משפט רסיובה-סיקורסקי
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית 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)

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