פול כהן

פול כהן
Paul Cohen

תמונה זו מוצגת בוויקיפדיה בשימוש הוגן. נשמח להחליפה בתמונה חופשית.
לידה	2 באפריל 1934 לונג ברנץ', ארצות הברית
פטירה	23 במרץ 2007 (בגיל 72) פאלו אלטו, ארצות הברית
ענף מדעי	מתמטיקה
מקום מגורים	ארצות הברית
מקום לימודים	תיכון סטאיווסנט (1950) ברוקלין קולג' (1953) אוניברסיטת שיקגו (1958)
מנחה לדוקטורט	אנתוני זיגמונד
מוסדות	אוניברסיטת סטנפורד (1961–2004) המכון הטכנולוגי של מסצ'וסטס (1958–1959) אוניברסיטת רוצ'סטר (1957–1958) המכון למחקר מתקדם (1959–1961)
תלמידי דוקטורט	פיטר סרנק, הנרי פישר גלאסמייר הבן, קרלטון הנרי הואל, Mihail Kolountzakis, הרולד ג'ורג' דיאמונד, צ'אנג-פאו צ'ן
פרסים והוקרה	מלגת גוגנהיים (1969) המדליה הלאומית למדעים (1967) מדליית פילדס (1966) פרס לזכר מקסים בוכר (1964)
הערות	יהודי
paulcohen.org
תרומות עיקריות
הוכחה שהשערת הרצף עצמאית במסגרת תורת הקבוצות האקסיומטית.

פול ג'וזף כהן (2 באפריל 1934 – 23 במרץ 2007) היה מתמטיקאי יהודי-אמריקאי שעבודתו פורצת הדרך בלוגיקה מתמטית, ובמיוחד ההוכחה שהשערת הרצף עצמאית במסגרת תורת הקבוצות האקסיומטית, זיכתה אותו במדליית פילדס לשנת 1966, ובפרסים חשובים אחרים. בעבודתו זו, פתר את הבעיה הראשונה מתוך 23 הבעיות של הילברט.

נולד בלונג ברנץ', ניו ג'רזי וקנה את השכלתו התיכונית בתיכון סטאיווסנט (Stuyvesant High School) בניו יורק. למד לתואר ראשון בברוקלין קולג' (1953), ולתואר שני (1954) ודוקטורט (1958, בהנחיית אנתוני זיגמונד) באוניברסיטת שיקגו. לאחר תקופה קצרה בה לימד במכון הטכנולוגי של מסצ'וסטס ובאוניברסיטת רוצ'סטר, עבר בראשית שנות השישים לאוניברסיטת סטנפורד, בה עשה את רוב חייו המקצועיים.

כהן ידוע בשל המצאת שיטת הכפייה, המאפשרת לבנות מודל למערכת של אקסיומות, במסגרת מערכת אחרת. כהן השתמש בשיטה זו כדי להוכיח שהשערת הרצף ואקסיומת הבחירה אינן יכיחות מאקסיומות צרמלו-פרנקל (ZF) הסטנדרטיות של תורת הקבוצות. תוצאה זו השלימה את עבודתו המוקדמת יותר של קורט גדל, בהראותה ששתי טענות אלו הן בלתי תלויות באקסיומות צרמלו-פרנקל: לא הן ולא שלילתן יכיחות מאקסיומות אלו. במובן זה השערת הרצף (CH) אינה תלויה בשאר האקסיומות, והיא אולי הדוגמה המפורסמת ביותר לטענה עצמאית.

כהן זכה גם בפרס על שם בוכר (Bôcher) ב-1964, עבור עבודתו על השערת ליטלווד מן האנליזה המתמטית, ובמדליה הלאומית למדעים האמריקאית, ב-1968. היה חבר במכון למחקר מתקדם בפרינסטון, ובאקדמיה הלאומית למדעים של ארצות-הברית.

"השקפה, אשר המחבר [כהן] מרגיש, שתוכל להתקבל לבסוף היא שהשערת הרצף היא בבירור שגויה. הסיבה העיקרית שבגללה אנו מקבלים את אקסיומת האינסוף, היא שאנו כנראה מרגישים, שהמחשבה, שתהליך הוספה של קבוצה אחת בכל פעם עשוי למצות את היקום כולו, היא אבסורדית. כך גם עם האקסיומות הגבוהות יותר של האינסוף. כעת ${\displaystyle \aleph _{1}}$ היא עוצמת הקבוצה של סודרים בני מנייה, וזוהי רק דרך מיוחדת, והפשוטה ביותר ליצירת סודרים גדולים יותר. הקבוצה ${\displaystyle c}$ (הרצף), לעומת זאת, נוצרת על ידי עקרון חדש לחלוטין וחזק יותר, שהוא אקסיומת קבוצת החזקה. אין זה סביר לצפות שכל תיאור של מונה גדול יותר, שמנסה לבנות את המונה בעזרת רעיונות הנובעים מאקסיומת ההחלפה, יוכל אי פעם להגיע ל-${\displaystyle c}$. ועל כן ${\displaystyle c}$ הוא גדול יותר מ-${\displaystyle \aleph _{n},\aleph _{\omega },\aleph _{a}}$, כאשר ${\displaystyle a=\aleph _{\omega }}$, וכן הלאה. השקפה זו מתייחסת ל-${\displaystyle c}$ כקבוצה עשירה ביותר הניתנת לנו על ידי אקסיומה נועזת אחת, ושאליה לא ניתן להתקרב על ידי תהליך בנייה בשלבים. אולי הדורות הבאים יראו את הבעיה בצורה ברורה יותר ויבטאו עצמם באופן ברור יותר."

• Cohen, P. Set Theory and the Continuum Hypothesis p.151.

• אתר האינטרנט הרשמי של פול כהן (באנגלית)
• פול כהן, באתר פרויקט הגנאלוגיה במתמטיקה
• פול כהן, באתר MacTutor (באנגלית)
• פול כהן, באתר אנציקלופדיה בריטניקה (באנגלית)

זוכי מדליית פילדס
המאה ה־20	אלפורס, דאגלס (1936) • סלברג, שוורץ (1950) • סר, קודאירה (1954) • רות, תום (1958) • הרמנדר, מילנור (1962) • גרותנדיק, כהן, סמייל, עטיה (1966) • בייקר, הירונקה, נוביקוב, תומפסון (1970) • בומביירי, ממפורד (1974) • דלין, מרגוליס, פפרמן, קווילן (1978) • יאו, קון, ת'רסטן (1982) • דונלדסון, פאלטינגס, פרידמן (1986) • ג'ונס, דרינפלד, ויטן, מורי (1990) • בורגיין, זלמנוב, יוקוז, ליון (1994) • בורכרדס, גוורס, מקמולן, קונטסביץ' (1998)
המאה ה־21	וויבודסקי, לפורג (2002) • אוקונקוב, ורנר, טאו, פרלמן (2006) • וילאני, לינדנשטראוס, סמירנוב, צ'או (2010) • אבילה, בהרגבה, היירר, מירזאח'אני (2014) • בירקאר, ונקאטש, פיגאלי, שולצה (2018) • דומיניל-קופן, הא, מיינרד, ויזובסקה (2022)