בתשובה לדורון שדמי, 27/10/05 16:46
The axiom of extensionality והנחת המבוקש 341499
זה מתסכל שאתה עושה העתק-הדבק של טקסטים מתגובות קודמות, בייחוד שהן כוללות פנייה בגוף שני לאדם אחר (אח של סמיילי).

אם אנחנו אכן לא נזקקים לאקסיומה, כדבריך, הרי שהכלל "ייחוד הקבוצה ע"פ זהות האיברים" חייב לחול בכל מערכת. האם הוא פועל עבור קבצי זיפ? לא. יכולים להיות שני קבצי זיפ *שונים* שיש בהם בדיוק את אותם איברים.
The axiom of extensionality והנחת המבוקש 341501
פשששש. יפה.
The axiom of extensionality והנחת המבוקש 341518
"יכולים להיות שני קבצי זיפ *שונים* שיש בהם בדיוק את אותם איברים."

אם האיברים של הקבצים הנ"ל נמצאים במקומות שונים על ה-HARDDISK שלך, אז אין הם בדיוק אותם איברים.

אם האיברים של הקבצים הנ"ל קיימים פעם אחת בלבד על ה-HARDDISK שלך אז שניי הקבצים הם אותו קובץ.
The axiom of extensionality והנחת המבוקש 341820
האייל האלמוני בתגובה קודמת הוא אני.
The axiom of extensionality והנחת המבוקש 341872
על מה אתה מדבר? השאלה "איפה הקבצים נמצאים על ההארד-דיסק" היא חסרת משמעות. אין שום סיבה שעותק של האיברים בכלל יהיה על ההארד-דיסק. יש אפשרות שקובץ יתקיים בקובץ זיפ בלבד.
The axiom of extensionality והנחת המבוקש 341894
אני חושב שהכוונה היא שהביטים של קובץ הזיפ עצמו (שהם הקבצים המכווצים) צריכים להיות באותו מקום על ההארד דיסק.

כמובן שכל סיפור הזיפים מיותר. פשוט תחשוב על שני מצביעים לאותו מערך בשפת התכנות האהובה עלייך.
The axiom of extensionality והנחת המבוקש 341916
זה יפתיע אותי אם לכך הוא התכוון.
The axiom of extensionality והנחת המבוקש 341935
"זה יפתיע אותי אם לכך הוא התכוון."

מדוע זה מפתיע אותך שלכך אני מתכוון?
The axiom of extensionality והנחת המבוקש 341942
פתאום נזכרתי בתוכנת ELIZA :-)
I: My friend is an idiot.
Eliza: Why do you say your friend is an idiot?

http://www-ai.ijs.si/eliza/eliza.html

דורון, אני אשמח אם נחזור לנושא הדיון: תגובה 341872.
The axiom of extensionality והנחת המבוקש 341951
לא יקירי, אם אתה מתייחס אלי מתוך עמדה של התנשאות, אינך פנוי להבין את דבריי כי אתה עסוק יותר מדיי באגו שלך.

ולכן אשאל אותך בשנית, מדוע אתה חושב שאיני מסוגל להבין את ההבדל שבין קיומם של שניי העתקים בלתי-תלויים (היכולים לעבור שינויים בנפרד) של תוכן זהה, לבין קובץ אחד ויחיד ששני פויינטרים נפרדים מצביעים אליו ( וכל שינוי בקובץ יתבטא בצפייה דרך הפויינטרים, מכיוון שאנו עוסקים בקובץ אחד ויחיד)?

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

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