< Return to Video

בראשית היה הקוד | יורגן שמידהובר | TEDxאוניברסיטת-האסלט

  • 0:06 - 0:10
    שלושה אסירים נשפטו למוות.
  • 0:10 - 0:11
    אחד מהם צרפתי,
  • 0:11 - 0:13
    השני גרמני
  • 0:13 - 0:16
    והשלישי - בלגי.
  • 0:17 - 0:20
    "מהי בקשתך האחרונה?"
    שאלו את הצרפתי.
  • 0:20 - 0:22
    הוא אומר,
  • 0:22 - 0:27
    "בקבוק יין צרפתי משובח."
  • 0:27 - 0:29
    "מהי בקשתך האחרונה?"
    שאלו את הגרמני.
  • 0:29 - 0:31
    הוא אומר,
  • 0:32 - 0:36
    (מבטא גרמני עז):
    "אני רוצה לשאת נאום!"
  • 0:40 - 0:43
    "מהי בקשתך האחרונה?"
    שאלו את הבלגי.
  • 0:43 - 0:44
    הוא אומר,
  • 0:45 - 0:48
    "אני מבקש שתירו בי
    לפני שהגרמני יתחיל לנאום."
  • 0:48 - 0:50
    (צחוק)
  • 0:50 - 0:56
    (מחיאות כפיים)
  • 0:57 - 1:00
    לצערכם,
    מבחינתכם מאוחר מדי.
  • 1:00 - 1:01
    (צחוק)
  • 1:04 - 1:10
    הנאום שלי יעסוק בהסבר
    הפשוט ביותר של היקום.
  • 1:11 - 1:14
    היקום מתנהג לפי חוקים משונים:
  • 1:14 - 1:17
    תורת היחסות הכללית של איינשטיין,
  • 1:17 - 1:20
    הפיזיקה הקוונטית של פלנק.
  • 1:21 - 1:23
    אבל ייתכן שהוא מוזר
    מכפי שאתם סבורים,
  • 1:23 - 1:27
    ואולי גם פשוט
    מכפי שאתם סבורים.
  • 1:29 - 1:34
    מדענים רבים מתייחסים כיום ברצינות
    לאפשרות שהמציאות כולה
  • 1:34 - 1:38
    מחושבת באיזו תוכנת מחשב קצרה,
  • 1:38 - 1:44
    כפי שטען לראשונה ב-1976
    קונראד סוזה.
  • 1:44 - 1:49
    אותו קונראד סוזה שב-1935,
  • 1:49 - 1:53
    או מ-1935 ועד 1941,
  • 1:53 - 1:57
    בנה את המחשב הרב-תכליתי
    המתפקד הראשון הנשלט בתוכנה.
  • 1:58 - 2:04
    הרעיון הוא שכל אלקטרון
    מתנהג באותה הדרך,
  • 2:04 - 2:11
    כי ביסודו של דבר, כל האלקטרונים
    משתמשים שוב ושוב באותה פיסת קוד,
  • 2:11 - 2:13
    באותה תת-שגרה, שוב ושוב.
  • 2:14 - 2:17
    כדי שזה יישמע סביר,
    חישבו על משחק מחשב
  • 2:17 - 2:20
    עם הדמיה מציאותית, תלת-מימדית.
  • 2:23 - 2:26
    התוכנה שמגדירה את חוקי המשחק
  • 2:26 - 2:29
    היא סדרה של אפסים ואחדות
    במחשב שלכם.
  • 2:29 - 2:32
    כשמסתכלים בתוכנה הזאת,
    לא רואים מה היא עושה.
  • 2:32 - 2:35
    צריך להפעיל אותה
    כדי לחוות זאת.
  • 2:36 - 2:43
    נכון שרמת ההפרדה של המציאות
    גבוהה יותר מאשר במשחקי מחשב.
  • 2:44 - 2:47
    אבל עוד מעט
    כבר לא תראו שום הבדל,
  • 2:48 - 2:51
    כי ההדמיות הולכות ומשתפרות
  • 2:51 - 2:57
    במקדם של 1,000 לעשור
    וגם בפרנקים שוויצריים.
  • 2:57 - 3:01
    בכל מקרה, תוך כמה עשורים
    נגיע למקדם של מיליארד.
  • 3:03 - 3:05
    זה אומר שעוד מעט נוכל
  • 3:05 - 3:10
    לדמות כל דבר בשמיים ובארץ
    באופן משכנע.
  • 3:10 - 3:12
    ובמהרה ייראה סביר מאד
  • 3:12 - 3:16
    שגם המציאות כולה היא הדמיה.
  • 3:18 - 3:21
    לאדם עם פטיש,
    כל דבר נראה כמו מסמר.
  • 3:21 - 3:26
    לאדם עם מחשב,
    כל דבר נראה כמו חישוב.
  • 3:26 - 3:28
    הספקן אולי ישאל,
  • 3:29 - 3:31
    "מה עם פיזיקת הקוונטים,
  • 3:31 - 3:33
    "ועקרון אי-הוודאות של הייזנברג
  • 3:35 - 3:37
    "ועקרון אי-השוויון של בל?
  • 3:37 - 3:39
    "האין הדברים האלה מוכיחים
  • 3:41 - 3:44
    "שהיקום איננו ניתן לחישוב
  • 3:44 - 3:47
    "באיזו תוכנת מחשב דטרמיניסטית?"
  • 3:47 - 3:49
    והתשובה הקצרה היא,
    "בכלל לא."
  • 3:49 - 3:56
    למשל, בל עצמו ידע היטב
    שיקום מתוכנת מראש
  • 3:56 - 4:01
    עם צופים מתוכנתים מראש כמונו
  • 4:02 - 4:07
    תואם לגמרי לכל התצפיות
    הפיזיקליות הקיימות.
  • 4:07 - 4:10
    אין שום ראיה פיזיקלית
    שסותרת אפשרות זאת.
  • 4:13 - 4:15
    לפני שבאתי הנה,
  • 4:15 - 4:18
    חשבתי זאת תהיה
    סתם עוד הרצאת TEDx,
  • 4:18 - 4:19
    ושלא יהיה הרבה קהל,
  • 4:19 - 4:23
    אבל ממה שאני מורגל בו,
    אתם קהל גדול.
  • 4:26 - 4:30
    לפני כמה ימים נתתי הרצאה
    ובקהל ישב אדם אחד בלבד.
  • 4:30 - 4:31
    (צחוק)
  • 4:32 - 4:34
    גברת צעירה אחת.
  • 4:34 - 4:37
    אמרתי, "גבירתי הצעירה,
    זה מביך מאד,
  • 4:37 - 4:41
    "אבל מסתבר שהיום
    אני מרצה רק עבורך."
  • 4:42 - 4:43
    היא אמרה,
  • 4:44 - 4:46
    (חיקוי של אישה) "בסדר,
    אבל תמהר בבקשה.
  • 4:47 - 4:48
    "אני צריכה לנקות כאן."
  • 4:48 - 4:51
    (צחוק)
  • 4:51 - 4:54
    (מחיאות כפיים)
  • 4:56 - 5:01
    בשנות ה-80 של המאה ה-20,
    כשאחי היה מתבגר במינכן,
  • 5:01 - 5:04
    הוא אמר לי ולכל מי שפגש
  • 5:04 - 5:09
    שהיקום, או ריבוי היקומים הקוונטי,
  • 5:10 - 5:13
    הוא סיכום כל המתמטיקה.
  • 5:15 - 5:20
    הוא היה צעיר ממני
    - אחי עדיין צעיר ממני -
  • 5:22 - 5:23
    והוא היה גם חכם ממני.
  • 5:23 - 5:27
    הוא נעשה לפיזיקאי תיאורטי,
  • 5:27 - 5:31
    תחילה במינכן ואחר בקאל-טק,
    בפרינטסון, ב"סרן" (CERN),
  • 5:31 - 5:36
    הוא גר בברן,
    ליד הבית בו גר איינשטיין.
  • 5:37 - 5:39
    לא באותם זמנים.
  • 5:43 - 5:45
    "סיכום כל המתמטיקה."
  • 5:45 - 5:47
    למשך זמן-מה,
    לא לגמרי הבנתי מה זה אומר,
  • 5:47 - 5:50
    אבל אז, ב-1996,
  • 5:50 - 5:56
    הצלחתי לכתוב נוסחה של הרעיון הזה,
    בעזרת חישוב,
  • 5:57 - 6:04
    שהראה שאפשר להסיק
    לגבי תיאוריית ריבוי היקומים של אוורט,
  • 6:05 - 6:09
    שהראה שקיימת תוכנה קצרה ביותר,
  • 6:09 - 6:13
    תוכנה קצרה ומהירה
    שלא רק מחשבת את היקום הזה...
  • 6:13 - 6:14
    אם הוא ניתן לחישוב,
  • 6:14 - 6:16
    אלא שגם אין כל ראיה
    שמפריכה אפשרות זו...
  • 6:16 - 6:17
    לא רק לגבי היקום הזה
  • 6:17 - 6:21
    אלא גם לכל היקומים
    האפשריים מבחינה לוגית,
  • 6:21 - 6:26
    כולל אלה עם חוקי פיזיקה שונים;
  • 6:26 - 6:30
    למשל, יקומים שיש בהם
    אנטי-כבידה.
  • 6:31 - 6:36
    למעשה, קיימת דרך מיטבית
    מבחינה מתמטית,
  • 6:36 - 6:40
    שהיא הכי מהירה ויעילה ביותר
    לחישוב כל היקומים האפשריים,
  • 6:40 - 6:44
    כל היקומים האפשריים מבחינה לוגית
    והניתנים לחישוב;
  • 6:44 - 6:48
    דרך מיטבית וטובה
    מכל דרך אחרת.
  • 6:49 - 6:50
    כתבתי אותה בשבילכם.
  • 6:50 - 6:52
    היא כוללת
    עשר שורות קוד בלבד;
  • 6:52 - 6:53
    [קח את הגלולה הכחולה]
  • 6:53 - 6:55
    די בפיסת נייר קטנה.
  • 6:55 - 6:57
    עשר שורות קוד:
  • 6:57 - 7:02
    הדרך המיטבית לדמות או לחשב
    כל יקום אפשרי מבחינה לוגית.
  • 7:05 - 7:07
    זה עובד ככה:
  • 7:07 - 7:12
    עקרונית, התוכנה ממספרת בשיטתיות
    את כל התכניות האפשריות
  • 7:12 - 7:18
    ואז היא מקצה זמן ריצה
    לכל התכניות באופן מיטבי
  • 7:18 - 7:22
    שמוודא שההיסטוריה
    של כל יקום אפשרי
  • 7:22 - 7:26
    מחושבת באותה מהירות כאילו חושבה
  • 7:26 - 7:31
    ע"י התוכנה הכי מהירה באותו יקום,
    שבד"כ איננו מכירים אותה מראש.
  • 7:32 - 7:36
    מהיר יותר, למשל, במקדם קבוע
  • 7:36 - 7:40
    שאיננו תלוי בגודל ההיסטוריה
    של אותו יקום עד כה,
  • 7:40 - 7:43
    כשהיקום עצמו עשוי להיות אינסופי.
  • 7:44 - 7:49
    כל מתכנת דגול דמוי-אלוהים
    שמכבד את עצמו
  • 7:50 - 7:52
    צריך להשתמש בשיטה המיטבית הזאת
  • 7:52 - 7:58
    כדי לברוא את כל היקומים האפשריים
    מבחינה לוגית ולהיות אדונם.
  • 7:58 - 8:00
    אינכם צריכים להשתמש
    בשיטות תת-מיטביות.
  • 8:00 - 8:02
    זאת השיטה בה כדאי לכם להשתמש.
  • 8:03 - 8:05
    אם יעשה זאת,
  • 8:07 - 8:10
    הרי שכעבור זמן-מה
  • 8:10 - 8:15
    רבים מהיקומים המחושבים
    בשיטה המיטבית הזאת
  • 8:16 - 8:19
    יכילו עותקים שלך
  • 8:20 - 8:22
    וגם שלך,
  • 8:22 - 8:27
    אתם שמביטים בי במבט לא מאמין.
  • 8:32 - 8:36
    תוכלו להיעשות בעצמכם
    למתכנתים מעולים
  • 8:36 - 8:38
    אם תקחו את פיסת הקוד הזאת
  • 8:38 - 8:44
    תתכנתו אותה במחשב שלכם
    ותדמו את כל היקומים האפשריים.
  • 8:46 - 8:49
    לאור תכונותיה של השיטה המיטבית,
  • 8:51 - 8:54
    קל לראות שבנקודה נתונה בזמן
  • 8:54 - 8:57
    רוב העותקים שלכם,
  • 8:57 - 9:00
    ביקומים שמכילים עותקים של חייכם,
  • 9:02 - 9:06
    יתקיימו הודות לאחת התוכניות
    הכי מהירות וקצרות
  • 9:06 - 9:08
    שתואמת לקיום שלכם.
  • 9:09 - 9:13
    התובנה הפשוטה הזאת מאפשרת לנו
    להפיק תחזיות לגבי העתיד.
  • 9:14 - 9:18
    יש הרבה עתידים אפשריים
    של חייכם עד עתה.
  • 9:18 - 9:20
    איזה מהם יתגשם?
  • 9:21 - 9:24
    תשובה: הכי סביר שזה יהיה
  • 9:24 - 9:27
    אחד ממעט העתידים הרגילים
    ולא-אקראיים
  • 9:27 - 9:31
    שניתן לחשב בעזרת
    תוכנה מהירה וקצרה.
  • 9:31 - 9:37
    כי אקראיות, דברים אקראיים,
    שבהם הכל מתמוסס לפתע למשהו שרירותי,
  • 9:37 - 9:40
    במהותם, קשים יותר לחישוב
    מדברים רגילים,
  • 9:40 - 9:43
    אפילו בשיטה המיטבית.
  • 9:47 - 9:52
    זה אומר שדעיכת בטא,
    דעיכת הניוטרונים,
  • 9:54 - 9:58
    שרבים מאמינים באקראיותה,
    אינה יכולה באמת להיות אקראית.
  • 9:58 - 10:03
    עליה להיות אקראית-לכאורה,
    ממש כמו הפיתוח העשרוני של פיי,
  • 10:03 - 10:05
    שנראה אקראי,
    אך אינו כזה,
  • 10:06 - 10:10
    כי ניתן לחשבו
    בעזרת תוכנה קצרה.
  • 10:13 - 10:15
    אחת התוצאות של שיטה מיטבית
    לחישוב של הכל
  • 10:15 - 10:22
    היא גם שהחישוב הקוונטי
    לא יפעל היטב.
  • 10:25 - 10:30
    וזה משום שהוא צורך
    כוח מיחשוב מסורתי כה רב.
  • 10:30 - 10:34
    השמעתי את התחזית הזאת
    לפני 12 שנה,
  • 10:34 - 10:39
    ומאז לא היתה התקדמות רבה
    במיחשוב הקוונטי המעשי.
  • 10:42 - 10:46
    אז רעיון המחשב הקוונטי
    הוא סקסי, אבל הוא מת.
  • 10:46 - 10:49
    מה עם רצון חופשי?
  • 10:49 - 10:52
    הרצון החופשי זוכה להערכה מופרזת.
  • 10:53 - 10:58
    במעבדה שלי,
    מעבדת התבונה המלאכותית השווייצרית,
  • 10:58 - 11:04
    אנו מרבים לתכנת עולמות מדומים
  • 11:04 - 11:08
    המאוכלסים בהדמיות של נציגים
  • 11:08 - 11:11
    שמופעלים ע"י הדמיות
    של מוחות מלאכותיים
  • 11:11 - 11:15
    המכילים הדמיות
    של רשתות עצביות מלאכותיות.
  • 11:15 - 11:18
    בהתחלה הם די מטומטמים,
  • 11:21 - 11:23
    ועם הזמן הם הולכים ומחכימים;
  • 11:23 - 11:29
    בתהליך ניסוי-וטעייה אקראי-לכאורה
    הם לומדים לפתור בעיות
  • 11:29 - 11:33
    שלא יכלו לפתור מראש, בהתחלה.
  • 11:35 - 11:37
    אין להם מושג
  • 11:37 - 11:41
    שכל מחשבה ומחשבה
    במוחותיהם המלאכותיים והקטנים
  • 11:42 - 11:44
    וברשתות העצביות המלאכותיות הקטנות
  • 11:44 - 11:45
    שבמוחותיהם
  • 11:45 - 11:52
    חושבו כולן מראש
    בידי תוכנת מחשב
  • 11:52 - 11:56
    שאין לה שום היבטים אקראיים.
  • 11:59 - 12:01
    ועם זאת, מדעי המחשב,
  • 12:01 - 12:07
    וכל קו החשיבה שאני מנסה לתאר
    בתוך 15 דקות,
  • 12:08 - 12:11
    מציע כעת תשובות מתמטיות פורמליות
  • 12:11 - 12:16
    לכל שאלות הפילוסופיה והתיאולוגיה.
  • 12:17 - 12:22
    למשל, אחת התוצאות
    של התיאולוגיה המיחשובית הזאת
  • 12:22 - 12:25
    היא שחייכם האישיים
    הם מן הסתם חשובים מאד
  • 12:25 - 12:28
    בתמונה הכוללת של הדברים.
  • 12:28 - 12:31
    אולי נראה לכם
    שלחייכם אין חשיבות
  • 12:31 - 12:34
    כי אתם כה קטנים
    והיקום כה גדול,
  • 12:34 - 12:39
    אבל לאור הדרך המיטבית
    של החישוב של הכל
  • 12:39 - 12:44
    והתפלגות ההסתברויות
    שנובעת מדרך מיטבית זו,
  • 12:46 - 12:52
    ייתכן שקשה מאד למחוק בעריכה
    את חייכם מההיסטוריה הזאת,
  • 12:52 - 12:55
    מההיסטוריה הנוכחית של היקום הזה,
  • 12:56 - 12:59
    כי התוכנה שמחשבת יקום זה
  • 12:59 - 13:01
    או יקום שדומה לו מאד,
  • 13:01 - 13:05
    בלעדיכם ובלי חייכם,
    עם כל המעלות והמורדות שלהם,
  • 13:05 - 13:11
    היא כנראה ארוכה בהרבה
    ולכן איטית בהרבה מהתוכנה המקורית,
  • 13:12 - 13:16
    שכוללת את חייכם,
    ואלה שלובים באופן מוחלט
  • 13:16 - 13:19
    בכל דבר אחר שקורה
    בעולם בר-החישוב הזה,
  • 13:19 - 13:22
    אם הוא אכן בר-חישוב.
  • 13:23 - 13:27
    אז חייכם, מנקודת מבט זו,
    אינם חסרי-חשיבות.
  • 13:27 - 13:31
    הם חלק בלתי-נפרד
    מהתמונה הכוללת.
  • 13:31 - 13:36
    זה תואם לדתות
    שטוענות שהכל הוא אחד
  • 13:36 - 13:39
    ושהכל קשור להכל.
  • 13:39 - 13:45
    מי ייתן ומחשבה זו תרומם את נפשכם
    בזמנים של תסכול.
  • 13:48 - 13:53
    ברצוני להודות למארגנים
    על מלאכתם המעולה
  • 13:54 - 13:55
    ועל ההמחאה,
  • 13:55 - 13:59
    שבעזרתה אממן
    את השכלתם של ילדי.
  • 14:00 - 14:04
    ברצוני להודות לאימי, לאבי
    ולמתכנת הדגול,
  • 14:04 - 14:07
    שבלעדיהם
    כל זה לא היה מתאפשר.
  • 14:08 - 14:14
    ברצוני להודות לילדי, שבלעדיהם,
    כל זה לא היה נחוץ.
  • 14:14 - 14:16
    (צחוק)
  • 14:17 - 14:20
    וברצוני להודות לכם, קהל חביב,
    על סבלנותכם.
  • 14:21 - 14:24
    (מחיאות כפיים)
Title:
בראשית היה הקוד | יורגן שמידהובר | TEDxאוניברסיטת-האסלט
Description:

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

יורגן שמידהובר מכהן כיו"ר Swiss Artificial Intelligence Lab, IDSIA (מאז 1995), מרצה לתבונה מלאכותית באוניברסיטת לוגאנו שבשווייץ מאז 2009, ופרופסור למדעים שימושיים ואמנויות באוניברסיטה האיטלקית של שווייץ (SUSPI) מאז 2003.

בתרגום זה:
מעבדת התבונה המלאכותית השוויצרית - Swiss Artificial Intelligence Lab, IDSIA

הרצאה זו ניתנה באירוע TEDx מקומי שהופק בפורמט TED באופן עצמאי ע"י קהילה מקומית. למידע נוסף: http://ted.com/tedx

more » « less
Video Language:
English
Team:
closed TED
Project:
TEDxTalks
Duration:
14:27

Hebrew subtitles

Revisions