| היא עדיין יכולה להורות לבני-אדם כיצד להתנהג בכל דילמה מוסרית | כל זה לא אומר שאין - גם במתמטיקה, וגם בצרפתית - מצבים בהם אנו בעליל מדברים סתם על מספרים, או על מכוניות, ומצבים בהם אנו בעליל מדברים על הוכחות מתמטיות, או על צרפתית |
|---|---|
| מה באמת יש במאמר ההוא, ואולי חשוב מכך — מה אין בו? קורט גדל עם אלברט אינשטיין מקור: ארכיון ההיסטוריה של המתמטיקה, אוניברסיטת סנט אנדרוז נעבור לטענה שגויה נוספת: "יש אמיתות שלוגיקה ומתמטיקה אינן מסוגלות להוכיח" | לא משנה כמה זמן זה יקח, ולא משנה אם חלק מהמשפטים יופיעו שוב ושוב בפלט |
כותב שורות אלה, אישית, משוכנע שאין;" מלכתחילה שאלתי על הטענה האחרונה שלך, שלמיטב הבנתי התייחסה ל"שגיאה" הראשונה שאתה מזכיר כאן, ואיננה מתייחסת למכונות כלל.
| איזה מתימטיקאי היה מקבל אותה לפני 300 שנה? Hilbert's Program was to formalize all branches of mathematics | כמו כן, אמנם יתכן שיש פה שימוש בתאוריות לא שלמות, אבל משפטים שהוכחו כגון פרמה, הועמדו לביקורת ע"י עשרות מומחים כשכל אחד מקבל חלק קטן לבדוק |
|---|---|
| החל מ"אדם לעולם לא יבין את עצמו", דרך "משפט זה, יותר מכל דבר אחר בעולם המדעי, ממחיש את הפער בין 'אני' ו'אחר' ", ועד למשפט הסיום התמוה "מה הדבר אומר על מתמטיקאים, אם לקח להם כל כך הרבה זמן להגיע לאותה מסקנה שכל איש רוח יודע, שאין אמת אחת? כשגדל הראה שזה בלתי-אפשרי, היתה התרגשות מוצדקת - זו אכן התפתחות דרמטית ביסודות המתמטיקה | כאמור, "הוכחה" בלוגיקה מתמטית היא מושג פורמלי, הקשור, אך לא זהה, למושג "הוכחה" המוכר לנו משפת היום־יום |
יכול להיות שמהקנאה הזאת באה התגובה הקנטרנית שלך.
15