בתשובה לאורי גוראל-גורביץ', 28/07/05 1:05
עוכר שמחות שכמותך 320271
האייל האלמוני • בתשובה לאורי גוראל-גורביץ' יום ה', 28/7/2005, 2:06
רצינית בהחלט, חרף ניסוחה המגומגם משהו. הכפיות, כולל אלו עם ה-כ' השוואית, אינן מוכרות לי כמושג מתמטי.
עוכר שמחות שכמותך 320278
אלון עמית • בתשובה להאייל האלמוני יום ה', 28/7/2005, 2:34
אני רוצה שאורי יתרכז בשאלות הקודמות, אז אני אתנדב: כְּפִיה (forcing) היא שיטה בלוגיקה מתמטית שפותחה, למיטב ידיעתי, בידי פול כהן בשנות הששים, ומאפשר לבנות מודלים עבור טענות מסויימות. השם "כפיה" מתייחס לכך שהשימוש בשיטה מאפשר "לכפות" על המודל לקיים תכונות רצויות מסויימות.

כהן פיתח את השיטה, והשתמש בה, כדי להוכיח שהשערת-הרצף אינה תלויה ב-ZFC. גדל עשה חצי מהעבודה הרבה קודם - הוא הראה שהשערת הרצף אינה *סותרת* את ZFC - וכהן הראה את ההיפך: גם שלילתה של השערת הרצף אינה סותרת את ZFC, ומכאן שהאקסיומות הרגילות של תורת הקבוצות אינן מסוגלות לקבוע אם יש או אין קבוצה של ממשיים שאינה בת-מנייה ואינה בת עצמת הרצף.
עוכר שמחות שכמותך 320326
אורי גוראל-גורביץ' • בתשובה לאלון עמית יום ה', 28/7/2005, 11:58
הם הוכיחו את כל מה שאמרת בהנחה ש-ZFC עקבית, כמובן.
נודניק :-) 320378
אלון עמית • בתשובה לאורי גוראל-גורביץ' יום ה', 28/7/2005, 16:09
עוכר שמחות שכמותך 320366
האייל האלמוני • בתשובה לאלון עמית יום ה', 28/7/2005, 15:27
תודה.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות