... כבדי - ראש ראינו ששיטת ההוכחה שהנהיג אוקלידס
במתמטיקה היא תובענית הרבה יותר מההוכחה המדעית באמצעות ניסוי: שום מתמטיקאי לא יעיז להוכיח טענה כלשהי על סמך בדיקת מיליון דוגמאות, כי כבר קרה שרק המקרה המיליארד ומשהו הכזיב! ... אותנו מהאמת. לצד העיסוק ביופיין של הפיסיקה
והמתמטיקה, בואו ניתן דעתנו על שני מומים המתגלים בשתי הגברות האלה אחרי בדיקה יותר פולשנית. שתיהן מתחרות על כתר מלכת המדעים. הפיסיקה תובעת אותו בנימוק שהיא עוסקת במרכיבים ... בתופעות מורכבות יותר, הם ענפי - משנה שלה.
המתמטיקה, מצד שני, טוענת שאינה מוגבלת רק למציאות הידועה לנו. כל מציאות שנוכל להעלות בדמיוננו, כל עוד שולטים בה חוקים קבועים, ויהיו אלה הביזאריים ביותר, תוכל
המתמטיקה לתאר אותם, ולכן היא יסודית יותר מהפיסיקה. בואו נראה מה נוכל ללמוד מוויכוח זה. הפיסיקה היא מדע ניסיוני, כלומר היא לומדת על המציאות עי הניסוי והתצפית. שיטות אלה ... משתמש באינדוקציה, הסקה ממקרה פרטי על הכלל.
המתמטיקה, לעומת זאת, משתמשת בדדוקציה, כלומר הנחת עיקרון ראשוני שממנו נגזרות מסקנות ספציפיות יותר. כמובן, העיקרון הראשוני הזה אינו נובע מהניסיון, כי זה תחומו של המדע. לכן, כל ... - דבר והיפוכו. אמרו אנשים: בואו נבנה את כל
המתמטיקה כמו שאוקלידס בנה את הגיאומטריה, כלומר נבדוק מה המינימום של הנחות - יסוד שמהן נגזור את כל טענות
המתמטיקה (כולל הגיאומטריה, שחזרה עכשיו להיות ענף של
המתמטיקה). טובי המוחות של המאות ה - 19 וה - 20 נרתמו למרוץ הזה, וגילו הרבה דברים יפים בדרך. ואז הופיע בחור בן עשרים וחמש בשם קורט גדל (1906 - 1978) והוכיח שכל מערכת עקבית של ... האמת חורגת מגבולות ההינתנות - להוכחה. 11
המתמטיקה, עם ההיגיון הצרוף והמושלם שלה, תצטרך לחיות עם העובדה שייתכנו בתוך עולמה דברים אמיתיים שלא יהיה בכוחה להוכיחם. באופן דומה התמודדו מדעי הטבע עם הערעור על האינדוקציה. ...