- Fizikistoj proponas, ke la realo ne estas reproduktebla per algoritmoj, pridubante la hipotezon pri simulita universo.
- La verko kombinas kvantumgraviton kaj logikajn teoremojn kiel ekzemple la nekompleteco-teoremo de Gödel.
- La aŭtoroj argumentas, ke ekzistas aspektoj de la realeco, kiujn iu ajn maŝino ne povas komputi.
- La debato gajnas forton en Eŭropo kaj Hispanio, kun postuloj por revizio kaj pliaj testoj.
Dum jaroj, la hipotezo, ke ni vivas ene de simulado Ĝi estis diskutita en diskutoj, forumoj kaj laboratorioj. Nun, artikolo verkita de pluraj fizikistoj enkondukas matematikan elementon, kiu, laŭ ĝiaj aŭtoroj, Ĝi lasas la ideon de "simulita universo" sen komputila bazo..
La teamo, gvidata de Mir Faizal (UBC Okanagan) kaj kun la kunlaboro de Lawrence M. Krauss, Arshid Shabir, kaj Francesco Marino, publikigis siajn rezultojn en la Journal of Holography Applications in Physics kaj en akademiaj deponejoj. Ilia centra tezo estas, ke La fundamentoj de la realeco implicas ne-algoritman komprenon, ekster la amplekso de iu ajn programo.
Kion precize subtenas la nova verko?
La propono ligas teorian fizikon kaj matematikan logikon: uzante la La nekompleteco-teoremo de GödelLa esploristoj argumentas, ke en ĉiu formala sistemo Ĉiam ekzistas veroj, kiujn oni ne povas pruvi de interne.. Transdonita al kosmologioTio implicas, ke pure komputila teorio neniam ampleksus la tutan realecon.
Faizal koncize resumas la ideon: Ampleksa priskribo de la fizika mondo uzante komputilan teorion de kvantuma gravito estasLaŭ iliaj kalkuloj, nefarebla principeAlivorte, ne estus manko de komputila povo, sed prefere nesuperebla logika limo.
La ŝlosilo kuŝas en la koncepto mem de simulado: ĉiu simulado dependas de reguloj kaj algoritmojkiuj prilaboras enigojn por generi eligojn. Se ili ekzistas veraj faktoj neatingeblaj por iu ajn algoritma proceduro, neniu komputilo povas elĉerpi la realeconkiom ajn rafinita povas esti ĝia arkitekturo.
Implicoj por la hipotezo pri "simulada universo"
Kunaŭtoro Lawrence M. Krauss esprimas ĝin rekte: se la fundamentaj leĝoj kaŭzas spactempon mem, ili ne povas esti limigitaj de liĈi tiu legado defias la atendon de "teorio de ĉio" esprimita en efektivigebla kodo.
La studo ankaŭ traktas la klasikan obĵeton pri rikuro (simuladoj ene de simuladoj). Aldoni tavolojn ne solvus la problemon, ili diras, ĉar ĉeno de algoritmaj maŝinoj Ĝi ankoraŭ ne povus generi tion, kio, logike, ne estas komputebla.
Laŭ la aŭtoroj, la debato tiel moviĝas de la pure spekulativa sfero al pli formala: tiu de la konfirmeblaj matematikaj ilojTamen ili agnoskas, ke oni devos diskuti, ĉu la amplekso de la uzitaj teoremoj kovras ĉiujn imageblajn variaĵojn de "komputado".
En la eŭropa akademia medio, La propono vekis kaj intereson kaj singardemon.Pluraj konsultitaj grupoj atentigas, ke kvankam la rezonado estas sugestia, Estas konsilinde revizii supozojn kaj difinojn (kiun komputadon ni akceptas, kion signifas "ne-algoritma" en fiziko) antaŭ ol deklari ĝin fina.
En Hispanio, la diskuto cirkulis tra seminarioj kaj sciencaj retoj, kie la bezono sendependa replikado kaj ekzameni la logikan-formalan subtenon per lupeoParalele, la amaskomunikila eĥo revivigas klasikajn demandojn pri la naturo de konscio kaj la limoj de artefarita inteligenteco.
Kio restas por kontroli
La teknika kerno kuŝas en la ekstrapolado: La ekzisto de nepruveblaj veroj en formalaj sistemoj ne aŭtomate implicas, ke ĉiu fizika priskribo renkontas similan limon.La artikolo proponas ĉi tiun salton kun detalaj argumentoj, sed la komunumo petos validigojn kaj nuancojn.
Ĉiukaze, la debato ŝanĝiĝis. Ne plu temas nur pri diveni ĉu "ni estas kodo", sed pri por precize indiki kie kuŝas la limoj de komputado aplikita al la realoKaj ke, en teoria fiziko, Tio estas multe da tereno gajnita..
La verko kiel tuto, ĝiaj citaĵoj, kaj la posta diskuto ĉiuj lasas unu ŝlosilan ideon: Se la fundamento de la kosmo postulas formon de kompreno, kiu ne povas esti enhavita en algoritmoj, tiam la revo reprodukti ĝin tute kiel programaron estas vana. Ĝi ne validas laŭ la nunaj reguloj.; la universo, almenaŭ laŭ ĉi tiu propono, ne estus programo, sed io pli pasema por iu ajn maŝino.
Mi estas teknologientuziasmulo, kiu transformis siajn "geek" interesojn en profesion. Mi pasigis pli ol 10 jarojn de mia vivo uzante avangardan teknologion kaj tuŝante ĉiajn programojn pro pura scivolemo. Nun mi specialiĝis pri komputila teknologio kaj videoludoj. Ĉi tio estas ĉar de pli ol 5 jaroj mi verkas por diversaj retejoj pri teknologio kaj videoludoj, kreante artikolojn, kiuj celas doni al vi la informojn, kiujn vi bezonas en lingvo komprenebla por ĉiuj.
Se vi havas demandojn, mia scio varias de ĉio rilata al la Vindoza operaciumo same kiel Android por poŝtelefonoj. Kaj mia devontigo estas al vi, mi ĉiam pretas pasigi kelkajn minutojn kaj helpi vin solvi ajnajn demandojn, kiujn vi povas havi en ĉi tiu interreta mondo.