בתשובה לגדי אלכסנדרוביץ', 31/03/04 19:12
שאלה מתמטית 209737
עוזי ו. • בתשובה לגדי אלכסנדרוביץ' יום ד', 31/3/2004, 19:35
דיברנו על הנושא קצת בתגובה 167241 (תחת המאמר הזה), אם כי בצורה מפוזרת משהו.
אני לא בטוח שיש תאור קונסטרוקטיבי של סדר טוב על הממשיים.
שאלה מתמטית 209738
גדי אלכסנדרוביץ' • בתשובה לעוזי ו. יום ד', 31/3/2004, 19:41
אוקיי, תודה. אגב, משפט הסדר הטוב לא מצביע על דרך למצוא סדר טוב שכזה, רק אומר שקיים, נכון? עכשיו אני רואה את השקילות בינו לבין אקסיומת הבחירה והלמה של צורן. שלושתם מדברים על קיום של משהו מבלי להצביע על דרך כלשהי למצוא אותו בפועל. (ולמרבה האירוניה, אקסיומת הבחירה מצביעה על קיום של משהו ש"ברור מאליו" שיש בעוד משפט הסדר הטוב מצביע על משהו ש"ממש לא הגיוני" שיש, אבל אני מניח שכל העולם ואחותו כבר שם לב לאירוניה הזו)
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות