Alan Turing. Oracle predicts ó chaos

Shamhlaigh Alan Turing "oracle" a chruthú a bheadh ​​in ann aon cheist a fhreagairt. Níor thóg sé féin ná aon duine eile a leithéid de mheaisín. Mar sin féin, is féidir an tsamhail ríomhaire a tháinig an matamaiticeoir iontach chun cinn i 1936 a mheas mar mhaitrís na haoise ríomhaireachta - ó áireamháin shimplí go sárríomhairí cumhachtacha.

Is gléas simplí algartamaíoch é an meaisín a thóg Turing, fiú primitive i gcomparáid le ríomhairí agus teangacha ríomhchlárúcháin an lae inniu. Agus fós tá sé láidir go leor chun a cheadú fiú na halgartaim is casta a chur i gcrích.

Alan Turing

Sa sainmhíniú clasaiceach, déantar cur síos ar mheaisín Turing mar mhúnla teibí de ríomhaire a úsáidtear chun halgartaim a fhorghníomhú, arb é atá ann téip gan teorainn fhada roinnte ina réimsí ina scríobhtar sonraí. Is féidir leis an téip a bheith gan teorainn ar thaobh amháin nó ar an dá thaobh. Is féidir le gach réimse a bheith i gceann de na stáit N. Tá an meaisín suite i gcónaí os cionn ceann de na réimsí agus tá sé i gceann de na M-stáit. Ag brath ar an meascán de staid an mheaisín agus an réimse, scríobhann an meaisín luach nua ar an réimse, athraíonn an stát, agus ansin féadfaidh sé réimse amháin a bhogadh ar dheis nó ar chlé. Tugtar ordú ar an oibríocht seo. Tá meaisín Turing rialaithe ag liosta ina bhfuil aon líon treoracha den sórt sin. Féadfaidh na huimhreacha N agus M a bheith ina rud ar bith, chomh fada agus a bhíonn siad críochta. Is féidir an liosta treoracha le haghaidh meaisín Turing a mheas mar a chlár.

Tá téip ionchuir ag an múnla bunúsach roinnte i gcealla (cearnóga) agus ceann téip nach féidir ach cill amháin a urramú ag aon am ar leith. Is féidir le carachtar amháin as aibítir críochta de charachtair a bheith i ngach cill. Go traidisiúnta, meastar go gcuirtear seicheamh na siombailí ionchuir ar an téip, ag tosú ón taobh clé, líontar na cealla atá fágtha (ar dheis na siombailí ionchuir) le siombail speisialta den téip.

Mar sin, tá na gnéithe seo a leanas i meaisín Turing:

• ceann sochorraithe léite/scríofa atá in ann bogadh trasna na téipe, ag bogadh cearnóg amháin ag an am;
• sraith críochta stát;
• aibítir carachtar deiridh;
• stiall gan teorainn le cearnóga marcáilte, agus féadfaidh siombail amháin a bheith i ngach ceann díobh;
• léaráid trasdula stáit le treoracha a chuireann faoi deara athruithe ag gach stad.

Hyperríomhairí

Cruthaíonn an Turing Machine go mbeidh teorainneacha dosheachanta ag aon ríomhaire a thógfaimid. Mar shampla, a bhaineann leis an teoirim neamhiomlán cáiliúil Gödel. Chruthaigh matamaiticeoir Sasanach go bhfuil fadhbanna ann nach féidir le ríomhaire a réiteach, fiú má bhainimid úsáid as peitil ríomhaireachta uile an domhain chun na críche seo. Mar shampla, ní féidir leat a rá go brách an rachaidh clár isteach i lúb loighciúil a athdhéantar gan teorainn, nó an mbeidh sé in ann deireadh a chur leis - gan triail a bhaint as clár a bhfuil an baol ann dul isteach i lúb, etc. (ar a dtugtar fadhb stad). I measc rudaí eile, is é an éifeacht atá ag na féidearthachtaí seo i bhfeistí a tógadh tar éis cruthú an mheaisín Turing ná “scáileán gorm an bháis” ar úsáideoirí ríomhairí.

Leabhar Alan Turing saor in aisce,

Is féidir an fhadhb comhleá, mar atá léirithe ag obair Java Siegelman, a foilsíodh i 1993, a réiteach trí ríomhaire atá bunaithe ar líonra néarúil, atá comhdhéanta de phróiseálaithe atá nasctha lena chéile ar bhealach a dhéanann mimics ar struchtúr na hinchinne, le a. toradh ríomhaireachtúil ó cheann ag dul go "ionchur" go ceann eile. Tá an coincheap "hypercomputers" tagtha chun cinn, a úsáideann meicníochtaí bunúsacha na cruinne chun ríomhaireachtaí a dhéanamh. Is éard a bheadh ​​iontu seo - is cuma cé chomh coimhthíocha a d'fhéadfadh sé a bheith ann - meaisíní a dhéanann líon gan teorainn oibríochtaí in am teoranta. Mhol Mike Stannett ó Ollscoil Sheffield na Breataine, mar shampla, úsáid leictreon in adamh hidrigine, rud a d'fhéadfadh a bheith ann go teoiriciúil i líon gan teorainn stáit. Fiú go bhfuil ríomhairí chandamach níos lú i gcomparáid le hintleacht na gcoincheap seo.

Le blianta beaga anuas, tá eolaithe ag filleadh ar an aisling ar "oracle" nár thóg Turing féin nó fiú iarracht. Creideann Emmett Redd agus Steven Younger ó Ollscoil Missouri gur féidir "supermachine Turing" a chruthú. Leanann siad an cosán céanna a ghlac an Chava Siegelman thuasluaite, ag tógáil líonraí néaracha ina bhfuil raon iomlán stát ag an ionchur-aschur, in ionad luachanna náid a haon - ón comhartha “go hiomlán ar aghaidh” go “go hiomlán as”. . Mar a mhíníonn Redd in eagrán Iúil 2015 de NewScientist, “idir 0 agus 1 luíonn gan teorainn.”

Chuaigh Bean Siegelman le beirt thaighdeoirí Missouri, agus le chéile thosaigh siad ag iniúchadh féidearthachtaí an chaos. De réir na tuairisce coitianta, tugann teoiric chaos le fios go mbíonn hairicín sa leathsféar eile de bharr sciatháin féileacán a bhualadh i leathsféar amháin. Tá mórán mar a chéile i gcuimhne na n-eolaithe a thógann supermachine Turing - córas ina mbíonn iarmhairtí móra ag athruithe beaga.

Faoi dheireadh 2015, a bhuíochas le hobair Siegelman, Redd, and Younger, ba cheart dhá ríomhairí fréamhshamhlacha bunaithe ar chaos a thógáil. Is líonra néarúil é ceann acu ina bhfuil trí chomhpháirt leictreonacha thraidisiúnta atá nasctha trí aon nasc déag synaptic. Is gléas fótónach é an dara ceann a úsáideann solas, scátháin, agus lionsaí chun aon néaróin déag agus 3600 sionaps a athchruthú.

Tá go leor eolaithe amhrasach go bhfuil tógáil "Super-Turing" réalaíoch. I gcás daoine eile, bheadh ​​meaisín den sórt sin ina chaitheamh aimsire fisiceach ar randamacht an dúlra. Tagann omniscience an nádúir, ar an bhfíric go bhfuil a fhios aige na freagraí go léir, ón bhfíric gur nádúr é. Tá a fhios ag an gcóras a atáirgeann nádúr, na Cruinne, gach rud, is oracle é, toisc go bhfuil sé mar an gcéanna le gach duine eile. B’fhéidir gurb é seo an cosán chuig sárfhaisnéis shaorga, chuig rud a athchruthaíonn go sásúil castacht agus obair chaotic inchinn an duine. Mhol Turing féin uair amháin raidiam radaighníomhach a chur isteach i ríomhaire a bhí deartha aige chun torthaí a chuid ríomhaireachtaí a dhéanamh anord agus randamach.

Mar sin féin, fiú má oibríonn fréamhshamhlacha de supermachines chaos-bhunaithe, tá an fhadhb fós conas a chruthú go bhfuil siad i ndáiríre na supermachines. Níl aon smaoineamh ag eolaithe fós maidir le tástáil scagthástála oiriúnach. Ó thaobh ríomhaire caighdeánach a d'fhéadfaí a úsáid chun é seo a sheiceáil, is féidir supermachines a mheas mar earráideach mar a thugtar air, is é sin, earráidí córais. Ó thaobh an duine, is féidir gach rud a bheith go hiomlán dothuigthe agus ... chaotic.