בתשובה לעוזי ו., 01/09/05 21:27
 |
|
 |
||
|
||||
 |
"אין לנו שום *צורך* באטומים. אפשר לעשות הכל (הכל) באמצעות תורת הקבוצות." הדגם נא תוך שימוש בתורת הקבוצות האקסיומטית כיצד אתה "מטפל" באלמנטים שיתירות ואי-וודאות הם תכונות אינהרנטיות (מסדר-ראשון) שלהם. כמו-כן הדגם נא כיצד ZF או ZFC או כל תורת-קבוצות אחרת מטפלת באלמנט בודד אשר מבחינה לוגית הוא קיים סימולטנית בתוך ומחוץ לקבוצה נתונה. תודה. |
 |
 |
 |
|
|
|
||
|
||||
|
א. התואיל בטובך להסביר מהם "יתירות" ו"אי-ודאות"? ב. אתה רוצה לבנות בשפה של תורת הקבוצות מערכת לוגית שתטפל ב"קבוצות" שאיבר יכול להיות "שייך" להן וגם לא "שייך" להן. אין בעיה. פשוט נגדיר (בשפה של תורת הקבוצות) אובייקטים ששמם "קצובות", ויחס בשם "כיישות", ושמקיימות את כל היחסים שאתה רוצה. |
|
|
|
|
|
|
||
|
||||
|
א. תעיף מבט בתגובה 326855 ובדיון שאחריה, ותחליט האם אתה רוצה שוב להיכנס לזה. | |
|
|
|
|
|
||
|
||||
|
אתה יכול ללכת גם צעד אחד קדימה, ולשאול שאלות חתרניות כמו "למה להמשיך לנהל בכלל דיון עם דורון?" ואז אנה אנו באים? :-) |
|
|
|
|
|
|
||
|
||||
|
בעצם יש לי פתרון גם לסעיף א': נגדיר "אוסף" כזוג סדור של קבוצה A ופונקציה f מקבוצה A לקבוצה N. | |
|
|
|
|
|
||
|
||||
|
אני חושד שהבעיה המרכזית של דורון היא שהוא לא מוכן לקבל מצב שבו האובייקטים שעליהם הוא מדבר מורכבים מאובייקטים יותר בסיסיים ופשוטים, אלא רוצה להניח את קיומם כאקסיומות היסודיות. לכן *אסור* לך להשתמש בקבוצה כדי להגדיר משהו שדורון מדבר עליו. | |
|
|
|
|
|
||
|
||||
|
מה שמשעשע זה שאם אנחנו לא יכולים לעשות את זה (בתוך תורת הקבוצות), הוא רואה את זה כהוכחה לליקוי חמור בגישה האקסיומטית. | |
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |