סהרון שלח: הלוגיקן שפרסם יותר מכולם

רוב המתמטיקאים הפעילים רואים במאה מאמרים לאורך קריירה סימן לפריון עבודה רציני. סהרון שלח (Saharon Shelah) פרסם יותר מ-1,100 מאמרים שעברו ביקורת עמיתים מאז 1969 – הרבה מעל אלף תרומות מתמטיות נפרדות ממוח אחד, בקצב שהפך אותו, לפי רוב המדדים, למתמטיקאי הפורה ביותר החי כיום. היקף כזה כשלעצמו היה מהווה סקרנות אם התוכן היה שגרתי. הוא אינו כזה: עבודתו של שלח פתרה בעיות פתוחות בנות עשרות שנים, יצרה תתי-תחומים שלמים בתורת הקבוצות, ומצאה שוב ושוב מבנים בלתי צפויים בטריטוריה שרוב הלוגיקנים הגיעו למסקנה שהיא בלתי כריעה לצמיתות.

בנו של משורר, נמשך לגאומטריה

שלח נולד ב-3 ביולי 1945, בירושלים, תחת המנדט הבריטי. אביו, שהיה מוכר בציבור כמשורר העברי והפעיל הפוליטי הכנעני יונתן רטוש (שנולד בשם אוריאל שלח), העניק לו בית אינטלקטואלי יוצא דופן לגדול בו. שלח נמשך תחילה לפיזיקה וביולוגיה, אך קורס גאומטריה בכיתה ט' שינה את כיוונו, וקריאת הספר "מבוא למתמטיקה" של אברהם פרנקל (Abraham Fraenkel) בגיל חמש-עשרה חתמה את הגורל: לפי עדותו שלו, הוא ידע כבר אז שהוא רוצה להיות מתמטיקאי. הוא השלים את התואר הראשון באוניברסיטת תל אביב ב-1964 תוך שירות בצה"ל עד 1967, ולאחר מכן השלים תואר שני, וב-1969 תואר דוקטור באוניברסיטה העברית בהנחיית מיכאל עזר רבין (Michael Oser Rabin), עם דיסרטציה על תורות יציבות – הזרע של התחום שעתיד היה לעצב מחדש.

פתרון בעיית מורלי

לאחר תקופות פוסט-דוקטורט קצרות בפרינסטון (1969–1970) וב-UCLA (1970–1971), חזר שלח לצמיתות לאוניברסיטה העברית, הפך לפרופסור ב-1974 והחזיק בקתדרה ללוגיקה מתמטית של האוניברסיטה משנת 1978 ואילך, תפקיד שהוא עדיין מחזיק בו לצד פרופסורה אורחת מכובדת באוניברסיטת ראטגרס (Rutgers University) מאז 1986. ההישג המרכזי הראשון שלו היה פתרון בעיית מורלי בתורת המודלים – שאלה לגבי כמה מודלים לא-איזומורפיים בגודל נתון יכולה להכיל תורה מסדר ראשון – על ידי בניית מה שנודע כתורת הסיווג (היציבות), מסגרת מקיפה למיון תורות מתמטיות לפי המורכבות הפנימית שלהן. הספר מ-1978 שצמח מעבודה זו, "Classification Theory and the Number of Non-Isomorphic Models", הפך לטקסט יסודי של תורת המודלים המודרנית.

כפייה נאותה וגבולות הרצף

בתורת הקבוצות, פיתח שלח את הכפייה הנאותה (proper forcing), טכניקה לאיטרציה של שיטת הכפייה – הכלי שפול כהן (Paul Cohen) השתמש בו כדי להוכיח את אי-תלותה של השערת הרצף – בדרכים המונעות את הקריסות הטכניות שהגבילו בנייות איטרטיביות מוקדמות יותר. הכפייה הנאותה הפכה לכלי סטנדרטי ברחבי התחום, בשימוש מתמטיקאים כדי לבנות מודלים עם תכונות מבוקרות בעדינות ששיטות כפייה פשוטות יותר לא יכלו להשיג. בהתבסס על כך, יצר שלח את תורת ה-PCF (קידומות אפשריות של קופיינליות), והוכיח שאף על פי ששאלות בסיסיות באריתמטיקה של מונים כמו ערך הרצף הן פורמלית בלתי כריעות באקסיומות הסטנדרטיות (ZFC), קיימים בכל זאת משפטים עמוקים וניתנים להוכחה לגבי אקספוננציאציה של מונים – בעיקרו של דבר מציאת מבנה מתמטי קשיח באזור בתורת הקבוצות שרבים הניחו שהוא חופש טהור, שאינו מוגבל על ידי שום חוק ניתן להוכחה.

רשימה ארוכה של בעיות פתורות ספציפיות

מעבר לשתי המסגרות הגדולות הללו, לשלח יש רקורד בולט של פתרון בעיות פתוחות ספציפיות בעלות שם ברחבי הלוגיקה המתמטית ומעבר לה: הוא הוכיח שבעיית וייטהד (Whitehead's problem) – האם כל חבורה אבלית עם תכונת הרחבה מסוימת היא חופשית – היא בלתי תלויה ב-ZFC, כלומר לא ניתן להוכיח או להפריך אותה מהאקסיומות הסטנדרטיות של תורת הקבוצות; הוא בנה חבורת יונסון (Jónsson group), חבורה בלתי בת-מנייה שבה כל תת-חבורה אמיתית היא בת-מנייה, ובכך יישב שאלת קיום ותיקה; הוא סיפק חסמים עליונים רקורסיביים פרימיטיביים למספרי ואן דר ורדן (van der Waerden numbers) בקומבינטוריקה; הוא הרחיב את משפט האי-אפשרות של ארו (Arrow's impossibility theorem) בתורת הבחירה החברתית; ועובד עם מריאנט מליאריס (Maryanthe Malliaris) החל משנות ה-2010, הוא פתר בעיה פתוחה בת חמישים שנה הנוגעת לסדר קייסלר (Keisler's order) על המורכבות של תורות מסדר ראשון, עבודה שזיכתה את הצמד במדליית האוסדורף (Hausdorff Medal) לשנת 2017.

הכרה

מסלול הכבוד של שלח תואם מקרוב את תפוקתו: הוא היה חתן פרס ארדש (Erdős Prize) הראשון ב-1977, והמשיך לזכות בפרס רוטשילד (1982), פרס קארפ (1983), פרס ג'ורג' פוליה (1992), פרס ישראל (1998), פרס בויאי (2000), פרס וולף במתמטיקה – אחד הכבודים הגבוהים בתחום מלבד מדליית פילדס או פרס אבל – ב-2001, פרס אמת (2011), פרס לירוי פ. סטיל של ה-AMS (2013), מדליית האוסדורף במשותף עם מליאריס (2017), ופרס רולף שוק בלוגיקה ופילוסופיה (2018). הוא נשא דברים בקונגרס הבינלאומי של המתמטיקאים שלוש פעמים, ב-1974, 1983 ו-1986.

אובדן אישי

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

מדוע סהרון שלח מכונה גאון

המקרה לכינוי שלח גאון מתמטי נשען פחות על הוכחה מרהיבה כלשהי ויותר על שילוב ללא תחרות של פריון גולמי וטווח מושגי: תורת הסיווג לבדה ארגנה מחדש את האופן שבו תאורטיקני מודלים חושבים על מבנה של תורות, כפייה נאותה היא כיום כלי שגרתי שנלמד על ידי כל סטודנט לתואר מתקדם בתורת הקבוצות, ותורת ה-PCF מצאה מבנה ניתן להוכחה בתוך אזור של אריתמטיקה של מונים שרוב הלוגיקנים, בעקבות תוצאות האי-תלות של כהן וגדל (Gödel), הניחו שהוא חסר חוקים ביסודו – שלוש תרומות נפרדות שכל אחת מהן הייתה מגדירה קריירה חזקה. היקף הפרסומים העצום שלו, מעל 1,100 מאמרים, הוא כשלעצמו יוצא דופן מספיק בקרב מתמטיקאים פעילים עד שהוא מעורר ויכוח אמיתי: כמה עמיתים רואים בכך עדות לקצב יוצא דופן ומתמשך של תובנה אמיתית, שכן התוצאות המצוטטות ביותר והמשפיעות ביותר שלו משתרעות על פני חמישה עשורים ולא מתקבצות בפרץ יצירתי אחד. הטיעון הנגדי ההוגן הוא שעבודתו של שלח ידועה כקשה גם עבור מומחים לאימות – מאמריו דחוסים, עמוסי סימון, ולעתים קרובות כתובים בסגנון דחוס שאפילו תאורטיקני מודלים ותורת קבוצות מנוסים מתארים כקשה לבדיקה שורה אחר שורה, מה שגרם לעתים להאטת אמון הקהילה בחלק מההוכחות המורכבות יותר שלו עד שהגיע אימות עצמאי. תפוקתו גם השתנתה, באופן בלתי נמנע, בעומקה: לא כל אחד מ-1,100 המאמרים נושא את המשקל של עבודת תורת הסיווג או ה-PCF, וחלק מהקורפוס שלו מורכב משיפורים טכניים ויישומים של מסגרות שהוא כבר בנה ולא מפריצות דרך מושגיות חדשות לחלוטין. הוא מעולם לא זכה במדליית פילדס (פונקציה חלקית של מגבלת הגיל של המדליה, מתחת ל-40, שכבר עבר אותה בזמן שהתוצאות העיקריות שלו נחתו) או בפרס אבל, מה שהותיר את תארי המתמטיקה הטהורה הגבוהים ביותר של המקצוע מחוץ להישג ידו למרות ההכרה של פרס וולף.

מורשת

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