בתשובה לעוזי ו., 31/08/05 22:28
אוקיי, ויתרתי 326891
אני מאוד סקרן לשמוע את התגובה לנקודה 4. אחרי תגובה 326861 קיבלתי את הרושם שמה שדורון עושה הוא בעצם "לקפוץ" על כל שלבי הבניה שנעשים במתמטיקה ה"רגילה" כדי לקבל אובייקטים שניתן לקבל גם במתמטיקה ה"רגילה", כשההבדל הוא שהוא מניח את קיומם אקסיומטית וטוען שבגלל שהמתמטיקה ה"רגילה" לא מניחה את קיומם אקסיומטית, הם לא קיימים בה.
אוקיי, ויתרתי 326952
הערת ביניים: זה הפתיל עם השם הכי מצחיק שהופיע אי פעם באייל.
אוקיי, ויתרתי 327021
כבר היה פתיל עם אירוניה דומה בשם, אם אני לא טועה (דומני שהשם היה ''בקיצור'').
אוקיי, ויתרתי 327057
גדי:

אני מאוד סקרן לשמוע את התגובה לנקודה 4. אחרי תגובה 326861 קיבלתי את הרושם שמה שדורון עושה הוא בעצם "לקפוץ" על כל שלבי הבניה שנעשים במתמטיקה ה"רגילה" כדי לקבל אובייקטים שניתן לקבל גם במתמטיקה ה"רגילה", כשההבדל הוא שהוא מניח את קיומם אקסיומטית וטוען שבגלל שהמתמטיקה ה"רגילה" לא מניחה את קיומם אקסיומטית, הם לא קיימים בה.

דורון:

נהפוכו, מכיוון שהמתמטיקה-המונדית משתמשת במושגים יתירות ואי-וודאות כתכונות מסדר-ראשון, ניתן להבין מייד כי המתמטיקה הרגילה מתעלמת לחלוטין מ-"יקום" שלם של אלמנטים בעלי יתירות ואי-וודאות, ו"קופצת" ישר (כבר ברמת האקסיומות המגדירות קבוצות) לאלמנטים שבהם ערכי הכמת והסדר ידועים היטב.

כדי לראות את ה"קפיצה" הזו בבירור אנא עיין ב:
תודה.

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים