... המתמטי להתפרע עוד יותר. היה זה פיסיקאי, ניוטון, שהמציא מושג מוזר, הנגזרת, שהיא גודל גדול מאפס אבל קטן מכל מספר שהוא, כדי לעשות חישובים מסוג חדש. הנימוק שנתן כדי
להוכיח שנגזרות כאלה הן ממשיות היה צולע, אבל מהרגע שהציג את שיטתו, והתברר שהחישובים שהיא מציעה נותנות תוצאות מדויקות (ראו פרק 8. 8), התעלמו ... ההכשר המיוחלת. בוקר טוב, גיחכו הפיסיקאים, מה היינו עושים בלעדיכם! הנון - שלאנטיות הזאת, על - פי בכלר, 9 היא חלק בלתי - נפרד מהמתודה המדעית: המדען מוכן להניח הנחות ללא
הוכחה מספקת ולהתקדם אתן, במקום שבו היה הלוגיקן הקפדן נשאר תקוע. בכלר מתמצת את הגישה הזאת בסיסמה של גלילאו: באר את הפלא עי הנס. כמו האפס, גם האינסוף משך את הדמיון המתמטי. גיאורג קנטור (1845 - 1918) המציא חשבון מיוחד לאינסופים
והוכיח בדרך פשוטה יחסית שמספר הנקודות על קו מסוים שווה למספר הנקודות על קו גדול יותר ואפילו למספר הנקודות על מישור או מרחב כלשהו2 (אני רואה את זה, כתב על
ההוכחה, אבל לא מאמין! ). במילים אחרות, כשמשווים בין סוגים שונים של אינסוף מתקבלות תוצאות המנוגדות לשכל הישר. משלא הצליחו המתמטיקאים להפריך את
הוכחותיו של קנטור, ניסו לדחותן בטענה שאינסופים אינם דבר מציאותי. קנטור, שהיה אפלטוניסט, טען שהם דווקא קיימים איפה שהוא ואפילו גייס את אלוהים לצורך זה. לטענה זו הצטרף מאוחר יותר עוד אפלטוניסט מפורסם, גדל, אותו כבר שמענו מדבר בזכות אמיתות החורגות מיכולת
ההוכחה. 11 מייקל גוילן, 60 בעבר מרצה לפיזיקה בהרוורד, תומך בהקשר זה בטענה הקרויה עיקרון השפע: כל דבר שהמתמטיקה מרשה את קיומו, יתגלה בסופו ...