Alan Turing. Ang Oracle nagtagna gikan sa kagubot
Si Alan Turing nagdamgo sa paghimo sa usa ka "orakulo" nga makahimo sa pagtubag sa bisan unsang pangutana. Wala siya ni bisan kinsa nga naghimo sa ingon nga makina. Bisan pa, ang modelo sa kompyuter nga gihimo sa hayag nga matematiko kaniadtong 1936 mahimong isipon nga matrix sa edad sa kompyuter - gikan sa yano nga mga calculator hangtod sa kusgan nga mga supercomputer.
Ang makina nga gitukod ni Turing usa ka yano nga algorithmic nga aparato, bisan ang karaan kung itandi sa mga kompyuter ug programming language karon. Ug bisan pa kini igo nga kusog aron tugutan bisan ang labing komplikado nga mga algorithm nga ipatuman.
Alan Turing
Sa klasikal nga kahulugan, ang usa ka makina sa Turing gihulagway nga usa ka abstract nga modelo sa usa ka kompyuter nga gigamit sa pagpatuman sa mga algorithm, nga naglangkob sa usa ka walay katapusan nga taas nga teyp nga gibahin sa mga natad diin ang datos gisulat. Ang tape mahimong walay katapusan sa usa ka kilid o sa duha ka kilid. Ang matag field mahimong naa sa usa sa N nga estado. Ang makina kanunay nga nahimutang sa ibabaw sa usa sa mga uma ug naa sa usa sa mga M-estado. Depende sa kombinasyon sa kahimtang sa makina ug uma, ang makina magsulat og bag-ong bili sa field, mag-usab sa estado, ug dayon mobalhin sa usa ka field sa tuo o wala. Kini nga operasyon gitawag nga usa ka order. Ang Turing machine gikontrol sa usa ka lista nga adunay bisan unsang gidaghanon sa ingon nga mga panudlo. Ang mga numero nga N ug M mahimong bisan unsa, basta kini adunay kinutuban. Ang lista sa mga instruksyon alang sa usa ka Turing machine mahimong isipon nga programa niini.
Ang sukaranan nga modelo adunay usa ka input tape nga gibahin sa mga selyula (mga kwadro) ug usa ka ulo sa teyp nga mahimo ra mag-obserbar sa usa ka cell sa bisan unsang oras. Ang matag cell mahimong adunay usa ka karakter gikan sa usa ka limitado nga alpabeto sa mga karakter. Sa naandan, gikonsiderar nga ang pagkasunod-sunod sa mga simbolo sa pag-input gibutang sa tape, sugod sa wala, ang nahabilin nga mga selyula (sa tuo sa mga simbolo sa input) napuno sa usa ka espesyal nga simbolo sa tape.
Busa, ang Turing machine naglangkob sa mosunod nga mga elemento:
- usa ka movable read/write nga ulo nga makalihok tabok sa tape, maglihok sa usa ka square sa usa ka higayon;
- usa ka limitado nga hugpong sa mga estado;
- katapusan nga karakter nga alpabeto;
- usa ka walay katapusan nga gilis nga adunay gimarkahan nga mga kwadro, nga ang matag usa mahimong adunay usa ka simbolo;
- usa ka diagram sa pagbalhin sa estado nga adunay mga panudlo nga hinungdan sa mga pagbag-o sa matag paghunong.
Mga hypercomputer
Gipamatud-an sa Turing Machine nga ang bisan unsang kompyuter nga among gitukod adunay dili kalikayan nga mga limitasyon. Pananglitan, nga may kalabutan sa bantog nga Gödel incompleteness theorem. Gipamatud-an sa usa ka English mathematician nga adunay mga problema nga dili masulbad sa usa ka computer, bisan kung gamiton nato ang tanang computational petaflops sa kalibutan alang niini nga katuyoan. Pananglitan, dili nimo mahibal-an kung ang usa ka programa mosulod sa usa ka wala’y katapusan nga pagbalik-balik nga lohikal nga loop, o kung kini makahimo sa pagtapos - nga wala una pagsulay sa usa ka programa nga peligro nga mosulod sa usa ka loop, ug uban pa (gitawag nga problema sa paghunong). Ang epekto sa kini nga mga imposible sa mga aparato nga gitukod pagkahuman sa paghimo sa Turing machine, taliwala sa ubang mga butang, ang pamilyar nga "asul nga screen sa kamatayon" sa mga tiggamit sa kompyuter.
Hapin sa libro ni Alan Turing
Ang problema sa fusion, ingon sa gipakita sa buhat sa Java Siegelman, nga gipatik sa 1993, mahimong masulbad sa usa ka kompyuter nga gibase sa usa ka neural network, nga naglangkob sa mga processor nga konektado sa usag usa sa paagi nga nagsundog sa istruktura sa utok, nga adunay usa ka computational nga resulta gikan sa usa nga moadto sa "input" ngadto sa lain. Ang konsepto sa "hypercomputers" mitumaw, nga naggamit sa sukaranang mga mekanismo sa uniberso sa paghimo sa mga kalkulasyon. Mahimo kini - bisan unsa pa ka talagsaon ang paminawon - mga makina nga naghimo sa usa ka walay kinutuban nga gidaghanon sa mga operasyon sa usa ka limitado nga panahon. Si Mike Stannett sa British University of Sheffield misugyot, pananglitan, ang paggamit sa usa ka electron sa usa ka atomo sa hydrogen, nga sa teoriya mahimong maglungtad sa usa ka walay kinutuban nga gidaghanon sa mga estado. Bisan ang quantum nga mga kompyuter luspad kon itandi sa kaisog niini nga mga konsepto.
Sa bag-ohay nga mga tuig, ang mga siyentista mibalik sa damgo sa usa ka "orakulo" nga si Turing mismo wala gayud magtukod o bisan gani misulay. Si Emmett Redd ug Steven Younger sa Unibersidad sa Missouri nagtuo nga posible ang paghimo og "Turing supermachine". Gisunod nila ang parehas nga dalan nga gikuha sa nahisgutan nga Chava Siegelman, nagtukod mga neural network diin sa input-output, imbis nga zero-one nga mga kantidad, adunay usa ka tibuuk nga estado - gikan sa signal nga "bug-os nga" hangtod sa "hingpit nga wala" . Sama sa gipatin-aw ni Redd sa Hulyo 2015 nga isyu sa NewScientist, "tali sa 0 ug 1 anaa ang walay katapusan."
Si Mrs. Siegelman miduyog sa duha ka tigdukiduki sa Missouri, ug dungan nilang gisugdan ang pagsuhid sa mga posibilidad sa kagubot. Sumala sa popular nga paghulagway, ang teoriya sa kagubot nagsugyot nga ang pagpakpak sa mga pako sa alibangbang sa usa ka hemisphere hinungdan sa usa ka bagyo sa pikas. Ang mga siyentipiko nga nagtukod sa supermachine ni Turing adunay parehas nga hunahuna - usa ka sistema diin ang gagmay nga mga pagbag-o adunay daghang mga sangputanan.
Sa katapusan sa 2015, salamat sa buhat sa Siegelman, Redd, ug Younger, duha ka prototype nga mga kompyuter nga nakabase sa kagubot kinahanglan nga matukod. Ang usa niini usa ka neural network nga gilangkuban sa tulo nga naandan nga mga sangkap sa elektroniko nga konektado sa onse ka synaptic nga koneksyon. Ang ikaduha mao ang photonic device nga naggamit ug kahayag, mga salamin, ug mga lente sa paghimo pag-usab sa onse ka neuron ug 3600 ka synapses.
Daghang mga siyentipiko ang nagduhaduha nga ang pagtukod sa usa ka "super-Turing" realistiko. Alang sa uban, ang ingon nga makina mahimo’g usa ka pisikal nga paglingaw-lingaw sa pagkalainlain sa kinaiyahan. Ang omniscience sa kinaiyahan, ang kamatuoran nga nahibal-an niini ang tanan nga mga tubag, naggikan sa kamatuoran nga kini kinaiyahan. Ang sistema nga nagpadaghan sa kinaiyahan, ang Uniberso, nahibal-an ang tanan, usa ka orakulo, tungod kay parehas kini sa tanan. Tingali kini ang dalan sa usa ka artipisyal nga superintelligence, sa usa ka butang nga igo nga nagmugna sa pagkakomplikado ug gubot nga buhat sa utok sa tawo. Si Turing sa iyang kaugalingon kas-a misugyot sa pagbutang sa radioactive radium sa usa ka kompyuter nga iyang gidesinyo aron ang mga resulta sa iyang mga kalkulasyon mahimong gubot ug random.
Bisan pa, bisan kung ang mga prototype sa mga supermachine nga nakabase sa kagubot molihok, ang problema nagpabilin kung giunsa pamatud-an nga sila gyud kini nga mga supermachine. Ang mga siyentipiko wala pay ideya alang sa usa ka angay nga pagsulay sa screening. Gikan sa punto sa panglantaw sa usa ka standard nga kompyuter nga mahimong magamit sa pagsusi niini, ang mga supermachine mahimong isipon nga gitawag nga sayop, nga mao, mga sayop sa sistema. Gikan sa panglantaw sa tawo, ang tanan mahimong hingpit nga dili masabtan ug ... gubot.
