תורת הפונקציות הרקורסיביות, ענף התמחות בלוגיקה מודרנית, מחזיקה את התפתחותה היסודית במחקריה של רוז'ה פטר (Rózsa Péter). היא נולדה בשם רוז'ה פוליצר (Rózsa Politzer) בבודפשט, ושינתה מסלול קצר של עיסוק בשירה חזרה לקריירה מדעית לכל החיים, ובסופו של דבר הקימה את המסגרת המתמטית שנותרה חיונית להבנת אופן הפעולה של תהליכים רקורסיביים בתאוריית המחשוב בת זמננו.
השכלה אקדמית ומחקר מוקדם
פטר נרשמה לאוניברסיטת פאזמאן פטר (Pázmány Péter University) - שמאוחר יותר הפכה לאוניברסיטת אטווש לוראנד (Eötvös Loránd University) - בין השנים 1923 ו-1927. בעוד שבתחילה למדה כימיה, היא העבירה את המיקוד שלה למתמטיקה לאחר שהשתתפה בהרצאות של ליפוט פייר (Lipót Fejér) ויוז'ף קורשאק (József Kürschák). עבודת התואר השני המוקדמת שלה בתורת המספרים נתקלה במכשולים כאשר גילתה שממצאיה על מספרים משוכללים אי-זוגיים חפפו למחקר קיים של רוברט קרמייקל (Robert Carmichael) ו-ל. א. דיקסון (L. E. Dickson). בעידודו של עמיתה לאסלו קלמר (László Kalmár), היא עברה לעסוק במשפטי האי-שלמות של קורט גדל (Kurt Gödel). שינוי אינטלקטואלי זה הוביל לקבלת הדוקטורט שלה בשנת 1935, בהצטיינות יתרה (summa cum laude).
פיתוח התורה הרקורסיבית
בשנת 1932 הציגה פטר את ממצאיה על פונקציות רקורסיביות בקונגרס הבינלאומי של המתמטיקאים בציריך. עד 1933 שיתפה פעולה בגטינגן עם פאול ברנאיס (Paul Bernays), ותרמה תרומה משמעותית לספר יסודות המתמטיקה (Grundlagen der Mathematik), אשר הופיע בשנת 1934 תחת שמותיהם של דויד הילברט (David Hilbert) וברנאיס. המאמרים הבאים שלה בכתב העת Mathematische Annalen ביססו רשמית את תורת הפונקציות הרקורסיביות כתחום לימוד מובחן. בשנת 1937 היא הפכה לעורכת תורמת של Journal of Symbolic Logic.
מצוקות המלחמה והוראה שלאחר המלחמה
במהלך מלחמת העולם השנייה, יישום החוקים היהודיים של 1939 בהונגריה אילץ את פטר להפסיק ללמד והביא לכליאתה בגטו בבודפשט. בתקופה זו היא כתבה את ספרה המשפיע 'משחקים עם אינסוף' (Playing with Infinity), שנועד לקוראים הדיוטות לעסוק בתורת המספרים ובלוגיקה. לאחר המלחמה, בשנת 1945, היא הצטרפה למכללה להכשרת מורים בבודפשט. בשנת 1952 היא הפכה לאישה ההונגרית הראשונה שזכתה בתואר דוקטור למתמטיקה. היא עברה לאוניברסיטת אטווש לוראנד בשנת 1955, שם נשארה עד פרישתה בשנת 1975.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →תרומות לתורת המחשב
החל משנות ה-50 יישמה פטר את עקרונות תורת הפונקציות הרקורסיביות במדעי המחשב. המונגרפיה האחרונה שלה, פונקציות רקורסיביות בתורת המחשוב (Rekursive Funktionen in der Komputer-Theorie), פורסמה ב-1976. הטקסט נחשב קריטי לתאוריית המחשוב ובסופו של דבר פורסם בברית המועצות. לאורך הקריירה שלה, היא שמרה על תפקידה כמחנכת מסורה, וזכתה לכינוי 'דודה רוז'ה' מצד סטודנטים באוניברסיטה.
עובדות מהירות
- לידה: 1905, בודפשט - פטירה: 1977, בודפשט - השכלה: אוניברסיטת אטווש לוראנד - זוכת פרס קושוט: 1951 - זוכת פרס מנו בקה: 1953 - חברות אקדמית: האקדמיה ההונגרית למדעים - מקום קבורה: בית הקברות פרקשרטי (Farkasréti Cemetery)
שאלות שקוראים שואלים
### במה התפרסמה רוז'ה פטר יותר מכל?
היא מוכרת כאם המייסדת של תורת הפונקציות הרקורסיביות, תחום בלוגיקה החיוני לתאוריית המחשוב המודרנית.
### האם היא נתקלה במכשולים משמעותיים בקריירה?
כן. נאסר עליה ללמד תחת החוקים היהודיים ההונגריים בשנת 1939 והיא נכלאה בגטו במהלך מלחמת העולם השנייה.