- Fiziklər, simulyasiya edilmiş kainat fərziyyəsini şübhə altına alaraq reallığın alqoritmlərlə təkrarlana bilmədiyini irəli sürürlər.
- İş kvant cazibəsini və Gödelin natamamlıq teoremi kimi məntiqi teoremləri birləşdirir.
- Müəlliflər iddia edirlər ki, reallığın elə tərəfləri var ki, onları heç bir maşın hesablamaq mümkün deyil.
- Müzakirələr nəzərdən keçirilməyə və əlavə sınaqlara çağırışlarla Avropa və İspaniyada böyük maraq kəsb edir.
İllərdir ki bir simulyasiya içində yaşadığımız fərziyyə Müzakirələrdə, forumlarda və laboratoriyalarda müzakirə olunub. İndi bir neçə fizikin müəllifi olduğu bir məqalə riyazi element təqdim edir ki, onun müəlliflərinə görə, O, "imitasiya edilmiş kainat" ideyasını hesablama əsası olmadan tərk edir..
Mir Faizalın (UBC Okanagan) rəhbərlik etdiyi və Lawrence M. Krauss, Arşid Şabir və Francesco Marino ilə əməkdaşlıq etdiyi komanda öz nəticələrini Journal of Holography Applications in Physics-də və akademik depolarda dərc etdi. Onların mərkəzi tezisi budur Gerçəkliyin əsasları qeyri-alqoritmik anlayışı nəzərdə tutur, hər hansı bir proqramın əhatə dairəsi xaricində.
Yeni iş tam olaraq nəyi dəstəkləyir?
Təklif nəzəri fizika ilə riyazi məntiqi əlaqələndirir: istifadə edərək Gödelin natamamlıq teoremiTədqiqatçılar bunu iddia edirlər hər formal sistemdə Həmişə daxildən sübut olunmayan həqiqətlər var.. Kosmologiyaya köçürüldüBu, sırf hesablama nəzəriyyəsinin heç vaxt bütün reallığı əhatə etməyəcəyini nəzərdə tutur.
Feyzəl fikri qısa şəkildə belə ifadə edir: Kvant cazibəsinin hesablama nəzəriyyəsindən istifadə edərək fiziki dünyanın hərtərəfli təsviriOnların hesablamalarına görə, prinsipcə qeyri-mümkündürBaşqa sözlə, hesablama gücü çatışmazlığı yox, aşılmaz bir məntiqi həddi olardı.
Əsas simulyasiya konsepsiyasındadır: bütün simulyasiyadan asılıdır qaydalar və alqoritmlərki, çıxışları yaratmaq üçün girişləri emal edir. Əgər onlar varsa heç bir alqoritmik prosedur üçün əlçatmaz gerçək faktlar, heç bir kompüter reallığı tükəndirə bilməzmemarlığı nə qədər incə olsa da.
"Kainat simulyasiyası" fərziyyəsi üçün nəticələr
Həmmüəllif Lawrence M. Krauss bunu birbaşa deyir: əgər əsas qanunlar məkan-zamanın özünü doğurursa, onlar onun tərəfindən məhdudlaşdırıla bilməzlərBu oxu icra edilə bilən kodda ifadə olunan “hər şeyin nəzəriyyəsi” gözləntisinə meydan oxuyur.
Tədqiqat həmçinin rekursiyanın klassik etirazına (simulyasiyalar daxilində simulyasiyalar) müraciət edir. Qatların əlavə edilməsi problemi həll etməyəcək, deyirlər, çünki alqoritmik maşınlar silsiləsi Məntiqi olaraq hesablana bilməyənləri hələ də yarada bilməz.
Müəlliflərin fikrincə, beləliklə, debat sırf spekulyativ sahədən daha formal müstəviyə keçir: yoxlanıla bilən riyazi alətlərBununla belə, onlar etiraf edirlər ki, istifadə olunan teoremlərin əhatə dairəsinin “hesablamanın” bütün təsəvvür edilən variantlarını əhatə edib-etməməsi müzakirə olunmalıdır.
Avropa akademik mühitində, Təklif həm maraq, həm də ehtiyatlılıq yaradıb.Məsləhətləşmiş bir sıra qruplar qeyd edirlər ki, əsaslandırma düşündürücü olsa da, Fərziyyələri və tərifləri nəzərdən keçirmək məsləhətdir (biz hansı hesablamanı qəbul edirik, fizikada “qeyri-alqoritmik” nə deməkdir) yekun elan etməzdən əvvəl.
İspaniyada müzakirələr lazım olduğu yerlərdə seminarlar və elmi şəbəkələr vasitəsilə yayılıb müstəqil replikasiya və məntiqi-formal dəstəyi böyüdücü şüşə ilə yoxlamaqParalel olaraq, media şüurun təbiəti ilə bağlı klassik sualları yenidən alovlandırır süni intellektin sərhədləri.
Nə yoxlanılacaq
Texniki mahiyyət ekstrapolyasiyadadır: Formal sistemlərdə sübut olunmayan həqiqətlərin mövcudluğu avtomatik olaraq hər bir fiziki təsvirin oxşar həddə çatmasını nəzərdə tutmur.Məqalə bu sıçrayışı təfərrüatlı arqumentlərlə təklif edir, lakin cəmiyyət doğrulamalar və nüanslar tələb edəcək.
İstənilən halda, müzakirələr dəyişib. Söhbət təkcə “biz bir koduq” olub-olmadığını təxmin etmək haqqında deyil, həm də haqqındadır hesablamanın hüdudlarının harada olduğunu müəyyən etmək reallığa tətbiq edilirVə bu, nəzəri fizikada, Bu, çoxlu torpaq qazandı..
Bütövlükdə əsər, ondan sitatlar və sonrakı müzakirələr hamısı bir əsas fikir qoyur: Əgər kosmosun bünövrəsi alqoritmlərdə yer ala bilməyən dərketmə formasını tələb edirsə, onda onu tamamilə proqram kimi təkrar etmək arzusu puçdur. Mövcud qaydalara uyğun gəlmir.; kainat, ən azı bu təklifə görə, bir proqram deyil, hər hansı bir maşın üçün daha çətin bir şey olardı.
Mən öz "geek" maraqlarını peşəyə çevirmiş texnologiya həvəskarıyam. Mən həyatımın 10 ilindən çoxunu qabaqcıl texnologiyadan istifadə edərək və hər cür proqramlarla maraqlanaraq sərf etmişəm. İndi mən kompüter texnologiyası və video oyunları üzrə ixtisaslaşmışam. Bunun səbəbi, 5 ildən artıqdır ki, texnologiya və video oyunlarla bağlı müxtəlif saytlar üçün yazılar yazıram, sizə lazım olan məlumatları hamı üçün başa düşülən dildə verməyə çalışan məqalələr hazırlayıram.
Hər hansı bir sualınız varsa, mənim biliklərim Windows əməliyyat sistemi, eləcə də mobil telefonlar üçün Android ilə əlaqəli hər şeyi əhatə edir. Və mənim öhdəliyim sizədir, mən həmişə bir neçə dəqiqə sərf etməyə və bu internet dünyasında yarana biləcək bütün suallarınızı həll etməyə kömək etməyə hazıram.