זוכי פרס אמת

פרופ' שהרן שלח

אוניברסיטה עברית ירושלים
זוכה פרס אמת לשנת 2011

בקטגוריה: מדעים מדויקים
בתחום: מתמטיקה

הלוגיקה המתמטית ושימושיה

פרופ' שהרן שלח

מנימוקי חבר השופטים

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

ראיון אישי

אבני דרך

1945 נולד בישראל.
1964 סיים בהצטיינות לימודים לתואר ראשון במתמטיקה באוניברסיטת תל אביב.
1968 סיים בהצטיינות תואר מוסמך
1970 השלים בהצטיינות יתרה את לימודיו לתואר דוקטור באוניברסיטה העברית.
1971 - 2014 מלמד וחוקר באוניברסיטה העברית.
1977 פרס ארדש.
1982 פרס רוטשילד.
1983 פרס קארפ.
1988 נבחר לחבר האקדמיה הלאומית הישראלית למדעים.
1998 פרס ישראל.
1991 נבחר לחבר זר באקדמיה האמריקנית לאמנויות ולמדעים.
2000 פרס בוליאי.
2001 פרס וולף.

קורות חיים

נולד בישראל ב-1945. אביו היה המשורר יונתן רטוש. בשנת 1964 סיים בהצטיינות לימודים לתואר ראשון במתמטיקה באוניברסיטת תל אביב, ולאחר מכן שירת ביחידת אכ"א למחשב ליד מרכז המחשבים של צה"ל (ממר"ם). ב-1968 סיים, גם כן בהצטיינות, תואר מוסמך, ושנתיים אחר כך השלים בהצטיינות יתרה את לימודיו לתואר דוקטור באוניברסיטה העברית בהדרכת פרופ' מיכאל רבין. כותרתה של עבודתו הייתה "קטגוריות של מחלקות מודלים". מאז 1971 הוא מלמד וחוקר באוניברסיטה העברית.

במחקריו מצא קשרים עמוקים בין תורת המודלים, תורת הקבוצות וקומבינטוריקה ויצר טכניקות רבות עוצמה שהביאו גם לשימושים נוספים בגיאומטריה אלגברית ובתורת המספרים. בתורת הקבוצות הוכיח מספר רב של תוצאות מרשימות ופיתח שתי טכניקות חדשות לחלוטין: כפיות נאותות ותורת קשת האפשרויות הסופיות (PCF) והוכיח עקביות של אקסיומות כפייה שונות. בשנות עבודתו פרסם קרוב ל-1000 מאמרים ופתר בעיות מתמטיות רבות. בין הישגיו: בתורת המודלים פיתח תחום הקרוי תורת המיון באמצעותו פתר את בעיית Morley, הוכיח שבעיית וייטהד (Whitehead) אינה ניתנת להכרעה.

מחקריו זיכו אותו בפרסים, בהם פרס ארדש (1977), פרס רוטשילד (1982), פרס קארפ (1983), פרס ישראל (1998), פרס בוליאי(2000) (Bolyai) , ופרס וולף (2001). ב-1988 נבחר לחבר האקדמיה הלאומית הישראלית למדעים. שלוש שנים אחר כך נבחר לחבר זר באקדמיה האמריקנית לאמנויות ולמדעים.