Alan Turing. Oracle dia maminany avy amin'ny korontana
Alan Turing dia nanonofy ny hamorona "oracle" afaka mamaly ny fanontaniana rehetra. Na izy na olon-kafa dia tsy nanamboatra milina toy izany. Na izany aza, ny modely amin'ny ordinatera izay novolavolain'ilay matematika marani-tsaina tamin'ny 1936 dia azo raisina ho matrix amin'ny vanim-potoanan'ny ordinatera - avy amin'ny kajy tsotra mankany amin'ny supercomputers mahery.
Ny milina namboarin'i Turing dia fitaovana algorithmika tsotra, na dia tany am-boalohany aza raha oharina amin'ny solosaina sy fiteny fandaharana ankehitriny. Ary na izany aza dia ampy tsara ny mamela na dia ny algorithm sarotra indrindra aza.
Alan Turing
Ao amin'ny famaritana klasika, ny milina Turing dia nofaritana ho maodelin'ny solosaina iray ampiasaina amin'ny fanatanterahana algorithms, izay misy kasety lava tsy manam-petra mizara ho saha misy ny angona voasoratra. Ny kasety dia mety tsy misy farany amin'ny lafiny iray na amin'ny lafiny roa. Ny saha tsirairay dia mety amin'ny iray amin'ireo fanjakana N. Ny milina dia miorina eo ambonin'ny iray amin'ireo saha ary ao amin'ny iray amin'ireo fanjakana M. Miankina amin'ny fitambaran'ny toetry ny milina sy ny saha, ny milina dia manoratra sanda vaovao amin'ny saha, manova ny fanjakana, ary avy eo dia mety hamindra saha iray miankavanana na miankavia. Ity hetsika ity dia antsoina hoe baiko. Ny milina Turing dia fehezin'ny lisitra misy isan'ny toromarika toy izany. Ny isa N sy M dia mety ho na inona na inona, raha toa ka voafetra. Ny lisitry ny toromarika ho an'ny milina Turing dia azo heverina ho ny fandaharana.
Ny maodely fototra dia manana kasety fampidirana mizara ho sela (efamira) ary loha kasety izay tsy afaka mijery sela iray ihany amin'ny fotoana rehetra. Ny sela tsirairay dia mety ahitana tarehin-tsoratra iray avy amin'ny abidia misy tarehintsoratra voafetra. Amin'ny ankapobeny, heverina fa ny filaharan'ny marika fampidirana dia apetraka eo amin'ny kasety, manomboka amin'ny ankavia, ny sela sisa (eo ankavanan'ny marika fampidirana) dia feno marika manokana amin'ny kasety.
Noho izany, ny milina Turing dia ahitana ireto singa manaraka ireto:
- loha vakiana/soratana azo mihetsika izay afaka mamakivaky ny kasety, mamindra efamira iray isaky ny mandeha;
- fanjakana voafetra;
- alfabeta endri-tsoratra farany;
- tsipika tsy misy fiafarana misy efamira misy marika, ny tsirairay amin'izy ireo dia mety ahitana marika iray;
- sarin'ny tetezamita misy toromarika miteraka fiovana isaky ny fijanonana.
Hypercomputers
Ny Turing Machine dia manaporofo fa ny solosaina rehetra amboarintsika dia hanana fetra tsy azo ihodivirana. Ohatra, mifandray amin'ny malaza Gödel incompleteness theorem. Ny mpahay matematika anglisy dia nanaporofo fa misy olana izay tsy vitan'ny solosaina, na dia mampiasa ny petaflops rehetra eto amin'izao tontolo izao aza isika amin'izany tanjona izany. Ohatra, tsy azonao fantarina na oviana na oviana raha hiditra amin'ny loop lojika miverimberina tsy manam-petra ny programa iray, na mety ho tapitra izany - raha tsy manandrana programa mety hampidi-doza ny fidirana amin'ny loop, sns. (antsoina hoe olana fiatoana). Ny fiantraikan'ireo tsy azo atao amin'ny fitaovana naorina taorian'ny namoronana ny milina Turing dia, ankoatra ny zavatra hafa, ny "ecran manga mahafaty" mahazatra ho an'ireo mpampiasa solosaina.
Ny fonon'ny boky Alan Turing
Ny olan'ny fusion, araka ny asehon'ny asan'i Java Siegelman, navoaka tamin'ny 1993, dia azo voavaha amin'ny ordinatera mifototra amin'ny tamba-jotra neural, izay misy processeur mifandray amin'ny fomba iray izay maka tahaka ny firafitry ny atidoha, miaraka amin'ny vokatra kajy avy amin'ny iray mankany amin'ny "input" mankany amin'ny iray hafa. Nipoitra ny foto-kevitra momba ny "hypercomputers", izay mampiasa ny rafitra fototry ny izao rehetra izao hanaovana kajy. Ireo dia - na dia hafahafa aza izany - milina izay manao asa tsy manam-petra ao anatin'ny fotoana voafetra. Mike Stannett ao amin'ny Oniversite Britanika any Sheffield, ohatra, dia nanoro hevitra, ohatra, ny fampiasana elektrôna ao anaty atôma hidrôzenina, izay raha ny teoria dia mety hisy any amin'ny fanjakana tsy manam-petra. Na ny solosaina quantum aza dia hatsatra raha ampitahaina amin'ny fahasahian'ireo hevitra ireo.
Tao anatin'ny taona vitsivitsy izay, ny mpahay siansa dia niverina tany amin'ny nofinofin'ny "oracle" izay tsy naorin'i Turing na nanandrana mihitsy aza. Emmett Redd sy Steven Younger ao amin'ny Oniversiten'i Missouri dia mino fa azo atao ny mamorona "supermachine Turing". Izy ireo dia manaraka ny lalana izay nalehan'i Chava Siegelman voalaza teo aloha, nanangana tambajotra neural izay ao amin'ny input-output, fa tsy ny soatoavina zero-iray, dia misy fanjakana iray manontolo - manomboka amin'ny famantarana "manomboka tanteraka" mankany amin'ny "miala tanteraka" . Araka ny fanazavan'i Redd ao amin'ny NewScientist nomerao Jolay 2015, "eo anelanelan'ny 0 sy 1 ny tsy manam-petra."
Rtoa Siegelman dia nanatevin-daharana ny mpikaroka Missouri roa, ary niara-nanao fikarohana ny mety hisian'ny korontana izy ireo. Araka ny filazalazana malaza, ny teorian'ny korontana dia milaza fa ny fikopakopahan'ny elatry ny lolo amin'ny ila-bolantany iray dia miteraka rivo-doza any amin'ny ilany iray. Mitovy amin'izany koa ny ao an-tsain'ireo mpahay siansa manangana ny supermachine an'i Turing - rafitra misy fiovana kely misy vokany lehibe.
Amin'ny faran'ny taona 2015, noho ny asan'i Siegelman, Redd, ary Younger, dia tokony hatsangana ny solosaina roa mifototra amin'ny korontana. Ny iray amin'izy ireo dia tambajotra neural ahitana singa elektronika mahazatra telo mifandray amin'ny fifandraisana synaptic iraika ambin'ny folo. Ny faharoa dia fitaovana photonic izay mampiasa hazavana, fitaratra ary family mba hamoronana neurons iraika ambin'ny folo sy synapses 3600.
Maro ny mpahay siansa no misalasala fa ny fananganana "super-Turing" dia tena misy. Ho an'ny hafa, ny milina toy izany dia fialam-boly ara-batana amin'ny tsy fahampian'ny natiora. Ny omniscience momba ny zavaboary, ny hoe mahafantatra ny valiny rehetra, dia avy amin'ny maha-voajanahary azy. Ny rafitra mamerina ny natiora, izao rehetra izao, dia mahafantatra ny zava-drehetra, dia oracle, satria mitovy amin'ny olon-drehetra. Angamba izany no lalana mankany amin'ny superintelligence artifisialy, mankany amin'ny zavatra iray izay mamerina tsara ny fahasarotana sy ny asan'ny atidohan'olombelona. Turing tenany indray mandeha dia nanoro hevitra ny hametraka radium radioaktifa ao anaty solosaina novolavolainy mba hahatonga ny valin'ny kajy nataony ho korontana sy kisendrasendra.
Na izany aza, na dia miasa aza ny prototypes amin'ny supermachine mifototra amin'ny korontana, ny olana dia ny fomba hanaporofoana fa tena ireo supermachine ireo. Tsy mbola manana hevitra momba ny fitiliana fitiliana mety ny mpahay siansa. Avy amin'ny fomba fijerin'ny solosaina manara-penitra izay azo ampiasaina hanamarinana izany, ny supermachine dia azo heverina ho antsoina hoe diso, izany hoe, fahadisoana amin'ny rafitra. Raha ny fijerin'olombelona dia mety ho tsy takatry ny saina sy ... mikorontana tanteraka ny zava-drehetra.
