האם אפשר לחתוך מפתח למנעול שאיש עדיין לא יודע על קיומו? ברנהרד רימן עשה בדיוק את זה.
בשנת 1854 ניסח המתמטיקאי ברנהרד רימן את הגיאומטריה של מרחבים עקומים. זו הייתה חקירה מופשטת לחלוטין, תרגיל מחשבתי טהור שנולד מתוך אילוצים לוגיים פנימיים ובלי שום מטרה פיזיקלית באופק. רימן לא ידע, ולא יכול היה לדעת, שהוא מעצב את השלד המדויק שבו ישתמש אלברט איינשטיין כעבור שישה עשורים כדי לתאר את המרחב־זמן של תורת היחסות הכללית.
הלם הקְדימות הזה אינו אירוע בודד. הוא הדפוס החוזר של המדע המודרני, והוא מעמיד אותנו מול אחת השאלות הנוקבות ביותר של המחשבה האנושית: מה בא ראשון – העולם הפיזי, או המבנה המתמטי שמתאר אותו?
האינטואיציה שלנו אומרת שהעולם בא ראשון. קודם יש תופעות, אחר כך אנחנו ניגשים, מודדים, ומנסחים משוואה שתתאים להן. לפי התמונה הזאת המתמטיקה היא כמו מפה: גמישה, לעתים מבריקה, אך תמיד משנית. קודם צופים בפני השטח, המפה באה אחריו. וזו אכן אחת משתי העמדות הוותיקות בשאלה מה היא מתמטיקה. לפי האחת, הפורמליזם, המתמטיקה היא המצאה אנושית: משחק עקבי של כללים, בנוסח שחמט. למשחק שחמט יכולים להיות חוקים עקביים להפליא ואסטרטגיות עמוקות, אך אין לו שום מחויבות לעולם שמחוץ ללוח. הוא אינו “נכון” או “שגוי” ביחס למציאות, הוא פשוט כלי משחק מומצא. מניחים אקסיומות, גוזרים מהן מהלכים, ומקבלים מערכת עקבית בתוך עצמה – ובלי שום מחויבות למציאות. יש אינסוף מערכות כאלה, לכל אחת חוקיה, ואף אחת אינה “נכונה” יותר מרעותה. אם כך, ההתאמה של המתמטיקה לעולם היא לכל היותר מקרה נוח.
מולה ניצבת עמדת המתמטיקה כתגלית, זו שמכונה לעתים אפלטוניזם: המתמטיקאי אינו ממציא אלא מגלה; המבנים והחוקים כבר קיימים, וההתבוננות או הגילוי הם תהליכי חשיפה ולא יצירה. היחס בין היקף מעגל לקוטרו היה פאי (π) גם לפני שבני אדם נתנו לו שם. בני אדם חשפו את החוקיות שכבר הייתה קיימת, בנפרד מתודעתם, ונתנו לה סימון. מתמטיקאים רבים, אגב, מתארים את עבודתם בדיוק כך – לא כמי שממציאים כלל, אלא כמי שנתקלים בו.
הטיעון החזק בעד הפורמליזם (מתמטיקה כהמצאה) התגבר במאה ה־19 כאשר התברר שאפשר לבנות כמה גאומטריות שונות, סותרות זו את זו, וכל אחת עקבית לחלוטין בתוך עצמה – ואף אחת מהן אינה מתארת שום מרחב שאנחנו מכירים. כך מתמטיקה נראתה כיצירה חופשית של המוח, עקבית רק בתוך עצמה. הדוגמה המובהקת לאותו “חופש” הייתה דווקא הגאומטריה של המרחבים העקומים: בנייה מופשטת, מנותקת מכל ניסיון, שנראתה כהוכחה ניצחת לכך שהמתמטיקה מרחפת חופשיה מן המציאות. לכאורה, ראיה לכך שאין למתמטיקה דבר עם העולם; האנושות ממציאה אינספור מבנים מתמטיים, רובם המכריע חסר כל שימוש. בדיעבד אנחנו בוחרים מן הערמה את אלה שבמקרה התאימו לטבע, ומתפעלים מן ההתאמה כאילו הייתה נס. אבל אין כאן נס – יש הטיית הישרדות. שכחנו את אלפי הכישלונות וזכרנו את הפגיעות הבודדות.
הטיעון קביל, אך הוא מסביר התאמה בדיעבד – לא קְדימות. נכון, מתוך מאגר גדול אפשר למצוא כלי שמתאים למלאכה שכבר קיימת; מפתח יכול לשכב במגירה ולהתברר כמתאים למנעול שכבר ניצב בדלת. אבל הברירה אינה מסבירה איך נחתך מפתח – מתוך הכרח פנימי שלו, בלי שמץ ידיעה על דלת – עשרות שנים לפני שהדלת נבנתה. וכאן חוזר רימן, וההיפוך אכזרי לפורמליסט: אותה גאומטריה ממש שהוצגה כראיה המובהקת לחופש של המתמטיקה מן המציאות היא שנעשתה כעבור דור הארכיטקטורה של מרחב-הזמן. הקלף החזק ביותר של עמדת ההמצאה התהפך לקלף החזק ביותר של עמדת הקְדימות (מתמטיקה כתגלית). לא בחרנו את הגאומטריה של רימן מתוך ערמה כדי שתתאים ליחסות; היחסות עוד לא נולדה, ולא הייתה תיאוריה פיזיקלית שעבורה אפשר היה לברור את המבנה הזה. המבנה קדם בעשורים לא רק לתיאוריה, אלא לשאלה עצמה.
זה ממש לא מקרה יחיד. הדפוס חוזר בדיוק בנקודות העמוקות ביותר של המדע. תורת החבורות נולדה במאה ה־19 כעיון מופשט בסימטריה, ונעשתה כמאה שנה מאוחר יותר שפת היסוד של פיזיקת החלקיקים. המספרים המרוכבים נכנסו למתמטיקה כתחבולה חישובית חשודה למחצה – ואז התגלה שפונקציית הגל של מכניקת הקוונטים אינה ניתנת לכתיבה בלעדיהם: הם יושבים בלב הדינמיקה, לא בשוליה.
חדה מכול היא היכולת לחזות: המתמטיקה אינה רק מתארת את הנמדד – היא חוזה את שטרם נראה; משוואות מקסוול הקדימו את מדידת הגלים האלקטרומגנטיים. משוואת דיראק חייבה קיום של אנטי-חומר לפני שמישהו ראה אותו וארבע שנים לאחר מכן נמצא הפוזיטרון. המודל הסטנדרטי נשא בתוכו את בוזון היגס עשרות שנים לפני שהתגלה במאיץ. למעשה נדרשו חצי מאה של פיתוח טכנולוגי ומיליארדי דולרים כדי לבנות מאיץ חלקיקים עצום רק כדי לאשר את מה שההיגיון המתמטי כבר קבע מראש.
הדפוס היה כה נפוץ עד שהתקבע בתור “היעילות הבלתי־סבירה של המתמטיקה”, ביטוי שטבע הפיזיקאי יוג’ין ויגנר – כאילו עצם מתן שם לפליאה כבר יישב אותה. אבל היעילות אינה הנקודה העמוקה. מה שחותר תחת כל פרשנות שרואה במתמטיקה כלי בלבד אינו שהיא עובדת – אלא שהיא מקדימה. היא אינה רק מארגנת את מה שכבר נמדד; היא מגבילה מראש את מה שהפיזיקה תוכל למצוא.
כאשר המבנה מקדים פעם אחר פעם את המשימה הפיזיקלית, מושג “הכלי” המומצא חדל מלהחזיק מים. כלי מקבל את צורתו ותפקודו מן הצורך המעשי של יוצרו. פטיש מעוצב כדי לנעוץ מסמר. אך מבנה מתמטי שממתין במלוא תפארתו ועקביותו עשרות שנים לפני שהפיזיקה בכלל מסוגלת לנסח את השאלה, אינו מתנהג כמוצר של פסיכולוגיה אנושית. הוא מתנהג כיסוד קבוע, אובייקטיבי, שנמצא שם בלי קשר אלינו. המצאה מקומית, שנולדה לפתור בעיה אחת, אינה אמורה להתגלות שוב ושוב כשלד הפנימי של מציאות שעוד לא ידענו לשאול עליה. שפה שהמצאנו כדי לפתור בעיה מקומית אמורה לבוא אחרי הבעיה ולשרת אותה – לא להקדים בעשרות שנים עולם שטרם נודע. אנחנו יצורים בני־חלוף שהגיעו מאוחר; והמבנים האלה התנהגו כמי שכבר היו שם, ערוכים, ממתינים שהעולם – ואנחנו בתוכו – ניענה להם.
חשבו על האסימטריה העמוקה הזו: אנחנו יצורים קונטינגנטיים, בני־חלוף, תוצרים של אבולוציה ביולוגית מקומית על כוכב לכת קטן. כיצד ייתכן שהתודעה הביולוגית המוגבלת שלנו מסוגלת “להמציא” אמיתות נצחיות והכרחיות, שקדמו לקיומנו במיליארדי שנים ויישרדו זמן רב אחרי שהשמש שלנו תדעך? אם המתמטיקה הייתה המצאה של המוח האנושי, היא הייתה צריכה לשקף את המבנה המקרי של הפסיכולוגיה או הביולוגיה שלנו, ולהשתנות יחד איתן. למדע יש היסטוריה של תיקונים – שרשרת ארוכה של טעויות מועילות: המודל הגיאוצנטרי הוחלף בהליוצנטרי, ניוטון עודכן על ידי איינשטיין, וגם הפיזיקה של ימינו יודעת שאינה סוף הדרך. אך למתמטיקה אין היסטוריה כזו. למתמטיקה יש היסטוריה של גילויים; לא היסטוריה של תיקוני אמת. משפט פיתגורס לא “השתפר” ולא “הופרך” ב־2500 השנים האחרונות, מפני שאין בו מה לתקן. מרגע שהונחו האקסיומות, המסקנות נובעות מהן מכוח הכרח לוגי מוחלט. אנחנו לא מחוקקים למתמטיקה, אנחנו תלמידיה.
לטעון שהמתמטיקה היא רק משחק מומצא שבמקרה קלע אל האמת, דומה לאדם הנעול בחדר אטום לחלוטין, שמצייר מתוך דמיונו הפרוע מפה מפורטת של עיר שמעולם לא שמע עליה. כשהדלת נפתחת והוא יוצא החוצה, מתברר שהמפה שלו תואמת בדיוק מוחלט, רחוב אחר רחוב וסמטה אחר סמטה, את העיר לונדון. אילו זה היה קורה פעם אחת, אפשר היה לקרוא לזה מזל עיוור. אך תולדות המדע אינן אוסף של מקרים מבודדים; הן עדות לדפוס שיטתי שבו המתמטיקה הטהורה מקדימה את השטח המדעי, ומכתיבה לו את תנאיו מלפנים.
הוויכוח בין תגלית להמצאה אינו שעשוע פילוסופי; הוא קובע את מעמדו של כל מה שאנו מכנים מציאות. אם המתמטיקה הייתה רק שפה שהמצאנו, היינו מצפים שתבוא אחרי העולם: שנראה, נמדוד, ואז ננסח. אבל שוב ושוב, דווקא בנקודות העמוקות ביותר, המבנה מופיע לפני המדידה, לפני המכשיר, לעתים לפני שהפיזיקה יודעת בכלל לשאול את השאלה.
כל זה עדיין אינו מוכיח שהמתמטיקה היא המציאות עצמה – זו הטענה הבאה, ואציג אותה ככזו: טענה לבדיקה, לא מסקנה שנכפית מן הדוגמאות. מה שהדוגמאות כן עושות חד דיו: הן שומטות את הקרקע מתחת להנחה שלפיה המתמטיקה היא משחק סמלים שהמצאנו. משחק מומצא יכול להיות עקבי, ואף להתגלות כשימושי – אבל כשהוא מקדים שוב ושוב את המדידה, את המכשיר, ולעתים את עצם השאלה שהפיזיקה תדע לשאול, קשה יותר ויותר לראות בו המצאה מקומית של מוח אנושי. ואם איננה המצאה שלנו, ואיננה רק שפה לתיאור העולם – מה מעמדה הקיומי? היכן בדיוק מתקיים המבנה הזה כאשר אין אף תודעה שתחשוב אותו?
על כך – בפוסט הבא.