Alan Turing. Oracle wuxuu saadaaliyaa fowdo

Alan Turing wuxuu ku riyooday inuu abuuro "oracle" awood u leh inuu ka jawaabo su'aal kasta. Isaga iyo cid kale toona ma samayn mishiin noocaas ah. Si kastaba ha ahaatee, qaabka kombiyuuterka ee xisaabyahankii quruxda badnaa uu la yimid 1936 ayaa loo tixgelin karaa matrix da'da kombuyuutarka - laga bilaabo xisaabiyeyaasha fudud ilaa kombuyuutarrada awoodda leh.

Mashiinka ay dhistay Turing waa qalab algorithm ah oo fudud, xittaa qadiimiga ah marka loo eego kombayutarada maanta iyo luqadaha barnaamijyada. Haddana way adag tahay in la oggolaado xitaa algorithms-yada ugu adag in la fuliyo.

Alan Turing

Qeexida qadiimiga ah, mashiinka Turing-ka waxaa lagu tilmaamay inuu yahay qaab aan la taaban karin oo kombuyuutar ah oo loo isticmaalo fulinta algorithms, oo ka kooban cajalad dheer oo aan dhammaad lahayn oo loo qaybiyay goobo xogta lagu qoray. Cajaladu waxay noqon kartaa mid aan dhammaad lahayn hal dhinac ama labada dhinacba. Goob kastaa waxay noqon kartaa mid ka mid ah gobolada N. Mashiinku wuxuu had iyo jeer ku yaal meel ka sarreysa mid ka mid ah beeraha wuxuuna ku yaal mid ka mid ah gobollada M. Iyada oo ku xidhan isku-darka gobolka iyo goobta mishiinku, mishiinku waxa uu u qoraa qiime cusub goobta, beddelaa gobolka, ka dibna waxa laga yaabaa inuu hal goob u guuro midig ama bidix. Hawlgalkan waxaa loo yaqaan amar. Mashiinka Turing-ka waxaa gacanta ku haya liis ka kooban tiro kasta oo tilmaamo ah. Nambarada N iyo M waxay noqon karaan wax kasta, waase haddii ay dhammaad yihiin. Liiska tilmaamaha mashiinka Turing waxaa loo malayn karaa barnaamijkiisa.

Qaabka aasaasiga ah waxa uu leeyahay cajalad wax gelinta ah oo loo qaybiyay unugyo (squares) iyo madax cajalad oo kaliya eegi kara hal unug wakhti kasta. Unug kastaa waxa uu ka koobnaan karaa hal xaraf oo ka mid ah alifbeetada jilayaasha. Caadi ahaan, waxaa loo tixgeliyaa in taxanaha calaamadaha gelinta lagu dhejiyo cajaladda, laga bilaabo bidixda, unugyada haray (midig ee calaamadaha wax-gelinta) waxaa ka buuxa calaamad gaar ah oo cajalad ah.

Sidaa darteed, mashiinka Turing wuxuu ka kooban yahay walxaha soo socda:

• madax wax-akhris/qoraal oo dhaqaaqi karo oo ka gudbi kara cajaladda, oo hadba dhinac u wareegaysa;
• Dawlad-goboleedyo kooban;
• alifbeetada dabeecadda kama dambaysta ah;
• xariijin aan dhammaad lahayn oo leh afar geesood oo calaamadeysan, oo mid walba uu ka koobnaan karo hal dabeecad;
• jaantus kala-guurka gobolka oo leh tilmaamo keenaya isbeddelo joogsi kasta.

Hypercomputer

Mashiinka Turing wuxuu caddaynayaa in kumbiyuutar kasta oo aan dhisno uu yeelan doono xaddidaad lama huraan ah. Tusaale ahaan, ee la xidhiidha aragtida caanka ah ee Gödel dhammaystir-la'aanta. Xisaabiye Ingiriis ah ayaa caddeeyey inay jiraan dhibaatooyin uusan kumbiyuutarku xallin karin, xitaa haddii aan u isticmaalno dhammaan ujeeddada xisaabinta petaflops adduunka oo dhan. Tusaale ahaan, marna ma ogaan kartid in barnaamijku uu geli doono wareeg macquul ah oo soo noqnoqonaya, ama haddii uu awoodi doono inuu joojiyo - adoon marka hore isku dayin barnaamij khatar gelinaya inuu galo wareegga, iwm. (loo yaqaan dhibaatada joojinta). Saamaynta suurtagalnimada kuwan aaladaha la dhisay ka dib abuurista mishiinka Turing waa, waxyaabo kale, "shaashadda buluuga ah ee dhimashada" ee la yaqaan ee isticmaalayaasha kombuyuutarka.

Alan Turing daboolka buugga

Dhibaatada isku dhafka ah, sida ku cad shaqada Java Siegelman, oo la daabacay 1993, waxaa lagu xallin karaa kombuyuutar ku salaysan shabakad neerfaha, kaas oo ka kooban processors ku xiran midba midka kale si uu u ekaado dhismaha maskaxda, oo leh a natiijada xisaabinta ee mid ka mid ah u socota "gelinta" mid kale. Waxaa soo baxday fikradda "hypercomputers", kuwaas oo adeegsada hababka aasaasiga ah ee caalamka si ay u fuliyaan xisaabinta. Kuwani waxay noqon karaan - si kastaba ha ahaatee waxay u dhawaaqi karaan qalaad - mashiino fulinaya tiro hawlgallo aan dhammaad lahayn waqti xaddidan gudaheed. Mike Stannett oo ka tirsan jaamacadda Ingiriiska ee Sheffield ayaa soo jeediyay, tusaale ahaan, isticmaalka elektarooniga atamka hydrogen-ka, kaas oo aragti ahaan ka jiri kara tiro aan dhammaad lahayn oo dawlado ah. Xataa kombayutarada quantumku way cirro marka la barbar dhigo dhiiranaanta fikradahan.

Sanadihii la soo dhaafay, saynisyahannadu waxay ku soo laabanayeen riyada "oracle" oo Turing qudhiisu waligiis ma dhisin ama xitaa isku dayin. Emmett Redd iyo Steven Younger oo ka tirsan Jaamacadda Missouri ayaa aaminsan inay suurtogal tahay in la abuuro "Turing supermachine". Waxay raacaan dariiqa la midka ah ee Chava Siegelman ee aan soo sheegnay qaaday, dhisidda shabakadaha neerfayaasha taas oo marka la soo saaro wax-soo-saarka, halkii qiimaha eber-ka ah, waxaa jira noocyo kala duwan oo dawlado ah - laga bilaabo calaamadda "si buuxda u shidan" ilaa "si buuxda" . Sida Redd ku sharraxay daabacaadda Juulaay 2015 ee NewScientist, "inta u dhaxaysa 0 iyo 1 been infinity."

Mrs. Siegelman waxay ku biirtay laba cilmi-baare oo Missouri ah, waxayna si wadajir ah u bilaabeen inay sahamiyaan suurtagalnimada fowdo. Marka loo eego sharraxaadda caanka ah, aragtida fowdada waxay soo jeedinaysaa in baalasha baalasha balanbaalista ee cirifka dhexe ay sababto duufaan dhinaca kale ah. Saynis yahanada dhisay mashiinada weyn ee Turing ayaa maskaxda ku haya wax badan oo isku mid ah - nidaam ay isbeddellada yaryar ku leeyihiin cawaaqib weyn.

Dhammaadka 2015, mahadsanid shaqada Siegelman, Redd, iyo Younger, waa in la dhiso laba nooc oo kombiyuutar ku salaysan fowdo. Mid ka mid ah waa shabakad neerfaha ah oo ka kooban saddex qaybood oo elektiroonig ah oo caadi ah oo ay ku xiran yihiin kow iyo toban xiriiriye. Midda labaad waa qalab sawir-qaade ah oo adeegsada iftiinka, muraayadaha, iyo muraayadaha si ay dib ugu abuuraan kow iyo toban neurons iyo 3600 synapses.

Saynis yahano badan ayaa ka shakisan in la dhisayo "super-Turing" ay tahay mid macquul ah. Kuwa kale, mishiinka noocan oo kale ah wuxuu u noqon lahaa madadaalada jireed ee randomity ee dabeecadda. Aqoonta dabiiciga ah, xaqiiqda ah in ay ogtahay dhammaan jawaabaha, waxay ka timaaddaa xaqiiqda ah inay tahay dabeecadda. Nidaamka soo saara dabeecadda, Caalamka, wax walba waa yaqaan, waa af-yaqaan, sababtoo ah waa la mid ah dadka kale. Waxaa laga yaabaa in tani ay tahay dariiqa loo maro garaadka macmalka ah, ee loo maro shay si waafi ah dib ugu soo celiya kakanaanta iyo shaqada qaska ee maskaxda aadanaha. Turing laftiisa ayaa mar soo jeediyay in la geliyo radium radioactive kombuyuutar uu u qorsheeyay si uu natiijada xisaabtiisa uga dhigo mid qasan oo aan kala sooc lahayn.

Si kastaba ha noqotee, xitaa haddii noocyada mashiinnada waaweyn ee fowdada ku salaysan ay shaqeeyaan, dhibaatadu waxay ahaanaysaa sidii loo caddayn lahaa inay runtii yihiin mashiinnadan waaweyn. Saynis yahanadu wali ma haystaan ​​fikrad ah tijaabada baadhista ku haboon. Marka la eego dhinaca kombuyuutarka caadiga ah ee loo isticmaali karo si loo hubiyo tan, supermachines waxaa loo tixgelin karaa waxa loogu yeero qalad, taas oo ah, khaladaadka nidaamka. Marka laga eego aragtida aadanaha, wax walba waxay noqon karaan kuwo aan la fahmi karin oo ... fowdo.