|
||||
|
||||
אני מאוד סקרן לשמוע את התגובה לנקודה 4. אחרי תגובה 326861 קיבלתי את הרושם שמה שדורון עושה הוא בעצם "לקפוץ" על כל שלבי הבניה שנעשים במתמטיקה ה"רגילה" כדי לקבל אובייקטים שניתן לקבל גם במתמטיקה ה"רגילה", כשההבדל הוא שהוא מניח את קיומם אקסיומטית וטוען שבגלל שהמתמטיקה ה"רגילה" לא מניחה את קיומם אקסיומטית, הם לא קיימים בה. |
|
||||
|
||||
הערת ביניים: זה הפתיל עם השם הכי מצחיק שהופיע אי פעם באייל. |
|
||||
|
||||
כבר היה פתיל עם אירוניה דומה בשם, אם אני לא טועה (דומני שהשם היה ''בקיצור''). |
|
||||
|
||||
גדי: אני מאוד סקרן לשמוע את התגובה לנקודה 4. אחרי תגובה 326861 קיבלתי את הרושם שמה שדורון עושה הוא בעצם "לקפוץ" על כל שלבי הבניה שנעשים במתמטיקה ה"רגילה" כדי לקבל אובייקטים שניתן לקבל גם במתמטיקה ה"רגילה", כשההבדל הוא שהוא מניח את קיומם אקסיומטית וטוען שבגלל שהמתמטיקה ה"רגילה" לא מניחה את קיומם אקסיומטית, הם לא קיימים בה. דורון: נהפוכו, מכיוון שהמתמטיקה-המונדית משתמשת במושגים יתירות ואי-וודאות כתכונות מסדר-ראשון, ניתן להבין מייד כי המתמטיקה הרגילה מתעלמת לחלוטין מ-"יקום" שלם של אלמנטים בעלי יתירות ואי-וודאות, ו"קופצת" ישר (כבר ברמת האקסיומות המגדירות קבוצות) לאלמנטים שבהם ערכי הכמת והסדר ידועים היטב. כדי לראות את ה"קפיצה" הזו בבירור אנא עיין ב: תודה. |
חזרה לעמוד הראשי | המאמר המלא |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |