- Fiziklar simulyatsiya qilingan koinot gipotezasini shubha ostiga qo'yib, haqiqatni algoritmlar bilan takrorlab bo'lmaydi, deb taklif qilishadi.
- Ish kvant tortishish va Gödelning to'liqsizlik teoremasi kabi mantiqiy teoremalarni birlashtiradi.
- Mualliflarning ta'kidlashicha, voqelikning biron bir mashina tomonidan hisoblab bo'lmaydigan jihatlari bor.
- Muhokama Yevropa va Ispaniyada ko‘rib chiqilishi va qo‘shimcha test o‘tkazishga chaqiruvlari bilan kuchayib bormoqda.
Yillar davomida, biz simulyatsiya ichida yashaymiz degan gipoteza Bu muhokamalar, forumlar va laboratoriyalarda muhokama qilingan. Endi bir nechta fiziklar tomonidan yozilgan maqola matematik elementni taqdim etadi, uning mualliflariga ko'ra, U "simulyatsiya qilingan koinot" g'oyasini hisoblash asosisiz qoldiradi..
Mir Fayzal (UBC Okanagan) boshchiligidagi jamoa va Lourens M. Krauss, Arshid Shabir va Franchesko Marino hamkorligida o'z xulosalarini Fizikadagi Holografiya ilovalari jurnalida va akademik omborlarda chop etdi. Ularning asosiy tezisi shundan iborat Haqiqatning asoslari algoritmik bo'lmagan tushunishni nazarda tutadi, har qanday dastur doirasidan tashqarida.
Yangi ish aynan nimani qo'llab-quvvatlaydi?
Taklif nazariy fizika va matematik mantiqni bog'laydi: yordamida Gödelning to'liqsizlik teoremasiTadqiqotchilar buni ta'kidlaydilar har qanday rasmiy tizimda Ichkaridan isbotlab bo'lmaydigan haqiqatlar doimo mavjud.. Kosmologiyaga o'tkazildiBu shuni anglatadiki, sof hisoblash nazariyasi hech qachon butun haqiqatni qamrab olmaydi.
Fayzal bu fikrni qisqacha bayon qiladi: Kvant tortishishning hisoblash nazariyasidan foydalangan holda jismoniy dunyoning keng qamrovli tavsifiUlarning hisob-kitoblariga ko'ra, printsipial jihatdan mumkin emasBoshqacha qilib aytganda, hisoblash kuchining etishmasligi emas, balki engib bo'lmaydigan mantiqiy chegara bo'lar edi.
Kalit simulyatsiya tushunchasida yotadi: barcha simulyatsiyaga bog'liq qoidalar va algoritmlarchiqishlarni yaratish uchun kirishlarni qayta ishlaydi. Agar ular mavjud bo'lsa har qanday algoritmik protsedura uchun mavjud bo'lmagan haqiqiy faktlar, hech bir kompyuter haqiqatni yo'qota olmaydiuning arxitekturasi qanchalik nozik bo'lishi mumkin.
"Koinot simulyatsiyasi" gipotezasiga ta'sir
Hammuallif Lourens M. Krauss buni to'g'ridan-to'g'ri aytadi: agar asosiy qonunlar fazo-vaqtning o'zini keltirib chiqarsa, ular u tomonidan cheklanib qolishi mumkin emasUshbu o'qish bajariladigan kodda ifodalangan "hamma narsa nazariyasi" ni kutishni shubha ostiga qo'yadi.
Tadqiqot shuningdek, rekursiyaning klassik e'tiroziga (simulyatsiyalar ichidagi simulyatsiyalar) murojaat qiladi. Qatlamlarni qo'shish muammoni hal qilmaydi, deyishadi, chunki algoritmik mashinalar zanjiri U hali ham mantiqan hisoblab bo'lmaydigan narsani yarata olmaydi.
Mualliflarning fikriga ko'ra, munozara shunchaki spekulyativ sohadan yanada rasmiyroq sohaga o'tadi: tekshirilishi mumkin bo'lgan matematik vositalarBiroq, ular qo'llanilgan teoremalarning ko'lami "hisoblash" ning barcha tasavvur qilingan variantlarini qamrab oladimi yoki yo'qligini muhokama qilish kerakligini tan olishadi.
Yevropa akademik muhitida, Taklif qiziqish va ehtiyotkorlikni uyg'otdi.Maslahatlashgan bir qancha guruhlar ta'kidlashicha, garchi mulohaza yurituvchi bo'lsa ham, Taxminlar va ta'riflarni ko'rib chiqish tavsiya etiladi (biz qanday hisoblashni qabul qilamiz, fizikada "algoritmik bo'lmagan" nimani anglatadi) yakuniy deb e'lon qilishdan oldin.
Ispaniyada muhokamalar zarur bo'lgan joylarda seminarlar va ilmiy tarmoqlar orqali tarqaldi mustaqil replikatsiya va mantiqiy-rasmiy yordamni kattalashtiruvchi oyna bilan tekshirishShu bilan birga, ommaviy axborot vositalari ongning tabiati va uning tabiati haqidagi klassik savollarni qayta tiklaydi sun'iy intellektning chegaralari.
Nimani tekshirish kerak
Texnik jihat ekstrapolyatsiyada yotadi: Rasmiy tizimlarda isbotlab bo'lmaydigan haqiqatlarning mavjudligi avtomatik ravishda har bir jismoniy tavsifning o'xshash chegaraga to'g'ri kelishini anglatmaydi.Maqolada bu sakrash batafsil dalillar bilan taklif qilinadi, ammo jamiyat tasdiqlash va nuanslarni so'raydi.
Qanday bo'lmasin, bahs boshqa tomonga o'zgardi. Bu endi "biz kodmiz" yoki yo'qligini taxmin qilish haqida emas, balki haqida hisoblash chegaralari qayerda ekanligini aniqlash haqiqatga nisbatan qo'llaniladiVa bu, nazariy fizikada, Bu juda ko'p yutuq..
Umuman olganda, asar, uning iqtiboslari va keyingi muhokamasi bitta asosiy fikrni qoldiradi: Agar koinotning asosi algoritmlarda mavjud bo'lmagan tushunish shaklini talab qilsa, uni butunlay dasturiy ta'minot sifatida qayta ishlab chiqarish orzusi befoyda. Bu amaldagi qoidalarga muvofiq emas.; Koinot, hech bo'lmaganda, ushbu taklifga ko'ra, dastur emas, balki har qanday mashina uchun qiyinroq narsa bo'lar edi.
Men o'zining "geek" qiziqishlarini kasbga aylantirgan texnologiya ishqiboziman. Men hayotimning 10 yildan ko'prog'ini ilg'or texnologiyalardan foydalanish va qiziquvchanlik tufayli har xil dasturlar bilan shug'ullanishga sarfladim. Hozir men kompyuter texnologiyalari va video o'yinlarga ixtisoslashganman. Buning sababi, 5 yildan ortiq vaqt davomida men texnologiya va video o'yinlar bo'yicha turli veb-saytlar uchun yozaman, sizga kerakli ma'lumotlarni hamma uchun tushunarli tilda berishga intiladigan maqolalar yarataman.
Agar sizda biron bir savol bo'lsa, mening bilimlarim Windows operatsion tizimiga, shuningdek, mobil telefonlar uchun Androidga tegishli. Va mening majburiyatim sizga, men har doim bir necha daqiqa sarflashga va ushbu internet olamidagi barcha savollaringizni hal qilishga yordam berishga tayyorman.