ג'וזפה פאנו: האיש שגרם למתמטיקה לומר בדיוק את מה שהתכוונה
באוגוסט 1900, בקונגרס הבינלאומי לפילוסופיה בפריז, צפה ברטראנד ראסל (Bertrand Russell) בפרופסור איטלקי נמוך קומה ממוטט יריב אחר יריב. "הבחנתי בכך שהוא תמיד היה מדויק יותר מכל אדם אחר", כתב ראסל מאוחר יותר, "ושהוא תמיד יצא כשידו על העליונה בכל ויכוח שבו נטל חלק." ראסל חזר הביתה עם ערימת מאמרים של פאנו ופרש לכפר כדי ללמוד בשקט כל מילה שנכתבה על ידו או על ידי תלמידיו. הפילוסופיה האנליטית המודרנית מתחילה בערך שם.
החווה בספינטה
פאנו נולד ב-27 באוגוסט 1858 בחווה ליד קונאו (Cuneo) שבפיימונטה, אז ממלכת סרדיניה. הוריו היו פועלים חקלאיים; הוא למד בבית הספר בכפר ספינטה (Spinetta) ולאחר מכן הלך חמישה קילומטרים בכל יום לבית הספר בקונאו. המפלט הגיע דרך המשפחה. דודו מצד אמו, כומר ועורך דין בטורינו, ראה למה הילד מסוגל והביא אותו לעיר ב-1870 לצורך השכלה תיכונית ראויה בתיכון קאבור (Liceo Cavour).
הוא נכנס לאוניברסיטת טורינו ב-1876. ד'אובידיו (D'Ovidio) לימד אותו גיאומטריה אנליטית ואלגברה בשנה הראשונה, אנג'לו ג'נוקי (Angelo Genocchi) לימד אותו חשבון דיפרנציאלי ואינטגרלי בשנה השנייה, ועד השנה השלישית הוא היה הסטודנט היחיד בפקולטה שעדיין למד מתמטיקה טהורה — כל השאר עברו להנדסה. הוא סיים דוקטורט ב-29 בספטמבר 1880, והאוניברסיטה הותירה אותו בתפקיד עוזר, תחילה לד'אובידיו ואחר כך לג'נוקי, שהחזיק בקתדרה לחשבון דיפרנציאלי ואינטגרלי.
האיש שמצא את הטעויות
התכונה המגדירה של פאנו הופיעה כמעט מיד. ב-1882, בעת שעבד על ספר הלימוד הסטנדרטי בחשבון דיפרנציאלי של סרה (Serret), הוא גילה שהגדרתו לשטח של משטח עקום הייתה שגויה. הוא הציג זאת לג'נוקי ולמד ששוורץ (Schwarz) כבר תפס זאת — אך האינסטינקט התבסס, ומעולם לא עזב אותו. הוא בילה את חייו בקריאת עבודות של מתמטיקאים אחרים ובמציאת המקומות שבהם ההיגיון נכשל בשקט.
זה לא היה תחביב. כאשר קוראדו סגרה (Corrado Segre) הגן על טענות רופפות בטענה שרגע הגילוי חשוב יותר מניסוח קפדני, תשובתו של פאנו הייתה נוקבת: "אני מאמין שזה חדש בתולדות המתמטיקה שמחברים משתמשים במודע במחקרם בהצעות שעבורן ידועים חריגים, או שעבורן אין להם הוכחה." הוא פירק את ההוכחות של הרמן לורן (Hermann Laurent), ובביקורת על ספר של ורונזה (Veronese) הגיע למסקנה שהשגיאות וחוסר הדיוק שבו שללו ממנו כל ערך. הוא עשה אויבים בקצב קבוע.
כאשר בריאותו של ג'נוקי התדרדרה, פאנו השתלט על הרצאות החשבון הדיפרנציאלי, והספר Calcolo differenziale e principii di calcolo integrale הופיע ב-1884 תחת שמו של ג'נוקי. ג'נוקי, באצילות, פרסם הבהרה פומבית: הכל, אמר, בזכות "אותו צעיר יוצא דופן ד"ר ג'וזפה פאנו."
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →שתי פצצות, 1889 ו-1890
ב-1889 פרסם פאנו את Arithmetices principia, nova methodo exposita — עקרונות האריתמטיקה, מוצגים בשיטה חדשה. בו הוא הציב את האקסיומות שעדיין נושאות את שמו, האקסיומטיזציה הסטנדרטית של המספרים הטבעיים, תוך גזירת כל האריתמטיקה מנקודת התחלה, פעולת עוקב ואינדוקציה. זהו בו-זמנית ציון דרך בהיסטוריה של הלוגיקה המתמטית וביסודות המתמטיקה. הוא כתב זאת בלטינית, מעשה שהיסטוריון אחד מכנה רומנטיות גמורה.
שנה לאחר מכן הגיע העקום ממלא המרחב. קנטור (Cantor) הראה שלקטע היחידה ולריבוע היחידה יש את אותה עוצמה; נטו (Netto) הראה שאף התאמה כזו לא יכולה להיות חד-חד-ערכית ורציפה בו-זמנית. פאנו בנה עקום רציף העובר דרך כל נקודה בריבוע — ובכך זנח את האינג'קטיביות כדי לשמור על הרציפות, ותוך כדי כך הרס כל אינטואיציה נוחה לגבי מהו עקום ומה משמעות הממד. האוסדורף (Hausdorff) כינה זאת כאחת העובדות המדהימות ביותר בתורת הקבוצות. לצד אלה ניצבים משפט הקיום של פאנו למשוואות דיפרנציאליות, מידת פאנו-ז'ורדן ומשפט הגרעין של פאנו.
הוא מונה לפרופסור מדרגה ראשונה באקדמיה הצבאית המלכותית ב-1889, לפרופסור מן המניין לחשבון אינפיניטסימלי בטורינו ב-1890, ולפרופסור מן המניין ב-1895.
שפה למתמטיקה
החל מ-1891 רדף פאנו אחר הפרויקט שיעסיק את שארית חייו המקצועיים: ה-Formulario Mathematico, אנציקלופדיה שנועדה להכיל את כל הנוסחאות והמשפטים הידועים במתמטיקה, כל אחד מנוסח בסימון סמלי סטנדרטי פרי פיתוחו. "אוסף כזה", כתב, "שהיה ארוך וקשה בשפה רגילה, נעשה קל באופן ניכר על ידי שימוש בסימון של הלוגיקה המתמטית."
הסימון היה ההישג האמיתי. הסמלים שמתמטיקאים פעילים משתמשים בהם מדי יום לשייכות, איחוד, חיתוך וקיום מקורם בפאנו. המהדורה הסופית של 1908 הכילה 4,200 נוסחאות ומשפטים, כולם מנוסחים במלואם ורובם מוכחים. כמעט אף אחד לא קרא את זה.
מדוע ג'וזפה נקרא גאון
היכולת הספציפית היא סוג של בהירות סמנטית חסרת רחמים: יכולת להסתכל על משפט מתמטי שכולם קיבלו ולראות בדיוק איזו מילה מבצעת עבודה לא מבוקרת — ואז או לתקן זאת עם סמל חדש או לפוצץ זאת עם דוגמה נגדית. העקום ממלא המרחב והאקסיומות לאריתמטיקה הם אותו כישרון המופנה לכיוונים מנוגדים, האחד הורס אינטואיציה שגויה, השני בונה מחדש יסוד כך שאין צורך באינטואיציה כלל.
המילה שימשה אנשים שהשיפוט שלהם נחשב. ראסל כינה את הסימון של פאנו "כלי לניתוח לוגי כפי שחיפשתי במשך שנים." האוסדורף כינה את העקום כאחת העובדות המדהימות בתורת הקבוצות. הביוגרף שלו קנדי (Kennedy) שפט אותו כאחד המדענים הגדולים של מאתו.
המקרה הנגדי ברור בצורה יוצאת דופן, ומעריציו של פאנו עצמם מודים בכך. מקוריותו מרוכזת בשנים שלפני 1900; לאחר מכן הוא השקיע אנרגיה עצומה בשני פרויקטים — ה-Formulario ושפה מלאכותית — שהקהילה המתמטית פשוט לא השתמשה בהם. הוא היה נחוש כל כך ללמד את סמליו עד שהזניח את החשבון הדיפרנציאלי ששולם לו ללמד, והאקדמיה הצבאית פיטרה אותו ב-1901; רק האוטונומיה המוסדית של טורינו הצילה את משרתו האוניברסיטאית. ולמרות שפאנו ייסד את הלוגיקה המתמטית כפרקטיקה עובדת, זהו גוטלוב פרגה (Gottlob Frege) שבדרך כלל מכונה אביה. הגאונות של פאנו הייתה אמיתית, צרה, וחלקית מבוזבזת על ידי בעליה.
לטינית ללא דקדוק
ב-1903 הוא הכריז על Latino sine flexione — לטינית מופשטת מהטיה, עם אוצר מילים שנלקח מלטינית, אנגלית, צרפתית וגרמנית, שנועדה כשפה עזר אוניברסלית למדע. ב-3 בינואר 1908 הוא קרא מאמר באקדמיה למדעים של טורינו שהחל בלטינית רגילה, ובאמצעות פישוט אחר פישוט, הסתיים בשפה החדשה. הוא נבחר למנהל ה-Academia pro Interlingua, שנטשה את ה-Idiom Neutral לטובתו. הוא כתב את ה-Formulario האחרון בשפה זו, מה שלא עזר לקוראיו כלל.
ההרצאה האחרונה
הוא נשא לאישה את קרולה קרוזיו (Carola Crosio), בתו של הצייר מטורינו לואיג'י קרוזיו (Luigi Crosio), בשנת 1887. תארים נערמו בהתמדה — האקדמיה למדעים של טורינו ב-1891, אביר מסדר הקדושים מאוריציו ולזארו ב-1901, חברות מקבילה באקדמיה dei Lincei ב-1905, קומנדטורה של כתר איטליה ב-1921. הוא לימד בטורינו עד היום שלפני מותו, כשלקה בהתקף לב קטלני ב-20 באפריל 1932, בגיל שבעים ושלוש. כל סטודנט שכותב שאיבר שייך לקבוצה משתמש בכתב ידו.