יורם הירשפלד

יורם הירשפלד (17 באוקטובר 1940 – 10 באוגוסט 2022) היה פרופסור חבר למתמטיקה באוניברסיטת תל אביב.^[1]

יורם הירשפלד

יורם_הירשפלד, אפריל 2017
לידה	17 באוקטובר 1940[דרוש מקור][מפני ש...]
נהרג	10 באוגוסט 2022 (בגיל 81) רמסגייט (אנ'), אנגליה, הממלכה המאוחדת
ענף מדעי	מתמטיקה
מקום לימודים	אוניברסיטת ייל האוניברסיטה העברית בירושלים
מנחה לדוקטורט	אברהם רובינזון
תלמידי דוקטורט	ארנון אברון

ביוגרפיה

בשנת 1968 קיבל תואר שני במתמטיקה מהאוניברסיטה העברית בירושלים,^[2] בהנחיית משה מחובר. את עבודת הדוקטורט שלו (1972) כתב בהנחיית אברהם רובינסון באוניברסיטת ייל. ב-1972 מונה למרצה למתמטיקה באוניברסיטת תל אביב.^[3] תלמיד המחקר הראשון שלו היה ארנון אברון.

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

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

הירשפלד כתב ספר לימוד לוגיקה למדעי המחשב שמשמש סטודנטים באוניברסיטה הפתוחה.^[4]

בבחירות לכנסת השמינית נמנה עם תומכי מפלגת מוקד שבראשות מאיר פעיל, והוצב במקום ה-80 ברשימתה לכנסת.^[5]

ב-10 באוגוסט 2022 נדרס למוות עם בתו, הפיזיקאית נוגה סלע, בתאונת דרכים באנגליה.^[6] בדצמבר נידון הדורס ל-16 שנות מאסר.^[7]

ספריו

• M. Machover, J. Hirschfeld, "Lectures on Non-Standard Analysis", Lecture Notes in Math. 94 (1969).
• J. Hirschfeld, W. Wheeler, "Forcing, Arithmetic, Division Rings", Lecture Notes in Math. 454 (1975).

מאמרים נבחרים

על הבעיה החמישית של הילברט:

• Hirschfeld, J, "The nonstandard treatment of Hilbert's fifth problem" Transactions of the American mathematical society, Volume 321, Number I, (September 1990).
• Goldbring, I, "Hilbert’s fifth problem for local groups" Annals of Mathematics 172, 1269-1314 (2010).

בנושא חישוביות:

• Hirshfeld, J, Jerrum, M, Moller, F: "A Polynomial Algorithm for Deciding Bisimilarity of Normed Context-Free Processes". Theor. Comput. Sci. 158(1&2): 143-159 (1996)
• Hirshfeld, Y, Rabinovich, A, " Logics for Real Time: Decidability and Complexity". Fundam. Informaticae 62(1): 1-28 (2004)

קישורים חיצוניים

מדיה וקבצים בנושא יורם הירשפלד בוויקישיתוף

• יורם הירשפלד, באתר פרויקט הגנאלוגיה במתמטיקה
• יורם הירשפלד, באתר dblp
• יורם הירשפלד, באתר ResearchGate

הערות שוליים

1. עמוד החוקר באתר אוניברסיטת תל אביב
2. מקבלי תעודות מוסמכים ודוקטורים באוניברסיטה העברית בירושלים, הצופה, 1 ביולי 1968
3. מינויים והעלאות בדרגה באוניברסיטת תל־אביב, דבר, 6 באפריל 1973
4. ספר הלימוד בשני חלקים באתר סימניה]
5. רשימת המועמדים לכנסת השמינית, ילקוט הפרסומים 1954, 21 באוקטובר 1973, עמ' 95;
   61 תומכים מנמקים למה מוקד, דבר, 30 בדצמבר 1973
6. דמיאן פצ'טר, "נהג שיכור וברח מהזירה": כתב אישום נגד דורס שני הישראלים שנהרגו, באתר ישראל היום, 13 באוגוסט 2022
7. בריטניה: 16 שנות מאסר לנהג שדרס למוות אבא ובת ישראלים, באתר ynet, 10 בדצמבר 2022