בתשובה לאלון עמית, 27/07/05 23:34
עוכר שמחות שכמותך 320253
לא יכולת לחכות עד שמישהו יקפוץ עם:
"מה אתה מבלבולים פו אם כפיות מה כפיות אך זה קשור???!?"
עוכר שמחות שכמותך 320254
אבל בזכות זה גיליתי שיש הבדל בחומרת האזהרה בין שני סימני קריאה/שאלה רצופים לשלושה.
רד לעשרים בכל זאת.
עוכר שמחות שכמותך 320255
יש הבדל????

ואללה, נכון.
עוכר שמחות שכמותך 320257
אפילו את ההגינות לכתוב "ואללה, נכון." בתגובה נפרדת, כמו שאני עשיתי לא היה לך.
תגיד את האמת כתבת "ואללה, נכון." לפני שבדקת או אחרי?
עוכר שמחות שכמותך 320261
לפני, כמובן. לא בסדר?

ניסיון ההתחמקות הפתטי הזה שלך מההבטחות חסרות-השחר של "מחר", "מחרתיים" וכו' הוא שקוף ועלוב עד מאוד, מר מינדרבינדר. כשאגיע לארץ אצוד אותך, ואתה תהיה חייב לי מקופלת. והסבר.
עוכר שמחות שכמותך 320258
הרשה לי להתעלם מקשיחותו של אלון, ולשאול:
"מה אתה מבלבולים פו אם כפיות מה כפיות אך זה קשור???!?"
עוכר שמחות שכמותך 320263
השאלה היתה רצינית? אם כן אשמח להוסיף אותה לרשימת המחר/מחרתיים.
עוכר שמחות שכמותך 320271
רצינית בהחלט, חרף ניסוחה המגומגם משהו. הכפיות, כולל אלו עם ה-כ' השוואית, אינן מוכרות לי כמושג מתמטי.
עוכר שמחות שכמותך 320278
אני רוצה שאורי יתרכז בשאלות הקודמות, אז אני אתנדב: כְּפִיה (forcing) היא שיטה בלוגיקה מתמטית שפותחה, למיטב ידיעתי, בידי פול כהן בשנות הששים, ומאפשר לבנות מודלים עבור טענות מסויימות. השם "כפיה" מתייחס לכך שהשימוש בשיטה מאפשר "לכפות" על המודל לקיים תכונות רצויות מסויימות.

כהן פיתח את השיטה, והשתמש בה, כדי להוכיח שהשערת-הרצף אינה תלויה ב-ZFC. גדל עשה חצי מהעבודה הרבה קודם - הוא הראה שהשערת הרצף אינה *סותרת* את ZFC - וכהן הראה את ההיפך: גם שלילתה של השערת הרצף אינה סותרת את ZFC, ומכאן שהאקסיומות הרגילות של תורת הקבוצות אינן מסוגלות לקבוע אם יש או אין קבוצה של ממשיים שאינה בת-מנייה ואינה בת עצמת הרצף.
עוכר שמחות שכמותך 320326
הם הוכיחו את כל מה שאמרת בהנחה ש-ZFC עקבית, כמובן.
נודניק :-) 320378
עוכר שמחות שכמותך 320366
תודה.

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

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