המתמטיקה מדמיינת יותר מכל מיתולוגיה

המיתולוגיה מוצגת בדרך כלל כשיא ההמצאתיות האנושית. אלים ההופכים לברבורים, עולמות הנישאים על צבים, שאולים עם נהרות ומעבירים — ודאי זהו הדמיון במלוא מתיחתו, בלתי מוגבל בדבר מלבד אומץ המספר.

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

המרחב לא היה חייב להיות בצורה הזאת

במשך אלפיים שנה נראתה הנחת המקבילים של אוקלידס — שדרך נקודה שאינה על ישר עובר בדיוק מקביל אחד — פחות כהנחה ויותר כתיאור של מה שהמרחב בבירור הוא. דורות ניסו לגזור אותה משאר האקסיומות, בהנחה שהיא בהכרח משפט בתחפושת.

במאה התשע עשרה עשו בויאי, לובצ׳בסקי וגאוס באופן בלתי תלוי דבר שאף מיתוס לא עשה: הם הכחישו אותה, ועקבו אחר ההשלכות בלא סתירה. הניחו אינסוף מקבילים ותקבלו גאומטריה היפרבולית, שבה סכום זוויות המשולש קטן מ־180 מעלות והסכום תלוי בגודל המשולש. הניחו אפס ותקבלו גאומטריה אליפטית, שבה כל זוג ישרים נפגש.

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

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

אינסופים בגדלים שונים

בקשו ממישהו לדמיין משהו גדול מאינסוף ותקבלו מבט ריק או בדיחה. קנטור הפיק הוכחה.

טיעון האלכסון שלו רץ בפסקה. נניח שיכולתם לרשום את כל המספרים הממשיים בין 0 ל־1. בנו מספר חדש שספרתו הראשונה שונה מספרתו הראשונה של המספר הראשון, שספרתו השנייה שונה מספרתו השנייה של השני, וכן הלאה במורד האלכסון. המספר הזה שונה מכל מספר ברשימתכם לפחות במקום אחד, ולכן אינו ברשימה — והרשימה הונחה כמכילה את כולם. סתירה. אי אפשר למנות את הממשיים.

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

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

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

גבולותיה של ההוכחה עצמה

ב־1931 הוכיח גדל שכל מערכת פורמלית עקבית עשירה דיה כדי לבטא אריתמטיקה מכילה טענות אמיתיות שאין ביכולתה להוכיח — ושמערכת כזו אינה יכולה להוכיח את עקביותה שלה.

אין זו טענה על רשלנות אנושית או על כך שלא ניסו מספיק. זו הוכחה, מתוך המתמטיקה, על גבולותיה הקבועים של המתמטיקה. תוכניתו של הילברט כיוונה להעמיד את כל המתמטיקה על יסוד שלם ועקבי בר־הוכחה. גדל הראה שהמטרה בלתי ניתנת להשגה עקרונית, ועשה זאת בבניית טענה הקובעת למעשה את אי־יכולת ההוכחה של עצמה — תכסיס הפניה עצמית שהפך למתמטיקה קפדנית.

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

מדוע האילוץ היה המנוע

הדפוס בשלושת המקרים זהה, והוא היפוכו של מה ש"דמיון" נתפס בדרך כלל כמשמעו.

אף אחד מן הרעיונות האלה לא הושג בידי מי שהחליט לחשוב משהו פרוע. הגאומטריה הלא־אוקלידית באה מלקיחת אקסיומה ברצינות מספקת כדי לשלול אותה ומעקב אחר ההיגיון לאן שהלך. האריתמטיקה הטרנספיניטית באה משאילת שאלה מדויקת על התאמת קבוצות ומאי־יכולת לחמוק מן התשובה. אי־השלמות באה מפורמליזציה של יכולת ההוכחה בהידוק מספיק כדי שאפשר יהיה להפנותה אל עצמה.

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

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

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

ההשוואה בהגינות

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

אך משבחים אותם דרך קבע על הדבר הלא נכון. כשמישהו מכנה מיתולוגיה "דמיונית פרא", הוא בדרך כלל מצביע על חיה מדברת או אל בעל ראש שור — צירוף מחדש של חלקים מוכרים. נהר עם מעביר הוא נהר עם מעביר. אל שהוא קנאי, או נוקם, או מאוהב, הוא אדם שהעצימו את עוצמתו.

כעת מנו מה המתמטיקה הפיקה: מרחב שבו ישרים מקבילים מתכנסים, והתברר שהוא שלנו. הדגמה קפדנית לכך שאינסופים מסוימים עולים על אחרים ללא גבול. שאלה עם שתי תשובות עקביות והפוכות. הוכחה שלהוכחה יש גבולות קבועים.

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

זה ההיפוך שכדאי לשמור. אנו מכנים את הכושר הבלתי מוגבל "דמיון" ואת המוגבל "קפדנות", ומניחים שהראשון הוא היצירתי. התיעוד אומר את ההפך. חופש מפיק וריאציות על עצמנו. האילוץ הוא מה שאפשר לנו לגלות שהמציאות מוזרה מאיתנו.