בתשובה לגדי אלכסנדרוביץ', 09/10/05 0:21
יסודות שפת המתמטיקה 335936
"הבעיה היא שאתה לא מסביר לי למה התחושה הזו שגויה, וכרגיל טוען שמדובר בצרות מוחין של המתדיין איתך שמסרב לנסות להבין."

גדי,

האם אתה מבין שפונקציה הינה בדיוק הגישור של התודעה שלך בין רצף לאוסף, כאשר הגישור מגדיר ON THE FLY את איברים שהוא בוחן, וכי לא קיים אוסף איברים מובחנים במנותק מהפונקציה המגדירה אותם?

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

במילים אחרות, שאלת גודלו של אוסף אינה תלויה כלל בתכונותיהם של מרכיביו, ולכן יש להבין את מושג האוסף האינסופי באופן שאינו תלוי בתכונות האיברים של אוסף כלשהו.

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

אוליי הפעם תועיל בטובך לעיין בכל הכתוב ב-http://www.createforum.com/phpbb/viewtopic.php?t=45&... שבו מוסבר בבירור מדוע אין לאוסף אינסופי פונקציית זהות עצמית (ודאת להבדיל מאוסף סופי).
יסודות שפת המתמטיקה 335944
"We know that in order to define 0 and 1 we need to define {} as the successor of itself."

כבר השורה הראשונה בקישור שלך מכילה אמירה מאוד לא ברורה (*למה* צריך להגדיר את {} כעוקב של עצמו? מאיפה "אנחנו יודעים" את זה?). אני חסר את היכולת לקרוא את כל מה שכתוב שם, כנראה.

"האם אתה מבין שפונקציה הינה בדיוק הגישור של התודעה שלך בין רצף לאוסף, כאשר הגישור מגדיר ON THE FLY את איברים שהוא בוחן, וכי לא קיים אוסף איברים מובחנים במנותק מהפונקציה המגדירה אותם?"

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

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

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