בתשובה לאביב י., 30/10/05 3:23
סופרפוזיציה 343060
דורון שדמי • בתשובה לאביב י. יום ד', 2/11/2005, 17:06
סופרפוזיציה בין אלנמטים אינה מאפשרת הגדרת חבורת האוטומורפיזמים של האלמנטים, כי הם אינם מובחנים זה מזה (כל איבר נושא את הזהויות של כל-אחד מאיברי הקבוצה).

מצב הסופרפוזיציה אינו קיים בלוגיקת שני המצבים של המתמטיקה הסטנדרטית, כי שניי מצבים שונים *תמיד* מובחנים זה מזה, וכל כללי ההיסק מוגבלים רק ואך ליחס F XOR T או למצב הסתירה הנובע מ- F AND T .

המתמטיקה-המונדית מאפשרת את הרחבת הנ"ל למצב הסופרפוזיציה שבין F ל-T הניתן לייצוג כ:

(F xor T) and (F xor T)

הקורס ל:

(F xor T)

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

אביב ידידנו, חושב לתומו שכללי היסק מוגבלים רק ואך ורק ל- F XOR T או למצב הסתירה הנובע מ- F AND T .
סופרפוזיציה 343061
דורון שדמי • בתשובה לדורון שדמי יום ד', 2/11/2005, 17:12
תיקון להודעה קודמת:

במקום:

(F xor T) and (F xor T)

צריך להיות:

(F xor T) xor (F xor T)
סופרפוזיציה 343067
דורון שדמי • בתשובה לדורון שדמי יום ד', 2/11/2005, 17:28
בהמשך לשתיי ההודעות הקודמות:

(F xor T) xor (F xor T) נראה שקול ל-(F xor T) מזווית הראיה של הלוגיקה-הבוליאנית, כי לוגיקה זו אינה עוסקת בסופרפוזיציה.

את (F xor T) xor (F xor T) יש להבין באופן הבא:

קיים מצב xor בין שניי מצבים לא-מובחנים.
סופרפוזיציה 343089
אח של סמיילי • בתשובה לדורון שדמי יום ד', 2/11/2005, 18:20
אני לא מבין בסופרפיזיציה, אבל בלוגיקה הבוליאנית
(F xor T) xor (F xor T)
ובכלל
A xor A
שקול לסתירה.
סופרפוזיציה 343180
דורון הגלילי • בתשובה לאח של סמיילי יום ה', 3/11/2005, 8:56
ממעט הלוגיקה הבוליאנית שאני מכיר A xor A אינו שקול לסתירה אלא פשוט מחזיר ערך FALSE.
בכל מקרה (F xor T) xor (F xor T) אינו שקול ל F xor T. אם F ו T מייצגים FALSE ו TRUE בהתאמה אזי F xor T הוא T, בעוד (F xor T) xor (F xor T) הוא F, לעומת זאת אם אם F ו T מייצגים שני משתנים אקראיים, אזי F xor T יכול להחזיר ערך TRUE או FALSE, בעוד (F xor T) xor (F xor T) מחזיר תמיד ערך FALSE.
סופרפוזיציה 343377
עומר • בתשובה לדורון הגלילי יום ה', 3/11/2005, 23:21
אבל זו בדיוק ההגדרה של סתירה: פסוק שערכו "שקר", ללא תלות במבנה.
סופרפוזיציה 343396
דורון שדמי • בתשובה לעומר יום ו', 4/11/2005, 1:08
סתירה מתקיימת כאשר שניי ערכי-האמת הם סימולטנית דבר והיפוכו.

כדי להבין את השימוש שאני עושה ב-XOR אציג זאת באופן הבא:

סופרפוזיציה:

|___T XOR F
|
|___T XOR F
|
סימטריה שבורה:

.____F
| |
| |___T
סופרפוזיציה 343421
גדי אלכסנדרוביץ' • בתשובה לדורון שדמי יום ו', 4/11/2005, 7:02
למה באמת XOR דווקא? מה הוא מבטא?
סופרפוזיציה 343430
האייל האלמוני • בתשובה לגדי אלכסנדרוביץ' יום ו', 4/11/2005, 7:33
תגובה 326524?
תגובה 327143?
סופרפוזיציה 343432
גדי אלכסנדרוביץ' • בתשובה להאייל האלמוני יום ו', 4/11/2005, 7:55
אני יודע. הדבר המעניין בדיון הזה הוא לא הפסיכולוגיה של שדמי, אלא של המגיבים לו (את עצמי אני עוד יכול להבין, אבל למה עוזי ממשיך?).

לזכותי ייאמר שבאמת ויתרתי על המחשבה שתצא מכאן תקשורת אמיתית (אם כי הדיון גרם לי להתחיל לחשוב קצת יותר לעומק על כמה מושגים במתמטיקה שנראו לי מובנים מאליהם, וגם זה לטובה).
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות