בתשובה לדורון שדמי, 09/09/05 13:32
מחשבות טרחניות על אקסיומת הקיום של ZF 328642
האייל הצעיר • בתשובה לדורון שדמי יום ו', 9/9/2005, 15:41
בוא ננסה משהו אחר. דורון והמתמטיקאי עומדים ליד בית. הםלא יודעים שום דבר על מי שנמצא בבית, ולדעתם בכלל יכול להיות שאין בבית אף אחד. לפתע מופיעה השכנה הרכלנית מהבית ממול. היא מספרת להם שיש בבית גבר יחיד, שזוכר בעל-פה את מספר הטלפון של כל אדם שנמצא בבית.
"רגע, רגע, רגע," אומר דורון, "אותו 'אדם שנמצא בבית' מהסיפא של המשפט לא יכול להיות הגבר, כי עד שלא אמרת את כל המשפט הוא בכלל לא היה קיים. לכן הגבר זוכר את מספר הטלפון של כל אדם *מלבדו*, ואולי בכלל לא זוכר את מספר הטלפון שלו!"
"לא בדיוק." עונה המתמטיקאי וסוגר את 'אליסה בארץ הפלאות'. "הגבר היה בבית גם לפני שאנחנו ידענו את זה. לכן הביטוי 'כל אדם' תקף לגביו."

מי לדעתך צודק?
מחשבות טרחניות על אקסיומת הקיום של ZF 328668
דורון שדמי • בתשובה להאייל הצעיר יום ו', 9/9/2005, 18:25
"מי לדעתך צודק?"

פרדוקס השקרן רלוונטי רק לדברים הקיימים ללא תלות בידיעתנו.

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

כל מה שאלינו לעשות הוא להצהיר ישירות:"קיימת קבוצה ללא כל תכולה, ואנו נכנה אותה בשם "הקבוצה-הריקה".

בכך אנו חוסכים גם את השימוש המסורבל של אקסיומת היחידות, כי ברור לחלוטין שיש רק ואך ורק ריקנות מוחלטת אחת ויחידה, ולכן יש בנמצא רק קבוצה-ריקה אחת ויחידה.
מחשבות טרחניות על אקסיומת הקיום של ZF 328684
האייל הצעיר • בתשובה לדורון שדמי יום ו', 9/9/2005, 20:16
- אין לי מושג מה הקשר לפרדוקס השקרן.
- אין לי מושג למה הפרדוקס רלוונטי רק לדברים הקיימים ללא תלות בידיעתנו.
- אין לי מושג מתי השתמשת בכמת "לכל" על הפרדוקס.
- אולי לא הבנת את המשל שלי: "בית ריק" הוא לא המקבילה ל"קבוצה הריקה", אלא לטענה "אין קבוצות" (האנשים שבבית היו משל לקבוצות).
- אין לי מושג מה זה "להניח מראש הגדרה".
- אין לי מושג מה זו "תכולה" של קבוצה. המושג הכי קרוב שאני מכיר זה "איבר". קבוצה שאין לה איבר. קבוצה שכל דבר אינו איבר שלה. אתה מגדיר מונחים באמצעות מונחים אחרים שאני, לפחות, לא מכיר.
- אין לי מושג למה "ברור" שיש ריקנות אחת.
- לא ענית על השאלה הפשוטה שלי.
מחשבות טרחניות על אקסיומת הקיום של ZF 328688
דורון שדמי • בתשובה להאייל הצעיר יום ו', 9/9/2005, 20:33
אייל צעיר,

אנא עיין בתגובה 328687

תודה.
מחשבות טרחניות על אקסיומת הקיום של ZF 328712
האייל הצעיר • בתשובה לדורון שדמי שבת, 10/9/2005, 0:15
זה לא עונה על אף נקודה שהצגתי בתגובה 328684.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות