Hinahamon ng isang pag-aaral sa matematika ang ideya ng isang simulate na uniberso

Sa loob ng maraming taon, ang hypothesis na nakatira tayo sa loob ng isang simulation Ito ay tinalakay sa mga talakayan, forum, at laboratoryo. Ngayon, ang isang papel na isinulat ng ilang physicist ay nagpapakilala ng isang elemento ng matematika na, ayon sa mga may-akda nito, Iniiwan nito ang ideya ng isang "simulate na uniberso" nang walang batayan sa pagkalkula..

Ang koponan, na pinamumunuan ni Mir Faizal (UBC Okanagan) at sa pakikipagtulungan nina Lawrence M. Krauss, Arshid Shabir, at Francesco Marino, ay naglathala ng mga natuklasan nito sa Journal of Holography Applications in Physics at sa mga akademikong repositoryo. Ang kanilang sentral na thesis ay iyon Ang mga pundasyon ng katotohanan ay nagpapahiwatig ng isang di-algorithmic na pag-unawa, sa labas ng saklaw ng anumang programa.

Ano nga ba ang sinusuportahan ng bagong trabaho?

Iniuugnay ng panukala ang teoretikal na pisika at lohika ng matematika: gamit ang Ang incompleteness theorem ni GödelPinagtatalunan ng mga mananaliksik iyon sa bawat pormal na sistema Palaging may mga katotohanang hindi mapapatunayan mula sa loob.. Inilipat sa kosmolohiyaIto ay nagpapahiwatig na ang isang purong computational theory ay hindi kailanman sumasaklaw sa lahat ng katotohanan.

Si Faizal ay maikli ang buod ng ideya: Ang isang komprehensibong paglalarawan ng pisikal na mundo gamit ang isang computational theory ng quantum gravity ayAyon sa kanilang mga kalkulasyon, hindi magagawa sa prinsipyoSa madaling salita, hindi magkakaroon ng kakulangan ng kapangyarihan sa pag-compute, ngunit sa halip ay isang hindi malulutas na lohikal na limitasyon.

Ang susi ay nasa mismong konsepto ng simulation: lahat ng simulation ay nakasalalay sa mga panuntunan at algorithmna nagpoproseso ng mga input upang makabuo ng mga output. Kung mayroon sila totoong mga katotohanan na hindi naa-access sa anumang algorithmic na pamamaraan, walang computer ang makakaubos ng realidadgayunpaman pino ang arkitektura nito.

Mga implikasyon para sa hypothesis ng "simulation universe".

Direktang inilagay ito ng co-author na si Lawrence M. Krauss: kung ang mga pangunahing batas ay nagbubunga ng space-time mismo, hindi sila makukulong sa kanyaHinahamon ng pagbabasang ito ang pag-asa ng isang "teorya ng lahat" na ipinahayag sa executable code.

Tinutugunan din ng pag-aaral ang klasikong pagtutol ng recursion (mga simulation sa loob ng mga simulation). Ang pagdaragdag ng mga layer ay hindi malulutas ang problema, sabi nila, dahil isang hanay ng mga algorithmic machine Hindi pa rin nito magagawang makabuo ng kung saan, lohikal na, ay hindi computable.

Ayon sa mga may-akda, ang debate sa gayon ay lumilipat mula sa purong haka-haka na kaharian patungo sa isang mas pormal: ang sa napapatunayan na mga kasangkapan sa matematikaGayunpaman, inamin nila na ito ay kailangang talakayin kung ang saklaw ng mga theorems na ginamit ay sumasaklaw sa lahat ng maiisip na variant ng "computation".

Sa kapaligirang pang-akademiko sa Europa, Ang panukala ay nagdulot ng parehong interes at pag-iingat.Itinuro ng ilang pangkat na kinonsulta na, bagaman ang pangangatwiran ay nagpapahiwatig, Maipapayo na suriin ang mga pagpapalagay at kahulugan (anong computation ang tinatanggap natin, ano ang ibig sabihin ng "non-algorithmic" sa physics) bago ideklarang pinal.

Sa Espanya, ang talakayan ay umikot sa pamamagitan ng mga seminar at pang-agham na network, kung saan kailangan malayang pagtitiklop at upang suriin ang lohikal-pormal na suporta gamit ang isang magnifying glassSa parallel, ang echo ng media ay muling nagpapasigla sa mga klasikong tanong tungkol sa kalikasan ng kamalayan at ang mga limitasyon ng artificial intelligence.

Ano ang nananatiling i-verify

Ang teknikal na crux ay nakasalalay sa extrapolation: Ang pagkakaroon ng hindi mapapatunayang katotohanan sa mga pormal na sistema ay hindi awtomatikong nagpapahiwatig na ang bawat pisikal na paglalarawan ay tumatakbo sa isang katulad na limitasyon.Ang artikulo ay nagmumungkahi ng hakbang na ito na may mga detalyadong argumento, ngunit ang komunidad ay hihingi ng mga pagpapatunay at mga nuances.

Sa anumang kaso, ang debate ay nagbago. Ito ay hindi na lamang tungkol sa paghula kung "kami ay isang code," ngunit tungkol sa upang matukoy kung nasaan ang mga limitasyon ng pag-compute inilapat sa realidadAt iyon, sa teoretikal na pisika, Iyan ay maraming lupang nakuha..

Ang akda sa kabuuan, ang mga pagsipi nito, at ang kasunod na talakayan ay nag-iiwan ng isang mahalagang ideya: Kung ang pundasyon ng kosmos ay nangangailangan ng isang anyo ng pag-unawa na hindi maaaring nilalaman sa mga algorithm, kung gayon ang pangarap na muling gawin ito nang buo bilang software ay walang saysay. Hindi ito tumatagal sa ilalim ng kasalukuyang mga patakaran.; ang uniberso, kahit na ayon sa panukalang ito, ay hindi magiging isang programa, ngunit isang bagay na mas mailap para sa anumang makina.

Kaugnay na artikulo:

Wala akong internet sa virtual machine, ano ang maaari kong gawin?

Alberto navarro

Isa akong mahilig sa teknolohiya na ginawang propesyon ang kanyang mga "geek" na interes. Ako ay gumugol ng higit sa 10 taon ng aking buhay sa paggamit ng makabagong teknolohiya at pag-iisip sa lahat ng uri ng mga programa dahil sa purong kuryusidad. Ngayon ay nagdadalubhasa na ako sa teknolohiya ng kompyuter at mga video game. Ito ay dahil sa higit sa 5 taon na ako ay sumusulat para sa iba't ibang mga website sa teknolohiya at mga video game, na lumilikha ng mga artikulo na naglalayong ibigay sa iyo ang impormasyong kailangan mo sa isang wika na naiintindihan ng lahat.

Kung mayroon kang anumang mga katanungan, ang aking kaalaman ay mula sa lahat ng nauugnay sa Windows operating system pati na rin ang Android para sa mga mobile phone. At ang aking pangako ay sa iyo, lagi akong handang gumugol ng ilang minuto at tulungan kang lutasin ang anumang mga katanungan na maaaring mayroon ka sa mundo ng internet na ito.