בתשובה לדורון שדמי, 06/09/05 23:58
הרחבת מושג הסדר (Ordinal) 328171
לא הבנתי כלום.

תוכל להסביר מה הן "מקביליות" ו"סדרתיות"?
הרחבת מושג הסדר (Ordinal) 328180
תהא X קבוצה. נגדיר ברקורסיה "מצב פנימי" כקבוצה שהיא איבר של X או כקבוצה שהיא איבר של מצב פנימי של X.

נאמר על שני מצבים פנימיים A,B שהם "מקבילים" אם קיים מצב פנימי C כך ש-A,B איברים של C.

נאמר על מצב פנימי B שהוא סדרתי למצב פנימי A אם B הוא איבר של A.

דוגמה למצבים מקבילים: {A,B}

דוגמה למצבים סדרתיים: {{B}} כאשר A={B}.

(ניתן לנסח, כמובן, גם בעזרת עצים ואז "מקבילים" הם בנים של אותה צומת ו"סדרתיים" הם פשוט אב ובן, אבל אני לא בטוח שזה מספיק low-level בשביל דורון. כאן לא השתמשתי בסדר כי לא ברור לי אם דורון באמת מנסה להשתמש בו)
הרחבת מושג הסדר (Ordinal) 328181
או.קיי, תודה.

עכשיו אני יכול לא להבין את תגובה 328032 בכללותה.
הרחבת מושג הסדר (Ordinal) 328190
אני אעבור למונחי עצים כי זה יותר נוח: כל מספר טבעי n יכול להיות מיוצג על ידי כל העצים (הסדורים) בעלי n+1 צמתים. עץ שהוא "שרוך" (כל צומת מדרגה 2) ייקרא "סדרתיות מלאה". עץ מעומק 1 ייקרא "מקביליות מלאה".

אנחנו נוהגים לזהות מספרים רק עם "שרוכים". פעולת העוקב על מספר מתבצעת על ידי הוספת צומת נוסף ל"שרוך". יש לך עוקב - יש לך את אקסיומות פאנו ואת האריתמטיקה. דורון מנסה איכשהו להגדיר פעולות אריתמטיות על עצים באופן כללי (רעיון נחמד - אני זוכר שפעם תהיתי בעצמי האם ניתן לראות קבוצות מסוימות של עצים בתור מרחבים וקטוריים).
הרחבת מושג הסדר (Ordinal) 328196
זהירות.
תכף יבוא דורון ויסביר לך שזה לא אותו דבר, שאתה מתעקש להשתמש בשפה שהיא מוגבלת מדי כדי להבין את הרעיונות שלו, שאתה לכוד בגישה שהאכילו אותך בה בממסד האקדמי, ושהגישה הדדוקטיבית הולכת להעלם מן העולם.
הרחבת מושג הסדר (Ordinal) 336118
''ושהגישה הדדוקטיבית הולכת להעלם מן העולם.''

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

חזרה לעמוד הראשי

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים