|
"We know that in order to define 0 and 1 we need to define {} as the successor of itself."
כבר השורה הראשונה בקישור שלך מכילה אמירה מאוד לא ברורה (*למה* צריך להגדיר את {} כעוקב של עצמו? מאיפה "אנחנו יודעים" את זה?). אני חסר את היכולת לקרוא את כל מה שכתוב שם, כנראה.
"האם אתה מבין שפונקציה הינה בדיוק הגישור של התודעה שלך בין רצף לאוסף, כאשר הגישור מגדיר ON THE FLY את איברים שהוא בוחן, וכי לא קיים אוסף איברים מובחנים במנותק מהפונקציה המגדירה אותם?"
אני לא מסכים שפונקציה היא גישור בין רצף ואוסף. למשל, פונקצית הזהות מהטבעיים לעצמם (שעליה אני מסוגל לחשוב באופן אינטואיטיבי) נראית לי כמגשרת בין אוסף לאוסף, לא בין "רצף" (במשמעות שאותה הגדרת: איבר אי פריק) ואוסף.
|
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש