בתשובה לדורון שדמי, 26/09/05 9:32
 |
|
 |
||
|
||||
 |
"I know that my approach cannot be grasped easily by persons which are familiar with the standard approach about the successor concept, but at the moment you get it you can see that it is finer than the standard understanding of the successor concept." אגב, אותי איבדת ב-"we need to define {} as the successor of itself". למה אנחנו צריכים להגדיר את הקבוצה הריקה כעוקב של עצמה? באקסיומות פאנו דווקא בוחרים להדגיש ש-0 הוא מספר שאינו עוקב של אף מספר אחר (ולכן בטח שלא צריך לדרוש שהוא יהיה העוקב של עצמו או משהו דומה).
"Don't worry about it. You will get it. It takes time to sink in" |
 |
 |
 |
|
|
|
||
|
||||
|
"באקסיומות פאנו דווקא בוחרים להדגיש ש-0 הוא מספר שאינו עוקב של אף מספר אחר (ולכן בטח שלא צריך לדרוש שהוא יהיה העוקב של עצמו או משהו דומה)." {} איננו 0 אלא |{}| = 0 , ולכן אין שום קשר בין אקסיומות פיאנו (אשר, דרך אגב, מבוססות על תבנית חשיבה סדרתית בלבד) לתובנות שלי ביחס לעוקב. אם אתה עוסק במושגים קבוצה ושייכות, הרי שהמינימום ההכרחי לקיום בפועל של קבוצה, היא לא פחות מאשר הקבוצה הריקה {}, ומושג השייכות הוא לא פחות מאשר {} המקונן ב-{} והמקיים את {{}} וכו'. |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |