בתשובה להאייל הצעיר, 07/09/05 16:48
 |
|
 |
||
|
||||
 |
תהא X קבוצה. נגדיר ברקורסיה "מצב פנימי" כקבוצה שהיא איבר של X או כקבוצה שהיא איבר של מצב פנימי של X. נאמר על שני מצבים פנימיים A,B שהם "מקבילים" אם קיים מצב פנימי C כך ש-A,B איברים של C. נאמר על מצב פנימי B שהוא סדרתי למצב פנימי A אם B הוא איבר של A. דוגמה למצבים מקבילים: {A,B} דוגמה למצבים סדרתיים: {{B}} כאשר A={B}. (ניתן לנסח, כמובן, גם בעזרת עצים ואז "מקבילים" הם בנים של אותה צומת ו"סדרתיים" הם פשוט אב ובן, אבל אני לא בטוח שזה מספיק low-level בשביל דורון. כאן לא השתמשתי בסדר כי לא ברור לי אם דורון באמת מנסה להשתמש בו) |
 |
 |
 |
|
|
|
||
|
||||
|
או.קיי, תודה. עכשיו אני יכול לא להבין את תגובה 328032 בכללותה. |
|
|
|
|
|
|
||
|
||||
|
אני אעבור למונחי עצים כי זה יותר נוח: כל מספר טבעי n יכול להיות מיוצג על ידי כל העצים (הסדורים) בעלי n+1 צמתים. עץ שהוא "שרוך" (כל צומת מדרגה 2) ייקרא "סדרתיות מלאה". עץ מעומק 1 ייקרא "מקביליות מלאה". אנחנו נוהגים לזהות מספרים רק עם "שרוכים". פעולת העוקב על מספר מתבצעת על ידי הוספת צומת נוסף ל"שרוך". יש לך עוקב - יש לך את אקסיומות פאנו ואת האריתמטיקה. דורון מנסה איכשהו להגדיר פעולות אריתמטיות על עצים באופן כללי (רעיון נחמד - אני זוכר שפעם תהיתי בעצמי האם ניתן לראות קבוצות מסוימות של עצים בתור מרחבים וקטוריים). |
|
|
|
|
|
|
||
|
||||
|
זהירות. תכף יבוא דורון ויסביר לך שזה לא אותו דבר, שאתה מתעקש להשתמש בשפה שהיא מוגבלת מדי כדי להבין את הרעיונות שלו, שאתה לכוד בגישה שהאכילו אותך בה בממסד האקדמי, ושהגישה הדדוקטיבית הולכת להעלם מן העולם. |
|
|
|
|
|
|
||
|
||||
|
''ושהגישה הדדוקטיבית הולכת להעלם מן העולם.'' היות והגישה הדדוקטיבית מתעלמת המורכבות הקיום בסביבה אבולוציונית, היא תהפך במשך הזמן ללא משמעותית, כאשר קיומנו יהיה תלויי בניהול רמות מורכבות הרגישות למגוון הולך וגדל של סביבות קיום שונות ומשונות. |
|
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |