בתשובה להאייל הצעיר, 29/09/05 18:45
וריאציות על ZF 333770
דורון שדמי • בתשובה להאייל הצעיר יום ה', 29/9/2005, 20:09
"ביטלתי. עדיין נשארה אקסיומה לפיה יש קבוצה אינסופית."

אם ביטלת את קיומה של הקבוצה הריקה, אינך יכול להשתמש בקבוצה לא-ריקה, כי {.} אינו קיים ללא {} כאשר {} הינו מושג הקיבוץ בכבודו ובעצמו, הקיים לעצמו ללא כל תוכן, ומצב זה הו מצב-היסוד של עצם מושג הקבוצה.

ללא מצב-יסוד זה, אין בידך תורת-קבוצות, פשוטו כמשמעו.
וריאציות על ZF 333774
האייל הצעיר • בתשובה לדורון שדמי יום ה', 29/9/2005, 20:32
"{.} אינו קיים ללא {}" - זו הנחת המבוקש. אתה הצגת טענה זו, אני כתבתי תגובה בניסיון להראות לך שהיא שגויה, ואתה טענת שהטיעון שלי אינו נכון, *כי הטענה המקורית נכונה*.

"{} הינו מושג הקיבוץ בכבודו ובעצמו, הקיים לעצמו ללא כל תוכן" - לא נכון. אתה אולי חושב ככה כי הסימן של הקבוצה הריקה הוא "רק סוגריים". בכך אתה מסתמך על שיטת הסימון, ומתעלם מהמהות. כפי ש*אתה* אמרת, המהות של הקבוצה הריקה לא תשתנה אם נסמן אותה כ-"{}", כ"הקבוצה הריקה", או כ-"Ø". הקבוצה הריקה היא מה שהיא, ותו לא. היא *לא* "הקיבוץ בכבודו ובעצמו".
וריאציות על ZF 333779
דורון שדמי • בתשובה להאייל הצעיר יום ה', 29/9/2005, 20:50
"{.} אינו קיים ללא {}" - זו הנחת המבוקש."

לא זוהי היררכיית תלות-קיום פשוטה בתכלית.
וריאציות על ZF 333791
האייל הצעיר • בתשובה לדורון שדמי יום ה', 29/9/2005, 21:08
העובדה שהקיום של {.} תלויה בקיום של {} *היא בדיוק* הטענה המבוקשת שהנחת.
וריאציות על ZF 333803
דורון שדמי • בתשובה להאייל הצעיר יום ה', 29/9/2005, 21:42
"העובדה שהקיום של {.} תלויה בקיום של {} *היא בדיוק* הטענה המבוקשת שהנחת."

לא ביקשתי דבר, אלא טענתי ישירות ובגלוי כי לא ניתן לדון במושג ללא קיומו האלמנטרי המינימלי של אותו מושג.

לדוגמא:

זירת-משחק קיימת גם ללא משחק (לדוגמא: במה ריקה) אך משחק אינו קיים ללא זירת-משחק (לדוגמא: אי-קיום במה).
וריאציות על ZF 333806
האייל הצעיר • בתשובה לדורון שדמי יום ה', 29/9/2005, 21:46
טענת ישירות ובגלוי, אבל לא הצגת שום ראיה לכך שהקבוצה הריקה היא הקיום האלמנטרי של קבוצה. לדעתי, היה ניתן ליצור גם תורת קבוצות בלעדיה.
וריאציות על ZF 333810
דורון שדמי • בתשובה להאייל הצעיר יום ה', 29/9/2005, 21:57
עיין נא בתגובה 333809
וריאציות על ZF 333813
האייל הצעיר • בתשובה לדורון שדמי יום ה', 29/9/2005, 22:03
כבר עניתי לה.

בכל אופן, אני לא מקבל את זה כמובן מאליו שהקבוצה הריקה היא המצב הבסיסי של קבוצה. אתה יודע מה? לצורך הדיון, אני כופר גם בקיומה של הקבוצה הריקה! ‏1

‏1 אחרי הכל, היא "קיימת" רק במובן אחד: כשאני מניח שהיא קיימת, נוצרת מתמטיקה מעניינת.
וריאציות על ZF 333820
דורון שדמי • בתשובה להאייל הצעיר יום ה', 29/9/2005, 22:31
"בכל אופן, אני לא מקבל את זה כמובן מאליו שהקבוצה הריקה היא המצב הבסיסי של קבוצה. אתה יודע מה? לצורך הדיון, אני כופר גם בקיומה של הקבוצה הריקה! ‏1

‏1 אחרי הכל, היא "קיימת" רק במובן אחד: כשאני מניח שהיא קיימת, נוצרת מתמטיקה מעניינת."

הקבוצה-הריקה היא האטום של תורת-הקבוצות האקסיומטית, ולכן אם היא לא קיימת, ZF לא קיימת.

שוב, טענתך כי ZF שורדת בצורה כלשהיא ללא הקבוצה-הריקה, שקולה לטענה שגופך קיים ללא אבני-היסוד שלו.

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

במקרה של ZF, הקבוצה-הריקה היא האלמנט המרכיב (אבן-היסוד) של כל קבוצה מורכבת, וקבוצה מורכבת היא בהכרח קבוצה לא-ריקה, התלויה לחלוטין בקיומה של אבן-היסוד שלה (קרי, הקבוצה-הריקה).
וריאציות על ZF 333824
האייל הצעיר • בתשובה לדורון שדמי יום ה', 29/9/2005, 22:38
"הקבוצה-הריקה היא האטום של תורת-הקבוצות האקסיומטית" - לא מדויק. יש עוד אקסיומת קיום של קבוצה, שלא עוסקת כלל בקבוצה הריקה.

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

"גופך קיים ללא אבני-היסוד שלו" - המושג "הגוף שלי" יכול להיות קיים בעולם היפותטי ללא אבני היסוד שלו. ממש כך.

"הם מתעלמים מהיררכיית-תלות של אלמנטים פשוטים באלמנטים מורכבים, ונותנים מעמד קיום זהה לאלמנט מורכב ולאלמנט מרכיב" - למה אתה חושב ככה? מתמטיקאים יודעים להבדיל היטב בין אקסיומה למשפט, למשל. יש גם דוגמה יותר מוצלחת: רדוקציה חישובית. זה בדיוק הדבר שאתה קורא לו "היררכיית-תלות" עבור הקיום של אלגוריתמים שמחשבים פונקציות שונות. המושג הזה אינו "תבוני" כלל - הוא ממש פורמלי. בכל אופן, מתמטיקאים אכן חוקרים אותו.
וריאציות על ZF 333866
דורון שדמי • בתשובה להאייל הצעיר יום ה', 29/9/2005, 23:37
"לא מדויק. יש עוד אקסיומת קיום של קבוצה, שלא עוסקת כלל בקבוצה הריקה."

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

"(אקסיומת הקבוצה האינסופית, זוכר?)."

כדי לזכור את אקסיומת האינסוף צריך שיהיה לה איזה תוצרת, אך ללא קיום הקבוצה הזו, אין תוצרת, אז אני לא זוכר אותה.

"המושג "הגוף שלי" יכול להיות קיים בעולם היפותטי ללא אבני היסוד שלו. ממש כך."

אם כך הוא ישות אלמנטרית השקולה לקבוצה-הריקה בתורת קבוצות.

"למה אתה חושב ככה?"

כי {{}} קיים ללא תלות ב-{} עפ"י המתמטיקה הסטנדרטית.
וריאציות על ZF 333871
האייל הצעיר • בתשובה לדורון שדמי יום ה', 29/9/2005, 23:54
מי אמר ש-{{}} קיימת בכלל?

נ.ב.
"אם הקבוצה-הריקה לא קיימת, אקסיומות אלה 'טוחנות ריק"' - שוב אתה מניח את המבוקש, בלי להציג שום טיעון שיצדיק אותו. יותר מזה: אתה מתעקש להתעלם מאקסיומה שאומרת ש*קיימת* קבוצה אינסופית.
וריאציות על ZF 333781
דורון שדמי • בתשובה להאייל הצעיר יום ה', 29/9/2005, 20:57
'' הקבוצה הריקה היא מה שהיא''

הקבוצה הריקה היא מצב הקיום הכרחי של עצם המושג ''קבוצה'', ובלעדיו אינך יכול לדון כלל במושג זה, ללא כל קשר לסימון זה או אחר.

מה שאתה עושה כאן הוא דוגמא מאלפת להתעלמות מתובנה פשוטה של מושג, ובחירה בדרך מפותלת ומסובכת של הגדרות נעדרי תובנה.
וריאציות על ZF 333788
האייל הצעיר • בתשובה לדורון שדמי יום ה', 29/9/2005, 21:07
איזו הגדרה הגדרתי כאן, אם יורשה לי לשאול?

חוץ מזה, לגבי הטענה לפיה "הקבוצה הריקה היא מצב הקיום ההכרחי של עצם המושג 'קבוצה"', אני אכתוב שוב את מה שכתבתי בתגובה 333783:
בעיני אנשים רבים, "קבוצה" היא משהו שיש בו איברים. לדעתם "מצב הקיום ההכרחי" של קבוצה הוא קבוצה בת איבר אחד. הם אפילו לא מסוגלים לראות איזו מהות יש לקבוצה שאין בה איברים.
מה תגיד להם על זה?
וריאציות על ZF 333812
דורון שדמי • בתשובה להאייל הצעיר יום ה', 29/9/2005, 22:02
שוב, עייו נא בתגובה 333809
משחק ההפניות 333814
האייל הצעיר • בתשובה לדורון שדמי יום ה', 29/9/2005, 22:05
תגובה 333813.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות