- Ֆիզիկոսները ենթադրում են, որ իրականությունը չի կարող վերարտադրվել ալգորիթմների կողմից՝ կասկածի տակ դնելով սիմուլյացված տիեզերքի վարկածը։
- Աշխատանքը համատեղում է քվանտային ձգողականությունը և տրամաբանական թեորեմներ, ինչպիսին է Գյոդելի անավարտության թեորեմը։
- Հեղինակները պնդում են, որ կան իրականության այնպիսի ասպեկտներ, որոնք չեն կարող հաշվարկվել որևէ մեքենայի կողմից։
- Այս քննարկումը լայն թափ է հավաքում Եվրոպայում և Իսպանիայում՝ վերանայման և լրացուցիչ թեստավորման կոչերով։
Տարիներ շարունակ, վարկած, որ մենք ապրում ենք սիմուլյացիայի ներսում Այն քննարկվել է քննարկումներում, ֆորումներում և լաբորատորիաներում: Այժմ մի քանի ֆիզիկոսների կողմից հեղինակված հոդվածը ներկայացնում է մաթեմատիկական տարր, որը, ըստ հեղինակների՝ Այն «մոդելավորված տիեզերքի» գաղափարը թողնում է առանց հաշվողական հիմքի։.
Միր Ֆայզալի (UBC Okanagan) գլխավորած թիմը և Լոուրենս Մ. Կրաուսի, Արշիդ Շաբիրի և Ֆրանչեսկո Մարինոյի համագործակցությամբ հրապարակել են իրենց արդյունքները «Հոլոգրաֆիայի կիրառությունների ամսագրում» և ակադեմիական պահոցներում: Նրանց կենտրոնական թեզն այն է, որ Իրականության հիմքերը ենթադրում են ոչ ալգորիթմական ըմբռնում, որևէ ծրագրի շրջանակներից դուրս։
Ի՞նչ է իրականում աջակցում նոր աշխատանքը։
Առաջարկը կապում է տեսական ֆիզիկան և մաթեմատիկական տրամաբանությունը՝ օգտագործելով Գյոդելի անավարտության թեորեմըՀետազոտողները պնդում են, որ յուրաքանչյուր ֆորմալ համակարգում Միշտ կան ճշմարտություններ, որոնք հնարավոր չէ ներսից ապացուցել։. Տեղափոխվել է տիեզերագիտության մեջՍա ենթադրում է, որ զուտ հաշվողական տեսությունը երբեք չի ընդգրկի ամբողջ իրականությունը։
Ֆայզալը համառոտ ամփոփում է գաղափարը. Ֆիզիկական աշխարհի համապարփակ նկարագրությունը՝ օգտագործելով քվանտային ձգողականության հաշվողական տեսությունը, հետևյալն է.Նրանց հաշվարկների համաձայն՝ սկզբունքորեն անհնարինԱյլ կերպ ասած, չէր լինի հաշվողական հզորության պակաս, այլ անհաղթահարելի տրամաբանական սահմանափակում։
Հիմնականը սիմուլյացիայի հենց գաղափարի մեջ է. բոլոր սիմուլյացիաները կախված են կանոններ և ալգորիթմներորոնք մշակում են մուտքային տվյալները՝ ելքեր ստեղծելու համար։ Եթե դրանք գոյություն ունեն իրական փաստեր, որոնք անհասանելի են որևէ ալգորիթմական ընթացակարգի համար, Ոչ մի համակարգիչ չի կարող սպառել իրականությունըորքան էլ նուրբ լինի դրա ճարտարապետությունը։
«Սիմուլյացիոն տիեզերքի» վարկածի հետևանքները
Համահեղինակ Լոուրենս Մ. Կրաուսը ուղղակիորեն ասում է. եթե հիմնարար օրենքներն են ծնում տարածաժամանակը, նրանք չեն կարող սահմանափակվել նրանովԱյս մեկնաբանությունը կասկածի տակ է դնում կատարվող կոդով արտահայտված «ամեն ինչի տեսության» ակնկալիքը։
Ուսումնասիրությունը նաև անդրադառնում է ռեկուրսիայի դասական առարկությանը (սիմուլյացիաներ սիմուլյացիաների ներսում): Նրանք ասում են, որ շերտեր ավելացնելը չի լուծի խնդիրը, քանի որ ալգորիթմական մեքենաների շղթա Այն դեռևս չէր կարողանա ստեղծել այն, ինչը, տրամաբանորեն, հաշվարկելի չէ։
Հեղինակների կարծիքով, այսպիսով, բանավեճը զուտ ենթադրական ոլորտից տեղափոխվում է ավելի ֆորմալ ոլորտ՝ ստուգելի մաթեմատիկական գործիքներԱյնուամենայնիվ, նրանք ընդունում են, որ պետք է քննարկվի, թե արդյոք օգտագործված թեորեմների շրջանակը ներառում է «հաշվարկի» բոլոր հնարավոր տարբերակները։
Եվրոպական ակադեմիական միջավայրում, Առաջարկը առաջացրել է ինչպես հետաքրքրություն, այնպես էլ զգուշություն։Մի քանի խորհրդակցված խմբեր նշում են, որ չնայած դատողությունը ենթադրական է, Խորհուրդ է տրվում վերանայել ենթադրություններն ու սահմանումները (ինչ հաշվարկ ենք մենք ընդունում, ինչ է նշանակում «ոչ ալգորիթմական» ֆիզիկայում) նախքան այն վերջնական հայտարարելը.
Իսպանիայում քննարկումը տարածվել է սեմինարների և գիտական ցանցերի միջոցով, որտեղ անհրաժեշտ է անկախ վերարտադրություն և խոշորացույցով ուսումնասիրել տրամաբանական-ձևական աջակցությունըԶուգահեռաբար, լրատվամիջոցների արձագանքը վերակենդանացնում է գիտակցության բնույթի և դրա վերաբերյալ դասական հարցերը։ արհեստական բանականության սահմանները.
Ինչը մնում է ստուգել
Տեխնիկական խնդիրը կայանում է էքստրապոլյացիայի մեջ. Ֆորմալ համակարգերում անհապացուցելի ճշմարտությունների գոյությունը ավտոմատ կերպով չի ենթադրում, որ յուրաքանչյուր ֆիզիկական նկարագրություն հասնում է նմանատիպ սահմանի։Հոդվածում առաջարկվում է այս քայլը՝ մանրամասն փաստարկներով, սակայն համայնքը կխնդրի վավերացումներ և նրբերանգներ։
Ամեն դեպքում, բանավեճը փոխվել է։ Այլևս խոսքը միայն այն մասին չէ, թե «մենք կոդ ենք», թե ոչ, այլ այն մասին, թե պարզել, թե որտեղ են գտնվում համակարգչային տեխնոլոգիաների սահմանները կիրառված իրականության մեջԵվ դա, տեսական ֆիզիկայում, Դա շատ առաջընթաց է։.
Աշխատանքն ամբողջությամբ, դրա մեջբերումները և հետագա քննարկումը թողնում են մեկ հիմնական գաղափար. Եթե տիեզերքի հիմքը պահանջում է հասկացողության մի ձև, որը չի կարող պարունակվել ալգորիթմներում, ապա այն ամբողջությամբ որպես ծրագրային ապահովում վերարտադրելու երազանքն ապարդյուն է։ Այն չի համապատասխանում գործող կանոններին։; տիեզերքը, գոնե այս առաջարկի համաձայն, ծրագիր չէր լինի, այլ ցանկացած մեքենայի համար ավելի դժվարհասանելի մի բան։
Ես տեխնոլոգիայի էնտուզիաստ եմ, ով իր «գիկ» հետաքրքրությունները վերածել է մասնագիտության։ Ես իմ կյանքի ավելի քան 10 տարին անցկացրել եմ՝ օգտագործելով նորագույն տեխնոլոգիաներ և զուտ հետաքրքրասիրությունից դրդված բոլոր տեսակի ծրագրերի հետ աշխատելիս: Այժմ ես մասնագիտացել եմ համակարգչային տեխնիկայի և տեսախաղերի մեջ։ Դա պայմանավորված է նրանով, որ ավելի քան 5 տարի ես գրում եմ տարբեր կայքերի համար տեխնոլոգիայի և վիդեոխաղերի վերաբերյալ՝ ստեղծելով հոդվածներ, որոնք փորձում են ձեզ տրամադրել ձեզ անհրաժեշտ տեղեկատվությունը բոլորին հասկանալի լեզվով:
Եթե ունեք հարցեր, իմ գիտելիքները տատանվում են Windows օպերացիոն համակարգի հետ կապված ամեն ինչից, ինչպես նաև բջջային հեռախոսների համար նախատեսված Android-ից: Եվ իմ հանձնառությունն է ձեզ, ես միշտ պատրաստ եմ մի քանի րոպե ծախսել և օգնել ձեզ լուծել ցանկացած հարց, որը կարող եք ունենալ այս ինտերնետային աշխարհում: