- פיזיקאים טוענים כי המציאות אינה ניתנת לשחזור באמצעות אלגוריתמים, ומטילים ספק בהשערת היקום המדומה.
- העבודה משלבת כבידה קוונטית ומשפטים לוגיים כגון משפט אי-השלמות של גדל.
- המחברים טוענים שישנם היבטים של המציאות שאינם ניתנים לחישוב על ידי אף מכונה.
- הדיון צובר תאוצה באירופה ובספרד, עם קריאות לבדיקה ובדיקות נוספות.
במשך שנים, ה- ההשערה שאנחנו חיים בתוך סימולציה זה נדון בדיונים, בפורומים ובמעבדות. כעת, מאמר שנכתב על ידי מספר פיזיקאים מציג אלמנט מתמטי שלדברי מחבריו, זה משאיר את הרעיון של "יקום מדומה" ללא בסיס חישובי..
הצוות, בראשות מיר פייזל (UBC Okanagan) ובשיתוף פעולה של לורנס מ. קראוס, ארשיד שביר ופרנצ'סקו מרינו, פרסם את ממצאיו בכתב העת Journal of Holography Applications in Physics ובמאגרי מידע אקדמיים. התזה המרכזית שלהם היא ש... יסודות המציאות מרמזים על הבנה לא אלגוריתמית, מחוץ לתחום של כל תוכנית.
מה בדיוק העבודה החדשה תומכת?
ההצעה מקשרת בין פיזיקה תיאורטית ללוגיקה מתמטית: באמצעות משפט אי-השלמות של גדלהחוקרים טוענים כי בכל מערכת פורמלית תמיד ישנן אמיתות שאי אפשר להוכיח מבפנים.. הועבר לקוסמולוגיהמשמעות הדבר היא שתאוריה חישובית גרידא לעולם לא תכלול את כל המציאות.
פייזל מסכם את הרעיון בקצרה: תיאור מקיף של העולם הפיזי באמצעות תיאוריה חישובית של כבידה קוונטית הואלפי החישובים שלהם, בלתי אפשרי באופן עקרוניבמילים אחרות, לא יהיה מחסור בכוח מחשוב, אלא גבול לוגי בלתי עביר.
המפתח טמון במושג הסימולציה עצמו: כל הסימולציה תלויה בו כללים ואלגוריתמיםשמעבדים קלטים כדי לייצר פלטים. אם הם קיימים עובדות אמיתיות שאינן נגישות לכל הליך אלגוריתמי, אף מחשב לא יכול למצות את המציאותככל שתהיה הארכיטקטורה שלה מעודנת.
השלכות על השערת "יקום הסימולציה"
לורנס מ. קראוס, מחבר שותף, מנסח זאת ישירות: אם החוקים הבסיסיים מולידים את מרחב-הזמן עצמו, הם לא יכולים להיות מוגבלים על ידוקריאה זו מאתגרת את הציפייה ל"תיאוריה של הכל" המתבטאת בקוד הניתן לביצוע.
המחקר מתייחס גם להתנגדות הקלאסית של רקורסיה (סימולציות בתוך סימולציות). הוספת שכבות לא תפתור את הבעיה, הם אומרים, מכיוון שרשרת של מכונות אלגוריתמיות זה עדיין לא יהיה מסוגל לייצר את מה שבאופן לוגי, לא ניתן לחישוב.
לדברי המחברים, הדיון עובר אפוא מתחום ספקולטיבי גרידא לתחום פורמלי יותר: זה של כלים מתמטיים לאימותעם זאת, הם מודים כי יהיה צורך לדון האם היקף המשפטים בהם נעשה שימוש מכסה את כל הווריאנטים הניתנים להעלות על הדעת של "חישוב".
בסביבה האקדמית האירופית, ההצעה עוררה גם עניין וגם זהירות.מספר קבוצות שנועצו מציינות כי, למרות שההנמקה מרמזת, מומלץ לבחון מחדש את ההנחות וההגדרות (איזה חישוב אנו מקבלים, מה המשמעות של "לא אלגוריתמי" בפיזיקה) לפני שיכריזו על כך כסופי.
בספרד, הדיון התנהל דרך סמינרים ורשתות מדעיות, שם עלה הצורך ב- שכפול עצמאי ולבחון את התמיכה הלוגית-פורמלית בעזרת זכוכית מגדלתבמקביל, ההד התקשורתי מעורר מחדש שאלות קלאסיות על טבעה של התודעה ועל... גבולות הבינה המלאכותית.
מה שנותר לאמת
העיקר הטכני טמון באקסטרפולציה: קיומן של אמיתות שלא ניתנות להוכחה במערכות פורמליות אינו מרמז בהכרח שכל תיאור פיזיקלי נתקל בגבול דומה.המאמר מציע את הקפיצה הזו עם טיעונים מפורטים, אך הקהילה תבקש אישורים וניואנסים.
בכל מקרה, הדיון השתנה. זה כבר לא רק עניין של ניחוש האם "אנחנו קוד", אלא של כדי לאתר היכן טמונים גבולות המחשוב מיושם על המציאותוזה, בפיזיקה תיאורטית, זה הרבה הישגים..
העבודה כולה, הציטוטים שלה והדיון שאחריו, כולם משאירים רעיון מרכזי אחד: אם יסודות הקוסמוס דורשים צורת הבנה שלא ניתן להכיל באלגוריתמים, אז החלום לשכפל אותה במלואה כתוכנה הוא חסר תועלת. זה לא עומד בתקנות הנוכחיות.היקום, לפחות לפי הצעה זו, לא יהיה תוכנית, אלא משהו חמקמק יותר עבור כל מכונה.
אני חובב טכנולוגיה שהפך את תחומי העניין ה"חנון" שלו למקצוע. ביליתי יותר מ-10 שנים מחיי בטכנולוגיה מתקדמת והתעסקות עם כל מיני תוכניות מתוך סקרנות טהורה. עכשיו התמחיתי בטכנולוגיית מחשבים ומשחקי וידאו. הסיבה לכך היא שכבר יותר מ-5 שנים אני כותב לאתרים שונים בנושאי טכנולוגיה ומשחקי וידאו, ויוצר מאמרים המבקשים לתת לכם את המידע הדרוש לכם בשפה מובנת לכולם.
אם יש לך שאלות, הידע שלי נע מכל מה שקשור למערכת ההפעלה Windows וכן אנדרואיד לטלפונים ניידים. והמחויבות שלי היא אליך, אני תמיד מוכן להקדיש כמה דקות ולעזור לך לפתור כל שאלה שיש לך בעולם האינטרנט הזה.