בתשובה לעוזי ו., 30/10/05 2:47
סינתיזה 342077
האם אתה יכול לחקור עצים סדורים, במסגרת המתמטיקה הרגילה, כאשר מותר לך להתעלם כמה שמתחשמק לך מכללי היסק (טפו!) ושאפילו מושג הסתירה לא עושה עליך רושם? אם לא, אז למה לך להרוס לשדמי את מסיבת הגן(-אדם)? :-)

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

מצב הסופרפוזיציה אינו קיים בלוגיקת שני המצבים של המתמטיקה הסטנדרטית, כי שניי מצבים שונים *תמיד* מובחנים זה מזה, וכל כללי ההיסק מוגבלים רק ואך ליחס 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
תיקון להודעה קודמת:

במקום:

(F xor T) and (F xor T)

צריך להיות:

(F xor T) xor (F xor T)
סופרפוזיציה 343067
בהמשך לשתיי ההודעות הקודמות:

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

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

קיים מצב xor בין שניי מצבים לא-מובחנים.
סופרפוזיציה 343089
אני לא מבין בסופרפיזיציה, אבל בלוגיקה הבוליאנית
(F xor T) xor (F xor T)
ובכלל
A xor A
שקול לסתירה.
סופרפוזיציה 343180
ממעט הלוגיקה הבוליאנית שאני מכיר 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
אבל זו בדיוק ההגדרה של סתירה: פסוק שערכו "שקר", ללא תלות במבנה.
סופרפוזיציה 343396
סתירה מתקיימת כאשר שניי ערכי-האמת הם סימולטנית דבר והיפוכו.

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

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

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

.____F
| |
| |___T

סופרפוזיציה 343421
למה באמת XOR דווקא? מה הוא מבטא?
סופרפוזיציה 343430
תגובה 326524?
תגובה 327143?
סופרפוזיציה 343432
אני יודע. הדבר המעניין בדיון הזה הוא לא הפסיכולוגיה של שדמי, אלא של המגיבים לו (את עצמי אני עוד יכול להבין, אבל למה עוזי ממשיך?).

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

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

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