Alan Turing. Oracle yana annabta daga hargitsi

Alan Turing yayi mafarkin ƙirƙirar "baki" mai iya amsa kowace tambaya. Shi ko wani bai gina irin wannan inji ba. Duk da haka, tsarin kwamfuta wanda ƙwararren masanin lissafi ya zo da shi a cikin 1936 ana iya la'akari da matrix na shekarun kwamfuta - daga masu ƙididdiga masu sauƙi zuwa manyan kwamfutoci masu ƙarfi.

Na'urar da Turing ta gina wata na'ura ce mai sauƙi ta algorithm, har ma da farko idan aka kwatanta da kwamfutoci da harsunan shirye-shirye na yau. Kuma duk da haka yana da ƙarfi don ba da damar ko da mafi hadaddun algorithms don aiwatar da su.

Alan Turing

A cikin ma’anar gargajiya, ana siffanta na’urar Turing a matsayin wani samfurin kwamfuta da ake amfani da shi don aiwatar da algorithms, wanda ya ƙunshi tef ɗin dogon mara iyaka zuwa wuraren da ake rubuta bayanai. Tef ɗin na iya zama marar iyaka a gefe ɗaya ko a bangarorin biyu. Kowane filin yana iya kasancewa a cikin ɗaya daga cikin jihohin N. Na'urar koyaushe tana saman ɗaya daga cikin filayen kuma tana cikin ɗaya daga cikin jihohin M. Dangane da yanayin yanayin injin da filin, injin yana rubuta sabon ƙima zuwa filin, yana canza yanayin, sannan yana iya matsar da filin ɗaya zuwa dama ko hagu. Ana kiran wannan aiki oda. Ana sarrafa injin Turing ta jerin da ke ɗauke da kowane adadin irin waɗannan umarnin. Lambobin N da M na iya zama komai, muddin suna da iyaka. Ana iya ɗaukar jerin umarnin injin Turing azaman shirin sa.

Samfurin asali yana da tef ɗin shigar da aka raba zuwa sel (squares) da kan tef wanda ke iya kallon tantanin halitta ɗaya kawai a kowane lokaci. Kowane tantanin halitta na iya ƙunsar harafi ɗaya daga ƙaƙƙarfan haruffan haruffa. A al'ada, an yi la'akari da cewa an sanya jerin alamomin shigarwa a kan tef, farawa daga hagu, sauran sel (zuwa dama na alamun shigarwa) suna cike da alamar musamman na tef.

Don haka, injin Turing ya ƙunshi abubuwa masu zuwa:

• shugaban karantawa/rubutu mai motsi wanda zai iya motsawa a fadin tef, yana motsi murabba'i daya a lokaci guda;
• Ƙayyadadden tsarin jihohi;
• haruffa na ƙarshe;
• tsiri marar iyaka tare da murabba'ai masu alama, kowannensu na iya ƙunsar harafi ɗaya;
• zanen canji na jiha tare da umarnin da ke haifar da canje-canje a kowane tasha.

Hypercomputers

Injin Turing yana tabbatar da cewa kowace kwamfuta da muka gina za ta sami iyakoki na makawa. Misali, mai alaƙa da sanannen ka'idar rashin cikawa ta Gödel. Wani masanin lissafi dan kasar Ingila ya tabbatar da cewa akwai matsalolin da kwamfuta ba za ta iya magance su ba, ko da kuwa mun yi amfani da duk wani nau’in kimputa na duniya don haka. Misali, ba za ku taɓa sanin ko shirin zai shiga cikin madaidaicin madaidaicin maimaitawa ba, ko kuma zai iya ƙarewa - ba tare da fara gwada shirin da ke haɗarin shiga madauki ba, da sauransu (wanda ake kira matsalar tsayawa). Tasirin waɗannan rashin yiwuwar a cikin na'urorin da aka gina bayan ƙirƙirar na'urar Turing shine, a tsakanin sauran abubuwa, sanannun "blue allon mutuwa" ga masu amfani da kwamfuta.

Littafin littafin Alan Turing

Matsalolin fusion, kamar yadda aikin Java Siegelman ya nuna, wanda aka buga a 1993, ana iya magance shi ta hanyar kwamfutar da ke kan hanyar sadarwa ta jijiyoyi, wanda ya ƙunshi na'urori masu sarrafawa da ke haɗa juna ta hanyar da ta dace da tsarin kwakwalwa, tare da sakamakon lissafi daga ɗaya zuwa "shigar" zuwa wani. Tunanin "hypercomputers" ya bayyana, wanda ke amfani da mahimman hanyoyin sararin samaniya don yin lissafi. Waɗannan za su zama - duk da haka na iya sauti - inji waɗanda ke yin ayyuka marasa iyaka a cikin ƙayyadadden lokaci. Mike Stannett na Jami'ar Sheffield na Burtaniya ya ba da shawarar, alal misali, yin amfani da na'urar lantarki a cikin kwayar hydrogen atom, wanda a ka'idar zai iya kasancewa a cikin jihohi marasa iyaka. Hatta kwamfutocin kwamfutoci ba su da kyan gani idan aka kwatanta da kwazon waɗannan dabaru.

A cikin 'yan shekarun nan, masana kimiyya suna komawa zuwa mafarki na "baƙi" wanda Turing da kansa bai taɓa ginawa ba ko ma gwadawa. Emmett Redd da Steven Younger na Jami'ar Missouri sun yi imanin cewa yana yiwuwa a ƙirƙira "Turing supermachine". Suna bin hanyar da Chava Siegelman da aka ambata a baya ya ɗauka, suna gina hanyoyin sadarwa na jijiyoyi waɗanda a cikin shigarwa-fitarwa, maimakon ƙimar sifili ɗaya, akwai jigon jihohi - daga siginar “cikakken kunnawa” zuwa “kashe gaba ɗaya” . Kamar yadda Redd yayi bayani a cikin fitowar NewScientist na Yuli 2015, "tsakanin 0 da 1 yana da iyaka."

Misis Siegelman ta haɗu da masu binciken Missouri guda biyu, kuma tare suka fara bincika yiwuwar hargitsi. Bisa ga sanannen kwatancin, ka'idar rikice-rikice ta nuna cewa fiffiken fuka-fukan malam buɗe ido a wani yanki yana haifar da guguwa a ɗayan. Masana kimiyyar da suka gina babban injin na Turing suna da irin wannan a zuciya - tsarin da ƙananan canje-canje ke da babban sakamako.

Ya zuwa ƙarshen 2015, godiya ga aikin Siegelman, Redd, da Matasa, ya kamata a gina kwamfutoci guda biyu na hargitsi. Ɗaya daga cikinsu ita ce hanyar sadarwa ta jijiyoyi da ta ƙunshi abubuwa uku na al'ada na lantarki da aka haɗa ta hanyar haɗin synaptic goma sha ɗaya. Na biyu shine na'urar photonic da ke amfani da haske, madubai, da ruwan tabarau don sake haifar da neurons guda goma sha ɗaya da synapses 3600.

Yawancin masana kimiyya suna da shakku cewa gina "super-Turing" na gaskiya ne. Ga wasu, irin wannan na'ura zai zama wasan motsa jiki na bazuwar yanayi. Masanin ilimin halitta, gaskiyar cewa ya san duk amsoshin, ya zo ne daga gaskiyar cewa dabi'a ce. Tsarin da ke haifar da yanayi, Duniya, ta san komai, magana ce, domin daidai yake da kowa. Watakila wannan ita ce hanya zuwa ga wani gwani na wucin gadi, zuwa wani abu da ya dace da sake haifar da rikitarwa da rikice-rikice na kwakwalwar ɗan adam. Turing kansa ya taba ba da shawarar sanya radium mai radiyo a cikin kwamfutar da ya ƙera don sanya sakamakon lissafinsa ya rikice da kuma bazuwar.

Koyaya, ko da samfuran manyan injiniyoyi na tushen hargitsi suna aiki, matsalar ita ce yadda za a tabbatar da cewa su ne ainihin waɗannan manyan injiniyoyi. Har yanzu masana kimiyya ba su da ra'ayi don gwajin gwajin da ya dace. Daga mahangar daidaitacciyar kwamfuta da za a iya amfani da ita don bincika wannan, ana iya ɗaukar manyan injiniyoyi a matsayin abin da ake kira kuskure, wato, kurakuran tsarin. Daga ra'ayi na ɗan adam, komai na iya zama gabaɗaya mara fahimta kuma ... hargitsi.