https://www.yisraelpedia.com/index.php?action=history&feed=atom&title=%D7%99%D7%95%D7%A8%D7%9D_%D7%94%D7%99%D7%A8%D7%A9%D7%A4%D7%9C%D7%93יורם הירשפלד - היסטוריית גרסאות2026-09-14T04:57:07Zהיסטוריית הגרסאות של הדף הזה בוויקיMediaWiki 1.43.8https://www.yisraelpedia.com/index.php?title=%D7%99%D7%95%D7%A8%D7%9D_%D7%94%D7%99%D7%A8%D7%A9%D7%A4%D7%9C%D7%93&diff=842175&oldid=previmported>Abuasomgu ב־03:40, 5 בספטמבר 20252025-09-05T03:40:46Z<p></p>
<p><b>דף חדש</b></p><div>{{מדען<br />
| שם = יורם הירשפלד<br />
| תמונה = [[קובץ:יורם הירשפלד, אפריל 2017.png|מרכז|250px|יורם_הירשפלד, אפריל 2017]]<br />
| תאריך לידה = [[17 באוקטובר]] [[1940]]{{דרוש מקור|נושא=אישים|נושא2=מדע וטכנולוגיה|סיבה=בכתבות על דריסתו ב-ynet כתוב שהיה בן 78 בפטירתו. מאחר שתאריך הפטירה ידוע, המידע ב-ynet סותר את תאריך הלידה.}}<br />
| תאריך פטירה = [[10 באוגוסט]] [[2022]]<br />
| מקום פטירה = [[רמסגייט]] {{אנ|Ramsgate}}, [[אנגליה]], [[הממלכה המאוחדת]]<br />
| סיבת המוות = נהרג<br />
| ענף מדעי = [[מתמטיקה]]<br />
}}<br />
'''יורם הירשפלד''' ([[17 באוקטובר]] [[1940]] – [[10 באוגוסט]] [[2022]]) היה [[פרופסור חבר]] ל[[מתמטיקה]] ב[[אוניברסיטת תל אביב]].{{הערה|[https://cris.tau.ac.il/en/persons/joram-hirshfeld עמוד החוקר באתר אוניברסיטת תל אביב]}}<br />
<br />
==ביוגרפיה==<br />
בשנת 1968 קיבל תואר שני במתמטיקה מ[[האוניברסיטה העברית בירושלים]],{{הערה|{{הצופה||מקבלי תעודות מוסמכים ודוקטורים באוניברסיטה העברית בירושלים|19680701|43}}}} בהנחיית [[משה מחובר]]. את עבודת ה[[דוקטור|דוקטורט]] שלו (1972) כתב בהנחיית [[אברהם רובינסון]] ב[[אוניברסיטת ייל]]. ב-1972 מונה למרצה למתמטיקה באוניברסיטת תל אביב.{{הערה|{{דבר||מינויים והעלאות בדרגה באוניברסיטת תל־אביב|19730406|94}}}} תלמיד המחקר הראשון שלו היה [[ארנון אברון]].<br />
<br />
הירשפלד עסק ב[[לוגיקה מתמטית]]. הוא חקר את הקשר שבין [[חישוביות]] ל[[לוגיקה]], פיתח אלגוריתמים לבדיקת שקילות בסימולציה של מערכות מקבילות, וחקר את הנושא של [[לוגיקה טמפורלית]], כוח ביטוי של מערכות לוגיות, [[כריעות]] ו[[סיבוכיות]].<br />
<br />
הירשפלד היה מגדולי המומחים והתורמים למחקר בתחום של [[אנליזה לא סטנדרטית]]. אחת התרומות החשובות שלו הייתה בהוכחה באמצעות שיטות של אנליזה לא סטנדרטית של [[הבעיה החמישית של הילברט]], על האפיון של [[חבורת לי|חבורות לי]]. הוכחה "סטנדרטית" של המשפט הזה נמצאה בשנת 1952 על ידי מונטגומרי, ציפין וגלסון. בשנת 1990 פרסם הירשפלד הוכחה פשוטה יותר של המשפט. יותר מאוחר השתמש גולדברינג בשיטות של הירשפלד כדי לפתור את בעיית הילברט החמישית עבור [[חבורה קומפקטית מקומית|חבורות קומפקטיות מקומיות]].<br />
<br />
הירשפלד כתב ספר לימוד לוגיקה למדעי המחשב שמשמש סטודנטים ב[[האוניברסיטה הפתוחה|אוניברסיטה הפתוחה]].{{הערה|[https://simania.co.il/authorDetails.php?itemId=1000863 ספר הלימוד בשני חלקים] באתר [[סימניה]]]}}<br />
<br />
ב[[הבחירות לכנסת השמינית|בחירות לכנסת השמינית]] נמנה עם תומכי [[מפלגת מוקד]] שבראשות [[מאיר פעיל]], והוצב במקום ה-80 ברשימתה לכנסת.{{הערה|{{ילקוט הפרסומים|קישור=u8kRhBVng132qlQNmAqJtawAF4YJWUb4tNwqteAf~qQ|מספר=1954|שם= רשימת המועמדים לכנסת השמינית|עמוד=95|פורסם ב=21 באוקטובר 1973}};{{ש}}{{דבר||61 תומכים מנמקים למה מוקד|19731230|154.1}}}}<br />
<br />
ב-10 באוגוסט 2022 נדרס למוות עם בתו, הפיזיקאית נוגה סלע, ב[[תאונת דרכים]] באנגליה.{{הערה|{{ישראל היום|דמיאן פצ'טר|"נהג שיכור וברח מהזירה": כתב אישום נגד דורס שני הישראלים שנהרגו|news/world-news/europe/article/12876361|13 באוגוסט 2022}}}} בדצמבר נידון הדורס ל-16 שנות מאסר.{{הערה|שם=הרשעת הדורס|{{ynet||בריטניה: 16 שנות מאסר לנהג שדרס למוות אבא ובת ישראלים|62350440|10 בדצמבר 2022}}}}<br />
<br />
== ספריו ==<br />
<div style="direction: ltr;"><br />
* M. Machover, J. Hirschfeld, "Lectures on Non-Standard Analysis", Lecture Notes in Math. 94 (1969).<br />
* J. Hirschfeld, W. Wheeler, "Forcing, Arithmetic, Division Rings", Lecture Notes in Math. 454 (1975).<br />
</div><br />
<br />
== מאמרים נבחרים==<br />
על הבעיה החמישית של הילברט:<br />
{{Ltr|1=<br />
* Hirschfeld, J, "The nonstandard treatment of Hilbert's fifth problem" Transactions of the American mathematical society, Volume 321, Number I, (September 1990).<br />
* Goldbring, I, "Hilbert’s fifth problem for local groups" Annals of Mathematics 172, 1269-1314 (2010).}}<br />
<br />
בנושא חישוביות:<br />
{{Ltr|1=<br />
* 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)<br />
* Hirshfeld, Y, Rabinovich, A, " Logics for Real Time: Decidability and Complexity". Fundam. Informaticae 62(1): 1-28 (2004)}}<br />
<br />
==קישורים חיצוניים==<br />
{{ויקישיתוף בשורה}}<br />
{{פרופילי מדענים}}<br />
<br />
==הערות שוליים==<br />
{{הערות שוליים}}<br />
<br />
{{בקרת זהויות}}<br />
{{מיון רגיל:הירשפלד, יורם}}<br />
[[קטגוריה:סגל אוניברסיטת תל אביב: מתמטיקה ומדעי המחשב]]<br />
[[קטגוריה:מתמטיקאים ישראלים]]<br />
[[קטגוריה:בעלי תואר דוקטור מאוניברסיטת ייל]]<br />
[[קטגוריה:הרוגי תאונות דרכים בממלכה המאוחדת]]<br />
[[קטגוריה:אישים הקבורים בכפר גלעדי]]<br />
[[קטגוריה:ישראלים שנולדו ב-1940]]<br />
[[קטגוריה:ישראלים שנפטרו ב-2022]]</div>imported>Abuasomgu