בתשובה לדורון שדמי, 24/09/05 18:40
 |
|
 |
||
|
||||
 |
כפי שאמרתי "קבוצה שיש בה איבר של עצמה היא בהכרח אינה זהה לעצמה, ולכן: קבוצה שהיא האיבר של עצמה היא בהכרח לא זהה לעצמה, ולכן אם קבוצת *כל* הקבוצות שאינן איבר את עצמן, היא איבר של עצמה ,הרי שבהכרח היא אינה זהה לעצמה ולכן כדי שהיא תהיה זהה לעצמה היא איננה איבר של עצמה, אך אז היא סותרת את התנאי *כל*, שהוא חלק אינהרנטי של הגדרתה ולכן "קבוצת *כל* הקבוצות שאינן איבר של עצמן" לא קיימת מעצם הגדרתה ללא כל קשר לאקסיומות של ZF. "מה שראסל עשה היה להראות את הבעייתיות במושג של "קבוצת כל הקבוצות שאינן איבר של עצמן" כפי שאתה רואה אין שום בעיה, כי קבוצה כזאת לא קיימת. "הבעיה בקבוצת כל הקבוצות הייתה ידועה, דומני, כבר לקנטור, והבעייתיות בה היא בשאלה מה העוצמה שלה (קנטור, כזכור, הראה שהעוצמה של קבוצת החזקה של כל קבוצה A גדולה ממש מהעוצמה של A, והפרדוקס נובע מיידית מכאן)." מה שקנטור הראה זה שהוא לא מבין מהו אוסף אינסופי, מפני שהוא התעלם (משיקולים זרים) ממושג האינסוף המוחלט כפי שניתן לראות בבירור בhttp://en.wikipedia.org/wiki/Absolute_infinite. |
 |
 |
 |
|
|
|
||
|
||||
|
משום מה הכתובת של WIKIPEDIA אינה פועלת בתגובה הקודמת, אז הינה היא שוב: |
|
|
|
|
|
|
||
|
||||
|
זה בגלל שהמשפט הסתיים בנקודה, והמערכת של האייל לא הפרידה אותה מהכתובת. זאת הבעיה עם נקודות. מזל שישרים לא בנויים מהן. |
|
|
|
|
|
|
||
|
||||
|
חוץ מהעובדה שאין לי מושג על מה אתה מדבר כשאתה אומר ''קבוצה שהיא האיבר של עצמה היא בהכרח לא זהה לעצמה'' הכל בסדר. | |
|
|
|
|
|
||
|
||||
|
הראה נא לי קבוצה שהיא האיבר של עצמה וגם זהה לעצמה. | |
|
|
|
|
|
||
|
||||
|
אם אתה *לא* מסכים לקבל רק קבוצות שניתן לבנות באמצעות ZF, אז הקבוצה A={A} עונה על הדרישות.הראה נא לי קבוצה כלשהי שלא זהה לעצמה. |
|
|
|
|
|
|
||
|
||||
|
ללא שום קשר לZF A={A} לא עונה על הדרישות כי ל-...{{{A}}}... אין זהות עצמית, או יותר מדוייק, אי-הזהות העצמית היא תכונה אינהרנטית שלה אשר מלמדת אותנו כי כל אוסף אינסופי (לדוגמא אוסף N של המספרים הטבעיים) אין לו self identity function מכיוון שלאוסף אינסופי לא ניתן להגדיר קרדינל, כי אוסף קינונים אינסופי, או אוסף איברים אינסופי הינו בלתי-שלם אינהרנטית, וניתן להבין זאת בקלות רבה כאשר מבינים כי שום אוסף אינסופי אינו יכול להשיג את האינסוף המוחלט (כפי שקנטור עצמו ידע בעת שניסך את יסודות תורת הקבוצות http://en.wikipedia.org/wiki/Absolute_infinite)
|
|
|
|
|
|
|
||
|
||||
|
כל כך הרבה משפט עם כל כך מעט משמעות. לא הבנתי כלום. |
|
|
|
|
|
|
||
|
||||
|
דורון, המטרה של המתמטיקה היא לעשות את הדברים פשוטים יותר על ידי שימוש במספר בסיסי של מושגי יסוד אינטואיטיביים שמהם ניתן לבנות מושגים מורכבים ביותר בצורה מסודרת ושאינה משתמעת לשתי פנים. אצלך כל המושגים הבאים לא ברורים ויכולים להשתמע לעשרות פנים שונות: "זהות עצמית" "אי-זהות עצמית" "תכונה אינהרנטית" "self identity function" "קרדינל" (במשמעות שאתה מייחס לו, ולפיה אין קרדינל לאוסף אינסופי)"אוסף קינונים אינסופי" "בלתי-שלם אינהרנטית" "להשיג" "האינסוף המוחלט" אני מקווה שברור לך שמי שלא מבין את כל המושגים הללו לא מסוגל להבין כלום מההודעה שלך. אני מקווה שאתה גם מבין שאם מישהו לא מבין את המושגים הללו זה לא כי הוא לא קיבל מספיק חמצן בזמן הלידה, אלא פשוט שהם לא הוגדרו על ידך ויש להם מספר קונוטציות שונות, וככל הנראה לא אל הקונוטציות הללו כיוונת. אם כך, למה אתה ממשיך לכתוב הודעות כאלו? |
|
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |