Alan Turing. Oracle predi soti nan dezòd

Alan Turing reve pou kreye yon "oracle" ki kapab reponn nenpòt kesyon. Ni li ni okenn lòt moun te konstwi yon machin konsa. Sepandan, modèl òdinatè a ke matematisyen an briyan te vini ak an 1936 ka konsidere kòm matris la nan laj òdinatè a - soti nan kalkilatris senp yo super òdinatè pwisan.

Machin Turing te konstwi a se yon senp aparèy algoritmik, menm primitif konpare ak òdinatè ak langaj pwogramasyon jodi a. E poutan li fò ase pou pèmèt menm algoritm ki pi konplèks yo dwe egzekite.

Alan Turing

Nan definisyon klasik la, yon machin Turing dekri kòm yon modèl abstrè nan yon òdinatè ki itilize pou egzekite algoritm, ki fòme ak yon kasèt enfiniman long divize an jaden kote done yo ekri. Tep la ka kontinuèl sou yon bò oswa sou tou de bò. Chak jaden ka nan youn nan N eta. Se machin nan toujou sitiye pi wo a youn nan jaden yo epi li se nan youn nan M-eta yo. Tou depan de konbinezon an nan eta machin ak jaden, machin nan ekri yon nouvo valè nan jaden an, chanje eta a, ak Lè sa a, ka deplase yon jaden sou bò dwat la oswa sou bò gòch. Operasyon sa a rele yon lòd. Yon machin Turing kontwole pa yon lis ki gen nenpòt kantite enstriksyon sa yo. Nimewo N ak M yo kapab nenpòt bagay, osi lontan ke yo fini. Lis enstriksyon pou yon machin Turing ka konsidere kòm pwogram li yo.

Modèl debaz la gen yon kasèt opinyon divize an selil (kare) ak yon tèt kasèt ki ka sèlman obsève yon sèl selil nan nenpòt ki lè. Chak selil ka genyen yon karaktè nan yon alfabè fini nan karaktè. Konvansyonèl, li konsidere ke se sekans senbòl opinyon yo mete sou kasèt la, kòmanse nan bò gòch la, selil ki rete yo (sou bò dwat la nan senbòl yo opinyon) yo plen ak yon senbòl espesyal nan kasèt la.

Kidonk, yon machin Turing konsiste de eleman sa yo:

• yon tèt li/ekri mobil ki ka deplase atravè kasèt la, deplase yon kare alafwa;
• yon seri eta fini;
• final karaktè alfabè;
• yon bann kontinuèl ak kare make, chak nan yo ki ka genyen yon senbòl;
• yon dyagram tranzisyon eta ak enstriksyon ki lakòz chanjman nan chak arè.

Hyperordinateurs

Machin Turing la pwouve ke nenpòt òdinatè nou bati pral gen limit inevitab. Pou egzanp, ki gen rapò ak pi popilè Gödel teyorèm enkonplè. Yon matematisyen angle te pwouve ke gen pwoblèm ke yon òdinatè pa ka rezoud, menm si nou itilize tout petaflops enfòmatik nan mond lan pou objektif sa a. Pou egzanp, ou pa janm ka di si yon pwogram pral antre nan yon bouk lojik enfiniman repete, oswa si li pral kapab fini - san yo pa eseye anvan yon pwogram ki riske antre nan yon bouk, elatriye (yo rele yon pwoblèm stop). Efè enposib sa yo nan aparèy ki te bati apre kreyasyon machin Turing se, pami lòt bagay, "ekran ble lanmò" abitye pou itilizatè òdinatè yo.

Kouvèti liv Alan Turing

Pwoblèm fizyon an, jan yo montre travay Java Siegelman, pibliye an 1993, ka rezoud pa yon òdinatè ki baze sou yon rezo neral, ki gen ladann processeurs ki konekte youn ak lòt nan yon fason ki imite estrikti nan sèvo, ak yon rezilta enfòmatik soti nan yon ale nan "antre" nan yon lòt. Konsèp "hypercomputers" te parèt, ki sèvi ak mekanis fondamantal linivè pou fè kalkil. Sa yo ta dwe - sepandan ekzotik li ka son - machin ki fè yon kantite enfini nan operasyon nan yon tan fini. Mike Stannett nan Inivèsite Britanik Sheffield te pwopoze, pou egzanp, itilizasyon yon elèktron nan yon atòm idwojèn, ki nan teyori ka egziste nan yon kantite enfini nan eta. Menm òdinatè pwopòsyon pal an konparezon ak odas konsèp sa yo.

Nan dènye ane yo, syantis yo te retounen nan rèv la nan yon "oracle" ke Turing tèt li pa janm bati oswa menm eseye. Emmett Redd ak Steven Younger nan University of Missouri kwè li posib pou kreye yon "Turing supermachine". Yo swiv menm chemen an ke Chava Siegelman mansyone pi wo a te pran, bati rezo neral kote nan opinyon-pwodiksyon an, olye pou yo valè zewo-yon sèl, gen yon seri antye nan eta - soti nan siyal la "konplètman sou" nan "konplètman koupe". . Jan Redd eksplike nan nimewo jiyè 2015 la nan NewScientist, "ant 0 ak 1 manti enfini."

Madam Siegelman te rejwenn de chèchè Missouri, epi ansanm yo te kòmanse eksplore posiblite pou dezòd. Dapre deskripsyon popilè a, teyori dezòd sijere ke bat zèl yon papiyon nan yon emisfè lakòz yon siklòn nan lòt la. Syantis yo ki bati supermachine Turing a gen anpil menm bagay la nan tèt ou - yon sistèm nan ki ti chanjman yo gen gwo konsekans.

Rive nan fen ane 2015, gras ak travay Siegelman, Redd, and Younger, yo ta dwe konstwi de pwototip òdinatè ki baze sou dezòd. Youn nan yo se yon rezo neral ki gen twa konpozan elektwonik konvansyonèl ki konekte pa onz koneksyon sinaptik. Dezyèm lan se yon aparèy fotonik ki sèvi ak limyè, miwa, ak lantiy pou rkree onz newòn ak 3600 sinaps.

Anpil syantis yo ensèten ke bati yon "super-Turing" se reyalis. Pou lòt moun, tankou yon machin ta dwe yon rekreyasyon fizik nan owaza nan lanati. Omnisyans lanati, lefèt ke li konnen tout repons yo, soti nan lefèt ke li se lanati. Sistèm ki repwodui lanati, Linivè, konnen tout bagay, se yon Oracle, paske se menm jan ak tout lòt moun. Petèt sa a se chemen an nan yon sipè entèlijans atifisyèl, nan yon bagay ki byen rekree konpleksite a ak travay chaotic nan sèvo imen an. Turing tèt li yon fwa sijere mete radyo-aktif nan yon òdinatè li te fèt pou fè rezilta yo nan kalkil li yo kaotik ak o aza.

Sepandan, menm si pwototip supermachines ki baze sou dezòd travay, pwoblèm nan rete kòman pou pwouve ke yo vrèman se supermachines sa yo. Syantis yo poko gen yon lide pou yon tès depistaj apwopriye. Soti nan pwen de vi nan yon òdinatè estanda ki ta ka itilize yo tcheke sa a, supermachines ka konsidere kòm sa yo rele inègza, se sa ki, erè sistèm. Soti nan yon pwen de vi imen, tout bagay ka konplètman enkonpreyansib ak ... chaotic.