- Fizisyen yo pwopoze ke reyalite a pa ka repwodui pa algoritm, sa ki kesyone ipotèz linivè simile a.
- Travay la konbine gravite kwantik ak teyorèm lojik tankou teyorèm enkonplete Gödel la.
- Otè yo diskite ke gen aspè nan reyalite ke okenn machin pa ka kalkile.
- Deba a ap pran plis fòs an Ewòp ak Espay, ak apèl pou revizyon ak plis tès.
Pandan plizyè ane, la ipotèz ke nou ap viv andedan yon simulation Yo te diskite sou li nan diskisyon, fowòm ak laboratwa. Kounye a, yon atik plizyè fizisyen ekri prezante yon eleman matematik ki, dapre otè li yo, Li kite lide yon "linivè simile" san yon baz enfòmatik..
Ekip la, dirije pa Mir Faizal (UBC Okanagan) epi avèk kolaborasyon Lawrence M. Krauss, Arshid Shabir, ak Francesco Marino, pibliye rezilta li yo nan Journal of Holography Applications in Physics ak nan depo akademik yo. Tèz santral yo a se ke Fondasyon reyalite a enplike yon konpreyansyon ki pa algoritmik, deyò kad okenn pwogram.
Kisa egzakteman nouvo travay la sipòte?
Pwopozisyon an lye fizik teyorik ak lojik matematik: lè l sèvi avèk Teyorèm enkonplete Gödel laChèchè yo diskite ke nan chak sistèm fòmèl Toujou gen verite ki pa ka pwouve anndan.. Transfere nan kosmolojiSa vle di ke yon teyori konpitasyonèl sèlman pa ta janm anglobe tout reyalite a.
Faizal rezime lide a yon fason kout: Yon deskripsyon konplè sou mond fizik la lè l sèvi avèk yon teyori konpitasyonèl gravite kwantik seDapre kalkil yo, enposib an prensipNan lòt mo, pa ta gen yon mank puisans enfòmatik, men pito yon limit lojik enfranchisab.
Kle a chita nan konsèp simulation an menm: tout simulation depann de règ ak algoritmki trete antre pou jenere rezilta. Si yo egziste reyalite reyèl ki pa aksesib a okenn pwosedi algoritmik, Pa gen òdinatè ki ka efase reyalite akèlkeswa rafinman achitekti li ka ye.
Enplikasyon pou ipotèz "linivè simulation" an
Ko-otè Lawrence M. Krauss di sa dirèkteman: si lwa fondamantal yo bay nesans espas-tan li menm, yo pa ka rete fèmen pa liLekti sa a defye atant yon "teori sou tout bagay" ki eksprime nan kòd ègzekitab.
Etid la adrese tou objeksyon klasik rekirsyon an (similasyon anndan similasyon). Yo di ajoute kouch pa t ap rezoud pwoblèm nan, paske yon chèn machin algoritmik Li toujou pa t ap kapab jenere sa ki, lojikman, pa ka kalkilab.
Dapre otè yo, deba a konsa soti nan domèn espekilatif la pou l ale nan yon domèn ki pi fòmèl: domèn nan zouti matematik verifyeSepandan, yo admèt ke y ap gen pou diskite si wi ou non dimansyon teyorèm yo itilize a kouvri tout varyant "kalkil" imajinab.
Nan anviwònman akademik Ewopeyen an, Pwopozisyon an te reveye tou de enterè ak prekosyon.Plizyè gwoup yo te konsilte fè remake ke, byenke rezònman an sigjestif, Li rekòmande pou revize sipozisyon ak definisyon yo (ki kalkil nou aksepte, kisa "ki pa algoritmik" vle di nan fizik) anvan yo deklare li final.
Nan peyi Espay, diskisyon an sikile atravè seminè ak rezo syantifik, kote nesesite pou replikasyon endepandan epi egzamine sipò lojik-fòmèl la ak yon loupAn paralèl, eko medya yo relanse kesyon klasik sou nati konsyans ak limit entèlijans atifisyèl.
Sa ki rete pou verifye
Pwen teknik la se nan ekstrapolasyon an: Egzistans verite ki pa ka pwouve nan sistèm fòmèl pa vle di otomatikman ke chak deskripsyon fizik rankontre yon limit menm jan an.Atik la pwopoze so sa a avèk agiman detaye, men kominote a ap mande validasyon ak nyans.
Antouka, deba a chanje. Se pa sèlman devine si "nou se yon kòd" ankò, men se... pou idantifye kote limit enfòmatik yo ye a aplike nan reyaliteEpi, nan fizik teyorik, Sa se anpil tèren ki genyen..
Travay la an antye, sitasyon li yo, ak diskisyon ki vin apre a, tout kite yon sèl lide kle: Si fondasyon kosmòs la mande yon fòm konpreyansyon ki pa ka genyen nan algoritm, alò rèv pou repwodui li nèt kòm lojisyèl se initil. Li pa kenbe anba règleman aktyèl yo.; linivè a, omwen dapre pwopozisyon sa a, pa t ap yon pwogram, men yon bagay ki pi difisil pou nenpòt machin rive jwenn.
Mwen se yon antouzyast teknoloji ki te vire enterè "jik" li nan yon pwofesyon. Mwen te pase plis pase 10 ane nan lavi mwen itilize teknoloji dènye kri ak brikolaj ak tout kalite pwogram nan pi kiryozite. Koulye a, mwen te espesyalize nan teknoloji òdinatè ak jwèt videyo. Sa a se paske depi plis pase 5 ane mwen ap ekri pou divès sit entènèt sou teknoloji ak jwèt videyo, kreye atik ki ap chèche ba w enfòmasyon ou bezwen an nan yon lang ke tout moun konprann.
Si w gen nenpòt kesyon, konesans mwen varye ant tout bagay ki gen rapò ak sistèm operasyon Windows la ak Android pou telefòn mobil yo. Ak angajman mwen se avè ou, mwen toujou dispoze pase kèk minit epi ede ou rezoud nenpòt kesyon ou ka genyen nan mond entènèt sa a.