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