Alan Turing. Oracle kwv yees los ntawm chaos

Alan Turing npau suav ntawm kev tsim "oracle" muaj peev xwm teb txhua lo lus nug. Tsis yog nws los yog lwm tus neeg ua lub tshuab zoo li no. Txawm li cas los xij, lub khoos phis tawj qauv uas tus kws lej ci ntsa iab tuaj nrog xyoo 1936 tuaj yeem suav tias yog matrix ntawm lub computer hnub nyoog - los ntawm lub laij lej yooj yim mus rau supercomputers muaj zog.

Lub tshuab tsim los ntawm Turing yog ib qho yooj yim algorithmic ntaus ntawv, txawm tias thaum xub thawj piv rau niaj hnub computers thiab programming lus. Thiab tseem nws muaj zog txaus los tso cai txawm tias qhov nyuaj tshaj plaws algorithms raug tua.

Alan Turing

Nyob rau hauv lub classical txhais, ib tug Turing tshuab yog piav raws li ib tug paub daws teeb qauv ntawm lub computer siv los ua algorithms, uas muaj ib tug infinitely ntev daim kab xev muab faib mus rau hauv lub teb nyob rau hauv uas cov ntaub ntawv yog sau. Daim kab xev tuaj yeem ua tiav ntawm ib sab lossis ob sab. Txhua daim teb tuaj yeem nyob hauv ib lub xeev N. Lub tshuab yog ib txwm nyob saum toj ntawm ib qho ntawm cov teb thiab nyob hauv ib qho ntawm M-xeev. Nyob ntawm kev sib xyaw ntawm lub xeev lub tshuab thiab daim teb, lub tshuab sau tus nqi tshiab rau daim teb, hloov lub xeev, thiab tom qab ntawd yuav txav ib daim teb mus rau sab xis lossis sab laug. Qhov kev ua haujlwm no hu ua kev txiav txim. Lub tshuab Turing yog tswj los ntawm ib daim ntawv teev npe uas muaj cov lus qhia zoo li no. Cov naj npawb N thiab M tuaj yeem ua tau txhua yam, tsuav yog lawv tsis raug. Daim ntawv teev cov lus qhia rau lub tshuab Turing tuaj yeem xav tias yog nws txoj haujlwm.

Cov qauv yooj yim muaj ib daim kab xev muab faib rau hauv cov hlwb (squares) thiab lub taub hau kab xev uas tuaj yeem soj ntsuam ib lub xov tooj ntawm txhua lub sijhawm. Txhua lub xovtooj tuaj yeem muaj ib tus cim los ntawm cov tsiaj ntawv tshwj xeeb ntawm cov cim. Conventionally, nws yog suav hais tias ib theem zuj zus ntawm input cim yog muab tso rau ntawm daim kab xev, pib los ntawm sab laug, cov seem hlwb (mus rau sab xis ntawm cov input cim) yog sau nrog ib tug tshwj xeeb cim ntawm daim kab xev.

Yog li, lub tshuab Turing muaj cov hauv qab no:

• ib qho kev nyeem ntawv / sau lub taub hau uas txav tau hla daim kab xev, txav ib qho square ntawm ib zaug;
• ib lub xeev finite;
• tus tsiaj ntawv kawg;
• ib daim kab xev kawg nrog cov cim square, txhua tus tuaj yeem muaj ib lub cim;
• daim duab hloov pauv hauv xeev nrog cov lus qhia uas ua rau muaj kev hloov pauv ntawm txhua qhov chaw nres tsheb.

Hypercomputers

Lub Tshuab Turing ua pov thawj tias txhua lub khoos phis tawj peb tsim yuav muaj kev txwv tsis pub dhau. Piv txwv li, muaj feem xyuam rau lub npe nrov Gödel incompleteness theorem. Ib tus kws lej Askiv tau ua pov thawj tias muaj teeb meem uas lub khoos phis tawj daws tsis tau, txawm tias peb siv tag nrho cov lej suav ntawm lub ntiaj teb rau lub hom phiaj no. Piv txwv li, koj tsis tuaj yeem qhia tau yog tias qhov kev zov me nyuam yuav nkag mus rau hauv lub voj voog uas tsis muaj hnub kawg, lossis yog tias nws yuav tuaj yeem txiav tawm - yam tsis tau sim thawj qhov kev pab cuam uas muaj kev pheej hmoo nkag mus rau hauv lub voj, thiab lwm yam (hu ua qhov teeb meem nres). Cov nyhuv ntawm cov impossibilities nyob rau hauv cov cuab yeej tsim tom qab tsim lub tshuab Turing yog, ntawm lwm yam, paub "xiav screen ntawm kev tuag" rau cov neeg siv computer.

Alan Turing phau ntawv npog

Qhov teeb meem fusion, raws li qhia los ntawm kev ua haujlwm ntawm Java Siegelman, luam tawm xyoo 1993, tuaj yeem daws tau los ntawm lub khoos phis tawj raws li lub network neural, uas muaj cov txheej txheem sib txuas rau ib leeg hauv ib txoj hauv kev uas ua raws li cov qauv ntawm lub hlwb, nrog rau ib qho kev sib txuas ntawm cov processors. xam qhov tshwm sim los ntawm ib tug mus rau "input" mus rau lwm tus. Lub tswv yim ntawm "hypercomputers" tau tshwm sim, uas siv cov txheej txheem tseem ceeb ntawm lub ntiaj teb los ua kev suav. Cov no yuav yog - txawm li cas los xij kab txawv nws yuav suab - cov tshuab uas ua haujlwm tsis kawg hauv lub sijhawm kawg. Mike Stannett ntawm British University of Sheffield tau npaj siab, piv txwv li, kev siv hluav taws xob hauv hydrogen atom, uas nyob rau hauv txoj kev xav tuaj yeem muaj nyob hauv ntau lub xeev. Txawm tias quantum computers daj ntseg hauv kev sib piv rau audacity ntawm cov ntsiab lus no.

Nyob rau hauv xyoo tas los no, cov kws tshawb fawb tau rov qab los ua npau suav ntawm "oracle" uas Turing nws tus kheej tsis tau tsim lossis txawm sim. Emmett Redd thiab Steven Younger ntawm University of Missouri ntseeg tias nws muaj peev xwm tsim tau "Turing supermachine". Lawv ua raws tib txoj hauv kev uas Chava Siegelman tau hais los saum toj no tau coj mus, tsim cov neural tes hauj lwm uas nyob rau hauv qhov kev tawm tswv yim-tso tawm, es tsis txhob xoom-ib qho txiaj ntsig, muaj tag nrho cov xeev - los ntawm lub teeb liab "tag nrho" mus rau "tag nrho tawm" . Raws li Redd piav nyob rau hauv lub Xya hli ntuj 2015 qhov teeb meem ntawm NewScientist, "nruab nrab ntawm 0 thiab 1 lus dag infinity."

Mrs. Siegelman tau koom nrog ob tus kws tshawb fawb Missouri, thiab ua ke lawv pib tshawb nrhiav qhov muaj peev xwm ntawm kev kub ntxhov. Raws li cov lus piav qhia nrov, chaos txoj kev xav qhia tias qhov flapping ntawm npauj npaim tis hauv ib hemisphere ua rau muaj cua daj cua dub nyob rau lwm qhov. Cov kws tshawb fawb uas tsim Turing's supermachine muaj ntau qhov zoo ib yam hauv siab - ib qho kev hloov pauv me me muaj qhov tshwm sim loj.

Thaum kawg ntawm 2015, ua tsaug rau kev ua haujlwm ntawm Siegelman, Redd, thiab Younger, ob lub qauv kev chaos-based computers yuav tsum tau tsim. Ib tug ntawm lawv yog ib tug neural network uas muaj peb cov pa hluav taws xob Cheebtsam txuas nrog kaum ib synaptic kev twb kev txuas. Qhov thib ob yog ib qho khoom siv photonic uas siv lub teeb, tsom iav, thiab lo ntsiab muag los tsim kaum ib lub neurons thiab 3600 synapses.

Ntau tus kws tshawb fawb tsis ntseeg tias kev tsim "super-Turing" yog qhov tseeb. Rau lwm tus, xws li lub tshuab yuav yog kev ua si ntawm lub cev ntawm qhov xwm txheej. Lub omniscience ntawm xwm, qhov tseeb hais tias nws paub tag nrho cov lus teb, los ntawm qhov tseeb hais tias nws yog xwm. Lub kaw lus uas tsim tawm qhov xwm txheej, Lub Ntiaj Teb, paub txhua yam, yog ib qho oracle, vim nws yog tib yam li txhua tus. Tej zaum qhov no yog txoj hauv kev mus rau kev txawj ntse txawj ntse, mus rau ib yam dab tsi uas tsim nyog rov tsim dua qhov nyuaj thiab kev ntxhov siab ntawm tib neeg lub hlwb. Turing nws tus kheej ib zaug hais kom muab cov xov tooj cua radium rau hauv lub computer nws tau tsim los ua kom cov txiaj ntsig ntawm nws cov kev suav tsis txaus ntseeg thiab tsis sib xws.

Txawm li cas los xij, txawm tias cov qauv ntawm chaos-based supermachines ua haujlwm, qhov teeb meem tseem yuav ua pov thawj tias lawv yog cov supermachines tiag tiag. Cov kws tshawb fawb tseem tsis tau muaj lub tswv yim rau qhov kev ntsuam xyuas tsim nyog. Los ntawm qhov pom ntawm tus qauv computer uas tuaj yeem siv los xyuas qhov no, supermachines tuaj yeem suav tias yog hu ua yuam kev, uas yog, qhov ua yuam kev. Los ntawm tib neeg txoj kev xav, txhua yam tuaj yeem nkag siab tsis meej thiab ... chaotic.