- Fizikai teigia, kad realybės negalima atkurti algoritmais, kvestionuodami modeliuojamos visatos hipotezę.
- Darbe derinama kvantinė gravitacija ir loginės teoremos, tokios kaip Gödelio nepilnumo teorema.
- Autoriai teigia, kad yra realybės aspektų, kurių negali apskaičiuoti jokia mašina.
- Diskusijos Europoje ir Ispanijoje įgauna pagreitį, raginant atlikti peržiūrą ir papildomus tyrimus.
Jau daugelį metų hipotezė, kad gyvename simuliacijos viduje Tai buvo aptarinėjama diskusijose, forumuose ir laboratorijose. Dabar kelių fizikų parašytame straipsnyje pristatomas matematinis elementas, kuris, anot jo autorių, Tai palieka „modeliuotos visatos“ idėją be skaičiavimo pagrindo..
Miro Faizalo (UBC Okanagan) vadovaujama komanda, bendradarbiaujant su Lawrence'u M. Kraussu, Arshidu Shabiru ir Francesco Marino, savo išvadas paskelbė žurnale „Holografijos taikymas fizikoje“ ir akademinėse saugyklose. Pagrindinė jų tezė yra ta, kad Realybės pagrindai reikalauja nealgoritminio supratimo, už jokios programos ribų.
Ką tiksliai remia naujasis darbas?
Pasiūlymas susieja teorinę fiziką ir matematinę logiką: naudojant Gödelio nepilnumo teoremaTyrėjai teigia, kad kiekvienoje formalioje sistemoje Visada yra tiesų, kurių negalima įrodyti iš vidaus.. Perkelta į kosmologijąTai reiškia, kad grynai skaičiavimo teorija niekada neapimtų visos realybės.
Faizalas glaustai apibendrina mintį: Išsamus fizinio pasaulio aprašymas naudojant skaičiavimo kvantinės gravitacijos teoriją yraRemiantis jų skaičiavimais, iš principo neįmanomaKitaip tariant, ne trūktų skaičiavimo galios, o būtų neįveikiama loginė riba.
Svarbiausia slypi pačioje modeliavimo koncepcijoje: visa simuliacija priklauso nuo taisyklės ir algoritmaikurie apdoroja įvestis, kad generuotų išvestis. Jei tokių yra tikri faktai, neprieinami jokiai algoritminei procedūrai, joks kompiuteris negali išsemti realybėskad ir kokia rafinuota būtų jos architektūra.
„Modeliacinės visatos“ hipotezės implikacijos
Bendraautoris Lawrence'as M. Kraussas tai tiesiai šviesiai išreiškia: jei pagrindiniai dėsniai sukuria patį erdvėlaikį, jie negali būti jo apribotiToks aiškinimas meta iššūkį „visko teorijos“, išreikštos vykdomuoju kodu, lūkesčiui.
Tyrime taip pat nagrinėjamas klasikinis rekursijos (modeliavimo simuliacijose) prieštaravimas. Teigiama, kad sluoksnių pridėjimas problemos neišspręstų, nes algoritminių mašinų grandinė Jis vis tiek negalėtų sugeneruoti to, kas, logiškai mąstant, nėra apskaičiuojama.
Pasak autorių, diskusija iš grynai spekuliatyvios srities pereina į formalesnę: patikrinamos matematinės priemonėsTačiau jie pripažįsta, kad reikės aptarti, ar naudojamų teoremų taikymo sritis apima visus įsivaizduojamus „skaičiavimo“ variantus.
Europos akademinėje aplinkoje Pasiūlymas sukėlė ir susidomėjimą, ir atsargumą.Kelios konsultuotos grupės atkreipia dėmesį, kad nors argumentai yra provokuojantys, Patartina peržiūrėti prielaidas ir apibrėžimus (kokius skaičiavimus priimame, ką fizikoje reiškia „nealgoritminis“) prieš paskelbiant jį galutiniu.
Ispanijoje diskusija vyko seminaruose ir moksliniuose tinkluose, kuriuose buvo išryškintas poreikis nepriklausoma replikacija ir loginį-formalųjį pagrindimą ištirti didinamuoju stikluLygiagrečiai žiniasklaidos aidas atgaivina klasikinius klausimus apie sąmonės prigimtį ir dirbtinio intelekto ribos.
Kas dar turi būti patikrinta
Techninė esmė slypi ekstrapoliacijoje: Neįrodytų tiesų egzistavimas formaliose sistemose nebūtinai reiškia, kad kiekvienas fizikinis aprašymas susiduria su panašia riba.Straipsnyje šis žingsnis siūlomas pateikiant išsamius argumentus, tačiau bendruomenė prašys patvirtinimų ir niuansų.
Bet kuriuo atveju, diskusijos pasikeitė. Nebėra tik spėliojama, ar „mes esame kodas“, bet ir apie tai, nustatyti, kur yra skaičiavimo ribos pritaikyta realybeiIr kad teorinėje fizikoje Tai daug laimėta..
Visas darbas, jo citatos ir vėlesnė diskusija palieka vieną pagrindinę mintį: Jei kosmoso pamatams reikalingas supratimas, kurio negalima sutalpinti algoritmuose, tuomet svajonė jį visiškai atkurti kaip programinę įrangą yra beprasmė. Pagal dabartines taisykles tai neatlaiko.; visata, bent jau pagal šį teiginį, nebūtų programa, o kažkas sunkiau apčiuopiamo bet kuriai mašinai.
Esu technologijų entuziastas, savo „geek“ pomėgius pavertęs profesija. Daugiau nei 10 savo gyvenimo metų praleidau naudodamas pažangiausias technologijas ir iš gryno smalsumo kūriau visas programas. Dabar aš specializuojasi kompiuterinėse technologijose ir vaizdo žaidimuose. Taip yra todėl, kad daugiau nei 5 metus rašau įvairioms interneto svetainėms apie technologijas ir vaizdo žaidimus, kurdamas straipsnius, kuriuose noriu pateikti jums reikalingą informaciją visiems suprantama kalba.
Jei turite klausimų, mano žinios svyruoja nuo visko, kas susiję su Windows operacine sistema, taip pat su Android mobiliesiems telefonams. Ir aš įsipareigoju jums, aš visada pasiruošęs skirti kelias minutes ir padėti jums išspręsti visus klausimus, kurie jums gali kilti šiame interneto pasaulyje.