Alan Turing. Oracle o bolela esale pele ho tsoa moferefereng
Alan Turing o ne a lakatsa ho theha "oracle" e khonang ho araba potso leha e le efe. Ha ho eena kapa motho leha e le ofe ea entseng mochine o joalo. Leha ho le joalo, mohlala oa k'homphieutha oo setsebi se bohlale sa lipalo se tlileng ka 1936 se ka nkoa e le matrix a lilemo tsa k'homphieutha - ho tloha ho li-calculator tse bonolo ho ea ho li-supercomputer tse matla.
Mochini o hahiloeng ke Turing ke sesebelisoa se bonolo sa algorithmic, ebile ke sa khale ha se bapisoa le likhomphutha tsa kajeno le lipuo tsa mananeo. Leha ho le joalo e matla ka ho lekaneng ho lumella esita le li-algorithms tse rarahaneng ka ho fetisisa ho etsoa.
Alan Turing
Tlhalosong ea khale, mochine oa Turing o hlalosoa e le mohlala o sa bonahaleng oa k'homphieutha e sebelisetsoang ho etsa li-algorithms, e nang le tepi e telele e ke keng ea lekanngoa e arotsoe ka likarolo tseo data e ngotsoeng ho tsona. Theipi e ka ba e sa feleng ka lehlakoreng le leng kapa ka mahlakoreng a mabeli. Sebaka se seng le se seng se ka ba ho e 'ngoe ea linaha tsa N. Mochini o lula o le kaholimo ho e 'ngoe ea masimo mme o ho e' ngoe ea M-states. Ho itšetlehile ka motsoako oa boemo ba mochine le tšimo, mochine o ngola boleng bo bocha tšimong, o fetola boemo, ebe o ka tsamaisa tšimo e le 'ngoe ho ea ho le letona kapa le letšehali. Opereishene ena e bitsoa taelo. Mochine oa Turing o laoloa ke lethathamo le nang le palo efe kapa efe ea litaelo tse joalo. Linomoro N le M e ka ba eng kapa eng, ha feela li lekanyelitsoe. Lethathamo la litaelo tsa mochini oa Turing le ka nkoa e le lenaneo la lona.
Mohlala oa mantlha o na le tepi ea ho kenya e arotsoeng ka lisele (li-square) le hlooho ea theipi e ka bonang sele e le 'ngoe ka nako efe kapa efe. Sele ka 'ngoe e ka ba le tlhaku e le 'ngoe ho tsoa ho alfabeta e lekanyelitsoeng ea litlhaku. Ka mokhoa o ts'oanang, ho nkoa hore tatellano ea matšoao a ho kenya e behiloe holim'a tepi, ho qala ka ho le letšehali, lisele tse setseng (ka ho le letona la matšoao a ho kenya) li tletse letšoao le khethehileng la tepi.
Kahoo, mochini oa Turing o na le lintlha tse latelang:
- hlooho e balehang / ngola e khonang ho tsamaea ka mose ho theipi, e tsamaisa lisekoere tse le 'ngoe ka nako;
- sete e lekanyelitsoeng ea linaha;
- alfabeta ea litlhaku tsa ho qetela;
- lesela le sa feleng le nang le lisekoere tse tšoailoeng, tseo e 'ngoe le e 'ngoe ea tsona e ka bang le letšoao le le leng;
- setšoantšo sa phetoho ea naha se nang le litaelo tse bakang liphetoho sebakeng se seng le se seng.
Li-hypercomputers
Mochini oa Turing o paka hore komporo efe kapa efe eo re e hahang e tla ba le mefokolo e ke keng ea qojoa. Ka mohlala, e amanang le khopolo e tummeng ea Gödel incompleteness. Setsebi sa lipalo sa Lenyesemane se ile sa paka hore ho na le mathata ao komporo e ke keng ea a rarolla, le haeba re sebelisa li-petaflops tsohle tsa lefatše molemong oa sena. Ka mohlala, ha ho mohla u ka tseba hore na lenaneo le tla kena ka mokhoa o sa feleng oa ho pheta-pheta loop, kapa haeba e ka khaotsa - ntle le ho leka pele lenaneo le ka behang kotsing ea ho kena ka loop, joalo-joalo (e bitsoang bothata ba ho emisa). Phello ea lintho tsena tse sa khoneheng ho lisebelisoa tse hahiloeng ka mor'a ho thehoa ha mochine oa Turing ke, har'a lintho tse ling, "sekirini se seputsoa sa lefu" se tloaelehileng ho basebelisi ba k'homphieutha.
Alan Turing sekoahelo sa buka
Bothata ba fusion, joalo ka ha bo bonts'itsoe ke mosebetsi oa Java Siegelman, o hatisitsoeng ka 1993, bo ka rarolloa ka komporo e thehiloeng marang-rang a neural, a nang le li-processor tse hokahaneng ka tsela e etsisang sebopeho sa boko, se nang le sephetho sa computational ho tloha ho "input" ho ea ho enngwe. Khopolo ea "hypercomputers" e hlahile, e sebelisang mekhoa ea mantlha ea bokahohle ho etsa lipalo. Tsena e ka ba - leha ho le joalo e ka utloahala e le ntho e makatsang - mechini e sebetsang ka bongata bo sa feleng ka nako e lekanyelitsoeng. Mike Stannett oa Univesithi ea Brithani ea Sheffield o ile a etsa tlhahiso ea hore, ka mohlala, ho sebelisoe elektrone ka athomong ea hydrogen, eo ka khopolo e ka bang teng ka palo e ke keng ea lekanngoa ea linaha. Esita le lik'homphieutha tsa quantum ha li na letho ha li bapisoa le ho tiea ha likhopolo tsena.
Lilemong tsa morao tjena, bo-rasaense ba 'nile ba khutlela torong ea "sephiri" seo Turing ka boeena a sa kang a se haha kapa a se leka. Emmett Redd le Steven Younger ba Univesithi ea Missouri ba lumela hore hoa khoneha ho theha "Turing supermachine". Ba latela tsela e tšoanang le eo Chava Siegelman ea boletsoeng ka holimo a ileng a e nka, ho haha marang-rang a marang-rang ao ho oona ho kenya letsoho, ho e-na le litekanyetso tsa zero-one, ho nang le mefuta e mengata ea linaha - ho tloha lets'oao "ka botlalo" ho isa "ho tima ka botlalo" . Joalokaha Redd a hlalosa tokollong ea July 2015 ea NewScientist, "pakeng tsa 0 le 1 ho na le ho sa feleng."
Mofumahali Siegelman o ile a ikopanya le bafuputsi ba babeli ba Missouri, 'me hammoho ba qala ho hlahloba menyetla ea moferefere. Ho latela tlhaloso e tsebahalang, khopolo ea moferefere e fana ka maikutlo a hore ho otlanya mapheo a serurubele karolong e ’ngoe ea lefatše ho baka leholiotsoana ho e ’ngoe. Bo-rasaense ba hahang mochini o moholo oa Turing ba na le mohopolo o tšoanang - sistimi eo liphetoho tse nyane li nang le litlamorao tse kholo.
Qetellong ea 2015, ka lebaka la mosebetsi oa Siegelman, Redd, le Young, lik'homphieutha tse peli tse thehiloeng moferefereng li lokela ho hahoa. E 'ngoe ea tsona ke marang-rang a neural a nang le likarolo tse tharo tse tloaelehileng tsa elektroniki tse hokahantsoeng ke likhokahano tse leshome le motso o mong tsa synaptic. Ea bobeli ke sesebelisoa sa photonic se sebelisang leseli, liipone le lilense ho hlahisa li-neuron tse leshome le motso o mong le li-synapse tse 3600.
Bo-rasaense ba bangata ba belaela hore ho theha "super-Turing" ke ntho ea sebele. Bakeng sa ba bang, mochine o joalo e ne e tla ba papali ea 'mele ea tlhaho e sa reroang. Bohlale bohle ba tlhaho, taba ea hore e tseba likarabo tsohle, e tsoa tabeng ea hore ke tlhaho. Tsamaiso e hlahisang tlhaho, Bokahohle, e tseba ntho e 'ngoe le e' ngoe, ke lentsoe, hobane le tšoana le batho bohle. Mohlomong ena ke tsela e lebisang bohlaleng ba maiketsetso, ho ea ho ntho e 'ngoe e khutlisetsang ho rarahana le mosebetsi o ferekaneng oa boko ba motho. Turing ka boeena o kile a etsa tlhahiso ea ho kenya radium ea radioactive k'homphieutheng eo a neng a e etselitse ho etsa hore sephetho sa lipalo tsa hae se be moferefere le ka tšohanyetso.
Leha ho le joalo, le haeba li-prototypes tsa li-supermachine tse thehiloeng moferefereng li sebetsa, bothata e ntse e le mokhoa oa ho paka hore ehlile ke mechini ena e kholo. Bo-rasaense ha ba e-so be le mohopolo oa tlhahlobo e nepahetseng ea tlhahlobo. Ho ea ka pono ea k'homphieutha e tloaelehileng e ka sebelisoang ho hlahloba sena, li-supermachine li ka nkoa e le seo ho thoeng ke phoso, ke hore, liphoso tsa tsamaiso. Ho ea ka pono ea motho, ntho e 'ngoe le e' ngoe e ka ba e sa utloisiseheng ka ho feletseng 'me ... e ferekanngoa.
