בתשובה להאייל הצעיר, 09/09/05 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 מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות