בתשובה לאביב י., 01/06/07 21:32
באג בדיזיין, זין בדיבאג 445826
חשבתי שב''קריסה'' הכוונה לא לתקלת חומרה (שבה מטפלים עם גיבוי), אלא לתקלת זמן-ריצה, למשל חלוקה באפס. תקלות כאלו מכריחות אתחול של התוכנית, אבל לא מחיקה של הנתונים.

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

אני צופה בעיה דומה גם ב"שיגור" למחשבים. חוסר התוחלת שבטיעוני הנגד דומה לחוסר התוחלת שבטיעון נגד "בני אדם הם לא מכונת טיורינג" - אתה לא יכול להביא לי שום אישוש לכך, אבל תמיד אפשר לחשוב "ואולי יש משהו מעבר?"

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

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

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

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

אגב, למה אי אפשר לשכפל מצבים קוואנטיים? בגלל עקרון אי הודאות?
באג בדיזיין, זין בדיבאג 445892
אי אפשר לשכפל מצבים קוונטים כי תהליך קוונטי חייב להיות אחד משניים: טרנספורמציה אוניטרית או מדידה. שכפול של מצב קוונטי כלשהו הוא לא זה ולא זה.
445899
מה עם הטרנספורמציה האוניטרית (U(x)=(x,x, ממרחב V לסכום הישר של שני עותקים שלו?
445914
אני לא בטוח שהבנתי למה אתה מתכוון, אבל נדמה לי שזאת ההעתקה
U(ax+by)=a(x,x)+b(y,y)
ולא
U(ax+by)=(ax+by,ax+by)
445937
הבעיה היא שמדובר בטרנספורמציה בין שני מרחבים שונים, דבר שלא כל כך קביל במכניקת הקוונטים. אתה צריך להגדיר מרחב חדש שכולל את את V וגם את הסכום הישר שלו עם עצמו, וכמובן, בגלל שהגדרת את הטרספורמציה כחוקית, גם בסדרים גבוהים יותר. אחרי זה צריך שגם במרחב כזה יהיה מדובר על טרנספורמציה אוניטרית.
446170
בניגוד למה שנאמר כאן, מכניקת הקוונטים מכירה בפעולה של הוספת חלקיק למערכת קיימת. לפעמים קוראים לזה סופר-אופרטור, והוא בהחלט יכול להיות לא אוניטרי. כמובן, שניתן להביט במערכת גדולה יותר, שבה הפעולה הייתה אוניטרית (ובסך הכל חלקיק עבר ממקום למקום), אבל זו לא חובה.

הבעיה העיקרית עם הטרנספורמציה של עוזי היא חוסר לינאריות, ונראה לי שלכך התכוון איזי: אם
U(x) = (x,x)
U(y) = (y,y)‎
אז מלינאריות צריך להתקיים
U(x+y) = (x,x)+(y,y)‎
שזה מאוד שונה ממה שאנו מצפים משכפול:
(x+y,x+y)=(x,x)+(x,y)+(y,x)+(y,y)
446182
לא הבנתי את השורה האחרונה שלך, למה אתה מצפה דווקא את זה משכפול?
446188
השורה האחרונה באמת לא הייתה ברורה. אם יש לי חלקיק קוונטי במצב שהוא סופרפוזיציה של x ו-y, אני מצפה ששכפול שלו ייתן שני חלקיקים במצב שהוא הסופרפוזיציה הזו. בכתיב של עוזי, אנו מצפים ש-

U(x+y)=(x+y,x+y)‎

אבל, כפי שכתבתי בשורה הלא ברורה, המצב הזה איננו זהה כלל למצב שנובע מהלינאריות של U. הבדל אדיר בינהם הוא ש-
(x+y,x+y) הוא מצב מקומי, ואילו (x,x)+(y,y) הוא "מצב חתול" עם המון entanglement.
446191
מצטער, לא הצלחתי לעקוב אחרי הטיעון שלך. מה הבעיה עם זה ש:
U(x+y) = (x+y,x+y) = (x,x) + (y,y)
מה זה מצב חתול?
446193
הבעיה היחידה היא שאני אידיוט, שלא מבדיל בין סכום ישר למכפלה טנזורית. אני אלך לפינה להתבייש.

מן הפינה, אשתדל לחזור על הטיעון. נביט בשני חלקיקים במצב ψ כל אחד. במכניקת הקוונטים, המצב של המערכת המשותפת שלהם נכתב כ-ψ⊗ψ, המכפלה הטנזורית של שני המצבים.‏
מכונת שכפול U צריכה לקבל ψ ולפלוט ψ⊗ψ, אך היא גם צריכה להיות לינארית. כלומר, מצד אחד,
U(x+y)=(x+y)⊗(x+y)=x⊗x+x⊗y+y⊗x+y⊗y‎
(השוויון השני על פי כללי המכפלה הטנזורית) אך מצד שני
U(x+y)=U(x)+U(y)=x⊗x+y⊗y‎

"cat state" זה כינוי למצבו החי-מת של החתול של שרדינגר. אם y מייצג תא-חתולי חי, ו-x מייצג תא-חתולי מת, x⊗x⊗x⊗x⊗x⊗x⊗x+y⊗y⊗y⊗y⊗y⊗y מייצג את החתול המפורסם.
446195
הבנתי, אבל אני חושב שההצעה של עוזי היא סכום ישר ולא מכפלה טנזורית בכוונה. ז''א, בהצעה שלך אתה מכפיל את החלקיק בעזרת אופרטור יצירה בהצעה שלו הוא מכפיל את המרחב, ויוצר מרחב כפול (שלמיטב הבנתי זהה מבחינת אפשרויות המדידה למרחב הבודד).
446213
ברור לי שאני טועה כאן, ולא עוזי. לכן אני עדיין בפינה.

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

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

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

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

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

האייל כותב ''אבל התכונה החשובה ביותר של שכפול חלקיק, היא שניתן למדוד כל אחד מהעותקים באופן בלתי-תלוי.'' ברור שאנחנו לא יכולים ליצור חלקיק יש מאין, לכן אני הבנתי את שיכפול החלקיק כמתן תכונות זהות לחלקיק אחר, זו פעולה דומה לשזירה.
446207
מה מסמן "⊗"?
446214
מכפלה טנזורית בין וקטורי מצב

מכניקת הקוונטים קובעת שמצב של מערכת ניתן לתיאור על ידי וקטור. נאמר x. נאמר גם שערכת שנייה מתוארת ע"י וקטור אחר, y.
המערכת הכללית, גם היא קוונטית, ולכן גם היא ניתנת לתיאור על ידי וקטור. הווקטור הזה ארוך יותר, ותלוי רק בx ובy, ולינארי בשניהם, וניתן לחשב אותו: על ידי חישוב המכפלה y⊗x
446228
תודה.
באג בדיזיין, זין בדיבאג 445909
?
באג בדיזיין, זין בדיבאג 446165
אשר פרס המנוח סיפר שעיתונאי שאל אותו בדיוק את השאלה הזו:

When a reporter once asked Asher if quantum teleportation would be able to teleport Scotty’s soul too, Asher answered, characteristically, No, not the body, just the soul.
באג בדיזיין, זין בדיבאג 446189
ואולי כדאי להזכיר שפרופ' פרס הוא אחד המחברים של המאמר המפורסם על טלפורטציה קוונטית.

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

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

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

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

את אלו אפשר לזכור ולגבות אם התוכנית נתקלת בתקלה כמו "חלוקה באפס". אם פתאום פוגע ברק במחשב אי אפשר לשחזר את זה - ולכן צריך לבצע גיבויים למצב התוכנית לעתים תכופות מאוד (כנראה על ידי מנגנון גיבוי ברמת החומרה) - אבל כאמור, זה לא מה שמדאיג אותי; אם פגע ברק במחשב, זה אומר שהתוכנה רצה בצורה תקינה ואפשר להמשיך מאותו מקום (או קצת לפני זה). לעומת זאת, אם התוכנית ביצעה חלוקה באפס, זה אומר שהריצה עצמה מגיעה למבוי סתום גם בלי גורם חיצוני שיהרוס אותה.
באג בדיזיין, זין בדיבאג 446088
באלגוריתם שיסמלץ מוח אנושי, לא סביר שבעיות כאלו יגרמו לנזק משמעותי. במוח, רמות הגיבוי, היתירות והמקבול הן מדהימות. למעשה המוח האנושי מתמודד עם נזקים הרבה יותר משמעותיים מתקלה לוקאלית במהלך הריצה - לדוגמא מוות של מיליוני נוירונים כתוצאה מאלכוהול או סתם בלאי טבעי, "דיכוי" או "הצפה" של זרמים בין נוירונים (כתוצאה משימוש בסמים, למשל, אממ, אלכוהול). ההשפעה של הנזקים הללו היא שולית (במקרה הקטסטרופלי, אובדן זכרון לטווח קצר).
כמובן שרצוי לגבות את הזכרון אחת ליום (של האדם המסומלץ) - אבל ממילא לא סביר ש-state שמייצג 10 בחזקת 15 סינפסות ישבו אך ורק בזכרון נדיף לתקופות ממושכות מדי.

__________
ההודעה נכתבה תחת השפעת אלכוהול
באג בדיזיין, זין בדיבאג 446106
נכון, אלא שהמוח בסוף מתחיל לעשות צרות. אז אם אנחנו רוצים להחליף אותו במשהו, לא כדאי לסמוך על ''המוח מתמודד''.
באג בדיזיין, זין בדיבאג 446116
אני נוטה להסכים עם אייל, אפשר לראות את המוח בתור אוסף גדול של שגרות שמוכרחות להחזיר ערך עבור כל קלט (or die "div 0" למשל) ויודעות להתמודד כך למעשה עם כל בעיה. יציאה של המוח משווי משקל זה דבר שקורה כתוצאה מובנית של התוכנה, התקף פסיכוטי למשל, זה לא משהו שאפשר לתקן בלי לשנות באופן יסודי את מהות האדם.
הצרות שהמוח עושה בסוף הן תוצאה של הזדקנות החומר, חלבונים פגומים שנצטברו, נזקים מרדיקלים חופשיים וכד', אין לזה קשר לסימלוץ.
באג בדיזיין, זין בדיבאג 446117
השאלה היא האם "הצרות שהמוח עושה בסוף"‏1 הן אכן תוצאה של בלאי בחומרה, או שהן חלק מובנה בתוכנה, ובהנתן זמן ריצה מספיק‏2, כל אחד יגיע אליהן.
___
1 יש כאלה שהסוף הזה אצלם הוא בשנות ה 40 לחייהם, יש כאלה שבשנות ה 80, ויש כאלה שמתקרבים ל100 מבלי שאותן צרות יופיעו.
2 במילים אחרות - אם שום דבר אחר לא יהרוג אותך קודם.
באג בדיזיין, זין בדיבאג 446147
אני אנסה להתייחס גם לגדי, בגלל שהנושאים שלובים.
יש שתי קבוצות עיקריות של "צרות", מחלות נפש, סכיזופרניה, OCD מאניה דיפרסיה וכד', שמופיעות בד"כ בתקופה בה המוח עוד לא סיים להתפתח (עד גיל 25 בערך) ומחלות ניורודגנרטיביות או פגיעות קוגניטיביות שהשכיחות שלהן עולה עם הגיל בד"כ עם הזיקנה.
הקבוצה הראשונה נובעת מבעיה שנוצרה בהתפתחות המוח, כתוצאה משילוב של גורמים גנטיים וסביבתיים. אי אפשר לנסות לפתור את הבעיה בלי לרדת לרמת ה"תוכנה" ולנסות להבין את המוח (חלק מהמחלות הללו גם אינן מוגדרות היטב, הפרעת אישיות גבולית למשל, כשמה כן היא, גבולית).
הקבוצה השניה נובעת מבעיות חומרה, התלות בזמן מראה שזו לא בעיה שיכולה לצוץ בכל רגע ולכן קיימת יותר בזקנים, אלא משהו שתוקף בגיל מבוגר. בחלק מהמקרים גם ידוע על חלבונים שמצטברים בגיל מבוגר ופוגעים בתפקוד.
מוות של תאים הוא תהליך טבעי והכרחי (תינוק מאבד בערך חצי מתאי המוח שלו תוך כדי שהוא לומד לתקשר עם העולם), אם כי קצב היצירה (שנמשכת גם בגיל מבוגר) והתמותה גורמים לכך שהיכולת ללמוד נפגמת עם הגיל. יכול להיות שגם כאן ישנו גבול, אבל עד כמה שאני יודע פגיעה קוגניטיבית רצינית בזקנה לא נובעת רק ממוות *נורמלי* של תאים, זה פשוט לא קורה מהר מספיק.
מכל מקום, הצטברות חלבונים ופגיעה בתפקוד התא בגיל מבוגר זה לא מסוג הבעיות שיצוצו אם מנסים לסמלץ את המוח, החלק הזה, שהוא לעניות דעתי השורש של הזדקנות המוח, כן נפתר באופן מלא ע"י החלפת חומרה.
באג בדיזיין, זין בדיבאג 446120
חשבתי שצרות (לא בהכרח *ה*צרות) נגרמות בגלל שתאי מוח חיוניים רבים מתו במהלך השנים ולא זכו לתחלופה הולמת.
באג בדיזיין, זין בדיבאג 446121
ברור שזה גורם צרות רציני, אבל יש כמובן גם גורמים נוספים...

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

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