Gikan sa tagsulat
Gibuhat nako kini nga sketch kaniadto ingon usa ka mamugnaon nga paghunahuna pag-usab sa istorya nga akong gisulti. , ingon man usab ang posible nga dugang nga pag-uswag nga adunay pipila nga libre nga hinanduraw nga mga pangagpas. Siyempre, kining tanan gamay ra nga nadasig sa tinuod nga kasinatian sa tagsulat, nga nagpaposible sa pagsulay sa pagtubag sa pangutana: "Unsa kaha kung?.."
Adunay usab pipila ka koneksyon sa laraw sa akong serye sa literatura nga "Notes of a Nerd," indibidwal nga mugbong mga istorya nga gikan niini matag karon ug unya nga akong gi-post sa mga litro (bisan pa, ang pamilyar niini dili kinahanglan, tungod kay ang ilang siyentipikanhong basehanan kaayo, nagkurog kaayo, nga tingali dili sa gusto sa tanan dinhi).
Ang mosunod nga teksto gihatag nga walay mga kausaban.
Salamat gikan sa tagsulat
Gipahinungod sa panumduman sa duha ka Stephens nga akong swerte nga nabuhi sa parehas nga panahon sa kasaysayan ug nakahimo sa pagbag-o sa akong kasinatian sa paggamit sa mga elektronik nga aparato:
Ngadto kang Stephen Cole Kleene (Klaney) (1909 - 1994)
Steven Paul (Steve) Jobs (1955 - 2011)
Gipahayag usab nako ang akong pagtahod sa tanan nga mga tagsulat ug mga partisipante sa serye "Itom nga salamin".
Usa ka espesyal nga pasidungog sa akong mga kauban - sa buhat sa librarya ug sa kinatibuk-an. Aw, mapasalamaton usab ako kaayo sa mga kauban sa Tambov nga lobo: kung wala kamo, kini nga buhat siguradong dili motungha!..
Salamat usab sa suporta sa tanan nga mainiton nga nakadawat sa unang "Notes of a Nerd."
Pipila ka pasiuna nga mga pulong alang sa mga magbabasa
Dili kini usa ka sunud-sunod sa panguna nga linya sa istorya sa Notes of a Nerd, o bisan usa ka prequel. Ang espesipikong panahon sa aksyon wala gayoy papel dinhi. Bisan pa, ang aksyon mismo nga ingon niini halos dili usab maobserbahan, ug ang koneksyon sa istorya bahin sa Nastenka mismo kasarangan nga arbitraryo (bisan kung naglaum ako nga gusto nimo kini nga arko sa istorya). Bisan pa niana, kusganon nga girekomenda nga basahon ang tanan nga nahigugma na sa "Mga Tala", ingon man usab sa mga gusto sa usa ka labi ka "lig-on" nga sukaranan sa genre sa lainlaing mga sobra nga fairy-tale nga laraw. Kung usahay ingon og lisud alang sa usa ka tawo nga matunaw kining tanan, nan tuohi ako: sa proseso sa pagsulat ako mismo mibati nga labi ka grabe.
*
Ang tanan dili kung unsa ang ingon ... Bisan ako sa akong kaugalingon ingon kahapon nga lahi sa kung kinsa ako karon ug kung kinsa ako ugma.
Mao gyud kini ang akong kahimtang sa VKontakte (o husto ba kini - sa VKontakte?) hangtod karon. Sukad karon, dili na ko morag bisan kinsa, ni... basta dili ko.
Bueno, sa ato pa, ako mismo dugay nang nagduda nga wala gyud ako, ug ang tanan nga mahitabo kanako usa ra ka damgo ... para sa uban.
Andam ko nga pamatud-an kini sa tanan :) Asa ang ebidensya sa akong mga kalihokan sa Internet? Adunay halos wala. Ang tanan nakong kontak sa gawas nga kalibutan limitado usab kaayo. Ang pagkita kanako nga sulagma kasagaran usa ka talagsaon nga swerte (usa ka tawo nga swerte kaayo bag-o lang). Uyon: usa ka bug-os nga tipikal nga kaso alang sa dili maayo nga damgo sa usa ka tawo...
O tingali wala’y kinabuhi sa Yuta sa dugay nga panahon, ug mahimo nga ako ra ang nahabilin nga tipik gikan sa usa ka snapshot sa kolektibong hunahuna, nga kaniadto gipadala sa natad sa kasayuran sa kalibutan sa usa ka desperado, himalatyon nga katawhan?..
Ang bugtong butang nga makapadasig niini nga senaryo mao nga tungod kay ang usa lamang ka cast sa hunahuna sa usa ka bug-os nga pildi ingon nga ako gitakda gayud nga mabuhi, kini nagpasabot nga ang katawhan sa pagkatinuod gihukman gikan sa sinugdanan, tungod sa kamatuoran sa ang paglungtad niini... Tungod kay ang akong kaugalingong kinabuhi - o kadtong makaluluoy nga mga pagsulay niini nga nahitabo kanako - sa dili madugay matapos.
Nakahukom ko niini alang sa akong kaugalingon - medyo mahunahunaon ug dili matarug. Nganong padayong padaghanon ang pag-antos sa kalibotan—imo man o sa uban? Sa samang higayon, ako kanunay nga categorically batok sa paghikog sa bisan unsa nga porma. Pero dili na siya. Karong gabhiona gisugdan nako ang pamaagi sa pagpapas sa akong kaugalingon gikan sa reyalidad - katapusan ug dili na mabawi. Uyon, kini mao ang labing maayo ug hilabihan ka elegante nga pruweba sa kamatuoran sa akong teoriya (kana mao... usa ka pangagpas, siyempre! Kanunay kong nakalimot nga ang mga teoriya iya ni Einstein o Darwin, ug ang akoa kinahanglan pa nga motubo ug motubo. sa ingon ka kusog nga epithet).
Dugang pa sa kamatuoran nga gikan sa karaan nga mga eksperimento, alang sa interes sa siyensya ug pagsulay sa pagkumpirma sa ilang kaugalingon nga pagkamatarong, naghimo sa mga eksperimento sa ilang kaugalingon nga personal, walay usa nga mag-antos niini nga aksyon sa laing rason: ang akong pagkawala mahimong halos dili mamatikdan sa tanan. - tungod lang sa kamatuoran nga, Sama sa akong gihisgutan, pipila ka mga tawo ang nakamatikod kanako kaniadto. Busa, ang akong pagkawala magpabilin nga dili mamatikdan ... Bisan pa, sa estrikto nga pagsulti, tungod kay ako mapapas dili lamang gikan sa kawanangan, kondili usab gikan sa panahon, ang katapusan nga pahayag mahimong tinuod alang sa bisan kinsa sa mga tawo. Bisan pa, tukma sa akong kaso, tungod sa nahisgutan sa ibabaw nga mga hinungdan, bisan ang nabag-o nga reyalidad - ingon usa ka sangputanan sa akong pagtangtang niini - lahi ra kaayo sa orihinal nga sa tinuud kini nga mga pagbag-o mahimong mapasagdan alang sa kaayohan sa siyensya.
Hah, mangutana ka, unsa ang hinungdan kanako kung mahibal-an sa katawhan ang akong nadiskobrehan, kung ako mismo wala na ug, busa, dili ako malipay niini sa akong kaugalingon? Ug magpabilin ba ang ebidensya sa imbensyon mismo kung ang tanan nga paghisgot sa imbentor mapapas sa tinuod? Aw, ako usab ang nag-atiman niana. Kini ra nga sa husto nga higayon ang hinungdan sa proseso molihok, ug akong wagtangon ang akong kaugalingon, apan ang akong utok, sa teorya, dili kinahanglan nga maapektuhan niini tungod sa sama sa fan nga kinaiya niini nga proseso. Sama sa alang sa akong kaugalingon, sa tinuod, ako kanunay nga dili kaayo interesado sa pangutana sa akong kaugalingon nga umaabot nga kinabuhi sa adlaw-adlaw nga mga termino, sama sa kung ako makakuha usa ka asawa, kung ako ba sa ulahi adunay mga anak, o kung ako makaangkon ug uban pa. buhi nga mga binuhat. Unsa ang gipasabut niining tanan sa usa ka global nga sukod?.. Ako kinasingkasing nga naluoy alang sa tanan nga mga idiots nga nagtuo nga ang ilang kaugalingon nga genetic code sa usa ka hinungdan hinungdanon kaayo alang sa Uniberso nga kinahanglan gyud nga mapreserbar ug ipasa sa umaabot nga katawhan. Andam ba ang bisan kinsa kaninyo nga mouyon sa dili malalis nga kamatuoran nga ang inyong kaugalingong talagsaon ug dili masundog nga personalidad usa lang sa daghang gidaghanon sa walay kataposang pagkahan-ay nga mga kapilian sa unibersal nga quantum computer, usa ka random nga sumbanan sa web sa kamatuoran? Kana nga kamatuoran, kansang bugtong tumong mao ang tukma nga walay katapusan nga pagpili sa mga kapilian aron sa pagpangita sa labing maayo alang sa iyang dugang nga komplikasyon ug kalamboan.
Si Einstein, daw, kas-a miingon nga ang Diyos dili magdula og dice. Siyempre, dili siya magdula - moagi lang siya sa mga kapilian. Ug dili kini ang Diyos sa naandan nga diwa, apan usa lamang ka limitado nga makina alang sa pag-ihap sa tanan nga mga posibilidad. Makina sa Turing, kung gusto nimo, tingali ang labing karaan nga aparato nga mahanduraw, ug bisan pa sa teorya adunay tinuud nga walay kinutuban nga mga posibilidad. Tinuod, kini nga mga posibilidad sa ilang kaugalingon gilakip lamang sa programa sumala sa kung diin ang makina naglihok ug ang makina mismo, ingon sa ilang giingon, wala’y ideya bahin sa tinuud nga katuyoan ug kahulugan kung diin ... Mao nga sa among unibersal nga makina, sa kinatibuk-an, tanan mao ra - nga adunay usa ra nga kalainan nga sa sinugdan siya nagtrabaho sumala sa usa ka komplikado nga programa sa kaugalingon, apan sa parehas nga oras wala gihapon nahibal-an ang tinuod nga diwa niini.
Ug unsa kini, kini nga esensya? Sa kanunay nga pag-uswag ug pag-uswag sa kalibutan? Apan kining tanan usa lamang ka sangputanan sa usa ka permanente nga giprograma nga kalagmitan ngadto sa komplikasyon sa kaugalingon - wala na. Pinaagi sa dalan, kung gipadapat sa mga tawo kini mahimong ipakita nga tin-aw kaayo. Ang uban kanato naghunahuna nga siya talagsaon kaayo ug talento nga gamay na lang ug buhaton niya ang usa ka talagsaon nga butang nga sa kahangturan maghimaya sa iyang ngalan ug magbag-o sa kalibutan alang sa mas maayo.
Sa prangka, ako mismo naghunahuna sa ingon kaniadto - Gisulayan nako nga irekord ang lainlaing gitawag nga "mahayag" nga mga panan-aw sa akong interaural ganglion sa paglaum nga sila, usab, magpabilin sa daghang mga siglo ... Giisip nako nga kini ang tinuud nga kahulugan sa akong dili. hingpit nga walay bili nga paglungtad. Nagreklamo ako nga ang tanan nga mga matang sa pagtipig sa panganod misulod sa akong kinabuhi nga ulahi na kaayo, ingon usa ka sangputanan diin dili na nako ibalik ang pipila sa akong una nga mga pagsulay sa pagkamamugnaon, nga nawala hangtod sa hangtod sa kahiladman sa pagkawalay katapusan kauban ang mga tagdala sa kasayuran kung diin gibutang ang tanan. Unsa ka hungog kini tan-awon karon, sa diha nga ako sa katapusan nakakita sa tinuod nga esensya sa mga butang! usa ka "panganod" sa mga datos nga walay usa nga makasabot kon wala ako - busa unsa?.. mahimong lain nga angay nga kapilian alang sa dugang nga komplikasyon sa kaugalingon! Apan kining tanan nga gitawag nga "mga henyo" sinsero nga nagsalig nga ang tanan nga ilang gipangandoy didto usa ka talagsaon nga matang sa ilang kaugalingon nga merito! Oo Oo…
Mao nga dili igsapayan kung ang akong negosyo karon makoronahan sa kalampusan o dili. Kini ra, bisan pa, interesado gihapon ako kung unsa ang moabut niini! Nahinumdom ko nga nakita nako sa samang paagi ang bugtong tumong sa akong umaabot nga kinabuhi mao ang paghulat sa bag-ong "Star Wars" - human sa tanan, kini makapaikag kung unsa ang moabut niini ... Natapos ang tanan sa kamatuoran nga, pagkahuman sa pagtan-aw sa Ika-walo nga Episode, gibiyaan nako ang sinehan nga adunay masulub-on nga mga hunahuna, nga nag-una kung unsa ka kasubo nga wala pa ako namatay sa dugay nga panahon, ug karon, bisan unsa pa. Daghan kog gusto, dili nako ma-unsee.
Mao nga igo na ako sa tanan nga kini nga mga sentimento, siguradong dili na ako maghulat alang sa bag-ong mga "Avatar", ug kung unsa pa ang giandam sa Disney sa kinatibuk-an ug labi na si Marvel alang kanamo karon parehas usab kanako!.. Himoa nga ang Disney kanunay mas maayo alang kanako nga makig-uban sa mga panumduman gikan sa pagkabata - Mickey Mouse, lain-laing mga Ducks ug McDucks, usa ka engkanto sa usa ka berde nga sinina gikan sa usa ka cartoon screensaver, nga tin-aw nakong nahinumduman kung giunsa niya paglupad ang usa ka gilaraw nga kastilyo ug gibutang ang usa ka maisugon nga tulbok sa ibabaw sa " i” sa titulo uban sa iyang magic wand - ug Karon ang tanan naningkamot sa pagkombinsir kanamo nga ang ulahi nga kamatuoran wala gayud mahitabo sa tinuod, sa pagkutlo sa mga rekording sa Disney screensaver nga anaa sa YouTube isip ebidensya. Aw, dayag, dili gihapon ako ang una nga nagdula sa pagbag-o sa kamatuoran dinhi ...
Tinuod, niining panahona ang mga pagbag-o dili makaapekto sa pipila ka hungog nga engkanto, apan usa ka piho nga tawo, nga dili mahibal-an kung giunsa kini o kana nga istorya matapos (underline kung angay), kung unsa ang bahin sa mga bag-ong istorya, unsaon pagsulat pag-usab ang mga nauna karon?. Apan, sa kinatibuk-an, kining tanan hingpit nga walay kalabotan. Pagkahuman, adunay kanunay ug kanunay nga limitado nga gidaghanon sa posible nga mga laraw, ug ang tanan wala’y labi pa sa walay katapusan nga mga kombinasyon niini. Mao nga ingon sa kanunay nga kita nakakita ug nakabasa na niining tanan sa usa ka lugar kaniadto, bisan kung sa tinuud dili kini ang kaso ... (Ug, labing menos sa kaso sa bag-ong "Star Wars", tanan tinuod kini mao nga - dili ka kinahanglan nga magduhaduha niini.) Ingon usab sa atong kinabuhi sa kinatibuk-an - kining tanan nga daghang gitawag nga "déjà vu" parehas nga sangputanan sa usa ka limitado nga gidaghanon sa mga senaryo nga gidula. pinaagi sa kinabuhi. Gipatugtog sumala sa usa ka walay kalag nga programa sa usa ka unibersal nga makina, ingon nga nahimulag ug walay pagtagad sa tanan sama sa mga tawo sa akong palibut alang kanako...
*{2}
Giunsa nako pagkinabuhi nga ingon niini?, mangutana ka? Aw, kinahanglan nga magsugod kita gikan sa layo.
Ang kamatuoran mao nga, tungod sa mga kahimtang, sa miaging pipila ka tuig napugos ako sa pag-parse sa mga elektronik nga kopya sa mga pangutana nga papel nga gipuno sa mga kliyente ug gisulod ang ilang mga resulta sa angay nga mga database. Ang trabaho sa sinugdan makugihon ug walay pasalamat, nga makapabuang sa bisan kinsa kung dili sa usa ka kahimtang...
Sa usa ka punto, ang proseso sa pagtuon sa balik-balik, tipikal nga mga bahin sa lain-laing mga sample questionnaires nakadasig kanako sa pagsulay sa paghimo sa usa ka sistema nga makahimo sa independente nga pagkuha sa user data gikan niini nga mishmash sa lain-laing mga simbolo. Aw, dili kaayo awtomatiko, apan bisan unsa nga mas maayo kaysa sa mano-mano nga pag-parse ug pag-type sa datos, kinahanglan nimong dawaton.
Ang una sa ingon nga programa, nga akong gisulat, eksklusibo nga gisulat sa balay ug hinimo sa balay - ug, sa tinuud, dili pa gyud ako mohimo sa pagpatin-aw kung ngano nga sa kadaghanan nga mga kaso nakasagubang gihapon kini sa buluhaton niini. Unya wala tuyoa nako nga nakit-an ang usa nga haum kanako sa halapad nga hawan sa Internet. gambalay - maayo, kana mao, usa ka librarya sa mga subroutine alang sa paghimo sa tanan nga kinahanglan nga mga operasyon. Ang paggamit niini nga gambalay gibase sa regular nga mga ekspresyon nga dugay na nga pamilyar sa tanan nga mga siyentipiko sa kompyuter, nga nagpaposible sa paghimo og mga templates base niini ug, sa katapusan, andam nga mga kahulugan sa gikinahanglan nga teksto. mga kinuha, nga mao, ang mga bahin sa kini nga teksto diin kinahanglan nga makuha ang mga kantidad alang sa gihulagway na nga mga sumbanan, nga gipulihan kini sa piho nga teksto.
Unsaon nako pagbutang kini nga mas yano? Aw, daghan kaninyo tingali nakakita sa gitawag nga report log files nga sama niini:
127.0.0.1 — — [10/Jun/2009:10:00:00 +0000] “GET /example.html HTTP/1.1” 200 — “» “Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 5.1)”
Bisan ang usa ka walay kasinatian nga tiggamit mahimong klaro kaayo nga sa pipila ka adres sa network (sa kini nga kaso, lokal) sa usa ka piho nga punto sa oras, usa ka eksternal nga kapanguhaan ang ma-access aron makuha ang usa ka klase nga datos gamit ang usa ka piho nga klase sa browser ug operating system. Husto? Ug ang susama nga mga linya, diin ang usa ka tin-aw nga istruktura mahimong mailhan nga mahimong madunot (gibahin sa bulag nga mga istruktura sa semantiko), mahimong masubli sa file sa taho sa daghang mga higayon nga gusto. Gitun-an sila sa usa ka technician, gikuha ang mapuslanon nga kasayuran ug, pinasukad niini, nagkuha sa kinahanglan nga mga konklusyon bahin sa operasyon sa piho nga mga programa, sistema, aksyon sa tiggamit, ug uban pa.
Sa tinuud, sa kinaiyahan adunay daghang lainlain nga paagi alang sa syntactic decomposition sa ingon nga mga istruktura. Pinaagi sa pag-customize sa usa niini nga mga gambalay nga mohaum sa akong mga panginahanglan, gipalapdan lang nako og gamay ang pagpaandar niini para sa akong kaugalingon aron tugotan ako sa pagpili sa maong mga gi-order nga mga istruktura gikan sa arbitraryong teksto sa walay kinutuban nga gidaghanon sa mga higayon. Ug ang mga luna tali kanila mahimong mapuno sa bisan unsang mga simbolo, nga gikan sa punto sa panglantaw sa programa mga basura lamang.
Pinaagi sa dalan, natingala gihapon ko sa akong kaugalingon ngano nga ang ingon ka yano nga ideya gamay ra nga gigamit kaniadto - maayo, labing menos wala ako makit-an nga paghisgot sa kini nga matang sa kalihokan, ug halos wala’y mga pagsusi sa akong pag-uswag. . Bisan pa, nakit-an nako ang usa ka katingad-an nga lalaki nga nagpadala kanako usa ka email nga adunay pasalamat ug gipasaligan ako nga gikan karon ang tanan sa iyang librarya mahimo na nga maghan-ay sa mga talaan sa sulud sa mga libro sa tabang sa ingon nga kabuang. Sa akong kaugalingon, nahingangha lang ako sa ingon nga dili kasagaran nga kasangkaran sa paggamit sa akong pamaagi, ug nagsugod sa paghunahuna og dugang bahin sa kung unsa pa ang mahimo niini.
Ang bag-ong ideya ingon og usa ka butang nga labi ka buang - nagsugod ako sa paghimo og usa ka himan nga mahimo na imong kaugalingon mailhan ang tanan nga gimando ug gibalikbalik nga mga istruktura sa libre nga teksto. Dinhi, siyempre, wala'y andam nga gihimo nga sumbanan nga solusyon sa problema; kinahanglan namon nga ikonektar ang mga neural network, nga sa kinatibuk-an nga termino nagrepresentar sa gibanabana nga mga modelo sa buhat sa among kaugalingon nga utok. Aw, kitang tanan layo pa gikan sa utok sa tawo sa tanan nga pagkalain-lain sa ilang mga kalidad, siyempre - sa labing maayo, sa pagkakaron mahimo usab natong sundogon ang makahuluganon nga kalihokan sa pipila ka mga uk-ok, wala na. Apan, ingon sa ilang giingon, salamat alang niana.
Ug unya, sa proseso sa pagtrabaho, usa ka bag-ong pangagpas ang kalit nga misantop sa akong hunahuna: unsa kaha kung ang pag-uswag sa among kinabuhi mismo nagsunod sa parehas nga senaryo? Buweno, kana mao, sa sinugdanan adunay gibana-bana nga sama nga programa nga nakahimo sa paglain sa makahuluganon nga mga han-ay sa DNA code sa umaabot nga mga primitive nga mga organismo gikan sa nag-unang gubot nga hugpong sa mga simbolo, ug dayon organisahon kini ngadto sa gikinahanglan nga mga istruktura? Dayon, sa proseso sa pagkomplikado sa kaugalingon nga pag-andar, kini nga programa nag-organisar sa source code ngadto sa nagkadaghang organisado nga mga istruktura hangtud ... nagpakita ako, nga tin-aw nga nagpatin-aw kung giunsa kini tanan.
*{3}
Ug dinhi nga ang tinuod nga kahulogan nga kinaiyanhon sa ideya sa gitawag nga "regular nga mga ekspresyon" (mao kana ang among gitawag nga kini nga mga regular nga ekspresyon sa among jargon) sa katapusan misantop sa akong hunahuna.
Kung wala pa nimo nahibal-an ang ingon nga mga istruktura kaniadto, tingali dili kinahanglan nga magsugod. Sila tan-awon nga bug-at kaayo ug dili mabasa alang sa wala pa nahibal-an nga makuha ang bisan unsang mapuslanon nga kasayuran gikan kanila.
Bisan pa, tingali, isulti ko kanimo ang bahin sa usa sa labing hinungdanon nga bahin. Kini mao ang gitawag nga Kleene nga bituon (*), gibutang sunod sa han-ay sa bisan unsang mga karakter nga atong gikinahanglan ug nagpasabot nga kini nga han-ay mahimong anaa sa atong teksto niining espesipikong dapit bisan unsang arbitraryong gidaghanon sa mga higayon, lakip ang wala. Usa ka hayag nga butang, hinungdanon nga nagbukas sa dalan sa kaugalingon nga henerasyon sa mga nagbalikbalik nga istruktura. Ginganlan kini sunod sa bantog nga Amerikanong matematiko ug logician nga si Stephen Kleene, kinsa, sa pagkatinuod, nag-imbento niining mga regular nga numero sa ilang kaugalingon.
Ug ang labi pa nga makapaikag mao ang kamatuoran nga kini nga Kleene (nga, sa tinuud, si Kleine pa, kung kita mapilion, apan naandan na sa Russia nga tawagan siya sukad sa una nga gihubad nga mga edisyon sa iyang siyentipikong mga buhat) nagtrabaho. sa halos parehas nga oras ug sa parehas nga mga problema nga naa sa Alan Turing ug Kurt Gödel. Kung wala ka pa makadungog bahin sa katapusang duha ka mga kauban, nan ako nagdali sa pagsulti kanimo nga ang una kanila nahinumduman dili lamang sa pag-decipher sa mga German nga code sa Enigma encryption machine sa panahon sa Ikaduhang Gubat sa Kalibutan (sa dalan, kini nga istorya mismo. Dili pa lang dugay nga nakit-an ang kaugalingon nga pagpahiangay sa pelikula uban ang Cumberbatch sa nanguna nga papel), apan usab ang labing pangagpas nga konsepto sa usa ka makina sa kompyuter. Sama sa alang sa Gödel, siya nailhan tungod sa parehas nga impresibo nga mga teorema sa pagkadili kompleto, ang diwa niini sa ordinaryo nga sinultian mahimong ipahayag ingon ang ideya sa sukaranan nga imposible sa pagpormal sa arbitraryong mga butang pinaagi sa bisan unsang lohikal nga makanunayon nga mga sistema. Sa ato pa, adunay mga butang nga dili hingpit nga maporma sa mga mathematician sa ilang kaugalingon nga pinulongan, ug dili ako makasulat sa usa ka katugbang nga programa alang kanila, ug kini hugot nga napamatud-an.
Sa kinatibuk-an, klaro nga ang katapusang duha ka mga kauban nagtrabaho sa mga butang sa ingon ka taas nga lebel sa abstraction nga dili ikatingala nga silang duha medyo nabuang sa katapusan sa ilang mga kinabuhi. Sa kinatibuk-an gidawat ni Turing ang hilo nga mipuno sa mansanas nga iyang gipaak, nga wala makasagubang sa kamatuoran sa publiko nga pagsalikway sa iyang kaugalingong homoseksuwalidad. Ug si Gödel, bisan kung siya nabuhi hangtod sa katapusan sa 70s sa miaging siglo, nagsugod sa pag-ila sa unang mga timailhan sa mga sakit sa pangisip balik sa 30s.
Mahitungod kang Kleene, mas swerte siya - kini nga kopa daw milabay na. Ang kaugalingong theorem ni Kleene aduna usab usa ka impresibong pormulasyon: "Ang matag regular nga set usa ka automaton nga pinulongan." Nga, gihubad ngadto sa inadlaw-adlaw nga pinulongan, mahimong halos gipahayag ingon nga ang kamatuoran nga ang bisan unsa nga gimando nga istruktura mahimong bahinon ngadto sa tagsa-tagsa nga mga elemento pinaagi sa kalkulasyon sa paggamit sa regular nga mga ekspresyon. Sa tinuud, mao gyud kana ang akong gibuhat karong bag-o.
Siyempre, sa tanan niini nga pagtukod adunay usa ka matang sa dako nga panagsumpaki. Unsa may naa, usa ka dako nga gaping hole, ingnon ko. Human sa tanan, sa usa ka bahin, sa usa ka paagi ang kinabuhi mahimo nga mitungha sa matematika ug ingon nga makanunayon nga pag-order sa kaugalingon ngadto sa labi ka komplikado nga mga istruktura, apan sa laing bahin, unsa? Sa laing bahin, dayag nga sa proseso niini, mitungha ang mga butang ug mga panghitabo nga sa yano wala magpahulam sa ilang kaugalingon sa teoretikal nga pormalisasyon tungod sa ilang kinaiya. Nagpasabot ba kini nga aduna pay puwersa nga naglihok gikan sa gawas? Dili, dinhi dili ko gusto nga maghunahuna ug mosulay sa pagtukod sa pipila ka mga hungog nga mga teorya. Ako mismo adunay igo sa kasamtangan nga mga sangputanan sa trabaho nga nahimo na.
Igo na, tingali, nga, sa kanunay nga proseso sa paghunahuna bahin sa ingon nga mga butang, wala ako makamatikod kung giunsa nawala ang akong hingpit nga opisyal ug bisan gamay nga suweldo nga trabaho. Ang kamatuoran mao nga sa paglabay sa panahon, ang akong hunahuna dili kaayo okupado sa naandan nga pagbalitok sa mga dokumento, nga hinayhinay nga labi nga nabalhin sa kanunay nga paglusbog sa teoretikal nga mga abstraction. Ug walay nagpakabana nga sa akong nangaging mga kalambuan naa na ko nagdugang nga produktibo sa iyang negosyo sa balay pinaagi sa usa ka han-ay sa kadako, ug ang tanan nga mga proseso nga sa usa ka paagi nanginahanglan pag-apil sa tawo, akong gihimo "awtomatiko" ug sa pila ka minuto! Dili, adunay usa nga nabalaka kaayo bahin sa kamatuoran kung unsa ilabi na Nagtrabaho ko dinhi alang sa tibuok nga nahabilin nga oras nga gigahin alang sa trabaho ... Sa laktud, ang pakiglalis sa mga burukrata ug mga oportunista kanunay nga mas mahal alang sa imong kaugalingon, mas sayon ang pagpanamilit sa tanan sa usa ka higayon.
Apan unya, gibiyaan sa akong kaugalingon nga mga aparato, nagsugod ako sa paghunahuna bahin sa bug-os nga ihalas nga mga butang, nga mao, bahin sa personal nga gahum.
Hinumdumi kung giunsa ang Tolkien Sauron usa ka higayon nga nakahimo sa pagbutang sa tibuuk nga esensya sa iyang kaugalingon nga gahum sa usa ka singsing, salamat nga nagpabilin siya sa prinsipyo nga dili mapugngan sa dugay nga panahon bisan pagkahuman sa iyang kaugalingon nga pisikal nga pagkawalay-tawo? Oo, nakahimo siya sa paghimo sa Usa ka Singsing alang sa iyang kaugalingon, ug unya siya mismo ang nangita niini. Bueno, tugoti ako karon nga adunay parehas nga kusgan nga artifact - ang akong kaugalingon Balay sa Makagagahum sa tanan! Gigamit kini sa mga tawo nga wala’y pagduda nga sa usa ka lugar sa kahiladman adunay akong kaugalingon nga mga bookmark, salamat nga mahimo nako makontrol ang ilang mga aksyon, bisan kung mawala ako hangtod sa hangtod gikan sa pisikal nga eroplano sa paglungtad!..
Aw, ang akong una nga kasinatian bahin niini mao ang usa ka pakete sa software nga nahabilin ingon usa ka panagbulag nga regalo sa pagdumala sa akong kanhing kompanya, nga nagpatuman sa dako nga bahin sa akong nangaging mga responsibilidad sa trabaho. Oh, kung nahibal-an lang nila kung unsa ang usa ka bomba sa oras nga akong giandam alang kanila sa kini nga balangkas ... Aw, karon andam na ako nga balikon ang parehas nga butang, apan sa usa ka labi ka global nga sukod ug adunay daghang mga sangputanan alang sa tanan. .
Sa tinuod lang, tensiyonado kaayo ko ug naghinam-hinam sa adlaw nga gitakda ang paglusad sa pagsulay sa sakyanan. Gisakit ko sa nagkasumpaki nga mga hunahuna. Sa usa ka bahin, nahadlok ko nga adunay mahitabo kanako ug dili nako makompleto ang eksperimento. Sa laing bahin, nahibal-an nako ang posible nga mga sangputanan alang sa tanan nga katawhan, ug hapit andam nga itugyan ang tanan tungod niini nga hinungdan.
Ug, sama sa swerte, kini nga adlaw nga usa ka matang sa halandumon nga panagtagbo nahitabo. Sa pagpauli, ang akong panan-aw kalit nga nadani sa panon sa usa ka dili pamilyar nga babaye nga nagsul-ob og puti ug dili maayo nga kahayag nga sinina, ug sa pipila ka mga hinungdan kalit nga ingon nako nga siya ang akong gipaabut sa tibuok nakong kinabuhi. Ang pipila ka maliputon nga mga suga kanunay nga nagsayaw sa iyang mga mata, apan sa samang higayon ingon og kini nagpakita sa usa ka dili masabtan nga impresyon sa usa ka dako nga hunahuna, nga, ingon nga kini daw, wala gayud mohaum sa kinatibuk-ang pagbati sa pagkabatan-on nga gipatungha niining klaro nga katingad-an. babaye nga indibidwal sa tanang bahin. Ug sa pipila ka rason, ang kakulang sa medyas wala makahasol kaniya, bisan sa sayo nga panahon sa tingpamulak, sa dihang ang tingtugnaw wala gayud hingpit nga naghatag sa iyang katungdanan ngadto kaniya.
Siya na sa usa ka pamilyar nga paagi - pamilyar kanako! - hapit siya molupad sa paglabay, nga nagtan-aw kanako sa makadiyot ug - tan-awa ug tan-awa! — ako ra ba, o morag pahiyom? Ug unya adunay usa ka butang nga miabut sa ibabaw kanako, mao nga ako sa kalit, sa walay pagdahum niini, sa usa ka paagi nga hingpit nga talagsaon alang sa akong kaugalingon, sa kalit ug tin-aw nga miingon sunod kaniya ang gimahal:
"Hello!"
Ug milingi gyud siya ug mitubag:
- Bueno, sama ka sa usa ka iring sa Marso! Tingali natawo sa Marso? Aw kumusta! Tugoti ako nga tan-awon pag-ayo kanimo. Kadiyot lang, kinsa ka sumala sa atong horoscope? Ayaw pag-ingon nga dili ka isda, kung dili, makaluluoy ...
“Nahadlok ko nga masuko ka, pero morag dili husto ang imong gitag-an.” Sa tinuud, usa ako ka Aquarius, gisaulog nako ang akong adlawng natawhan pipila ka semana ang milabay. Usa ka gamay nga sayup, apan wala gihapon maapil sa imong klasipikasyon. Pinaagi sa dalan, unsa nga datos kini nga gibase sa ...
“Aw, unya pasensya gyud.” Nangita pa ko og isda para sa akong kaugalingon, ug ang Aquarius kay bata pa. Pero ayaw kabalaka, moabot ra ang imong panahon! By the way, wala koy pagduhaduha nga ang tanan nimong buhaton importante kaayo. Tuohi ko, ako sa akong kaugalingon dugay na nga gusto mahibal-an kung kinsa ako ug diin ako gikan...
- Unsa?! Giunsa nimo pagkahibalo nga ako...
"Ako usa lang ka aksidente nga sayup sa imong sistema!" Kalimti ang bahin kanako ug magpadayon sa pagtrabaho ... - dinhi siya mahukmanon nga milakaw, kaswal nga nagwarawara sa iyang kamot kanako sa panamilit ug gibiyaan ako sa usa ka hingpit nga pagbati sa paghapa.
"Aw, dili na kini kapalaran," sa katapusan nakahunahuna ko ug determinado nga mipaingon sa balay nga adunay lig-on nga katuyoan nga makapasar sa akong katapusan nga pagsulay karon.
*{4}
Ug karon, sa pag-abot niini nga dapit, aduna kay katungod sa pagpangutana kanako: maayo, okay, gibuhat nimo sa imong computer ang usa ka medyo makapakombinsir, ingon sa imong pagtan-aw, modelo sa kamatuoran, uban sa tabang nga mahimo nimo nga makalkulo ug paghanduraw sa usa ka butang. Apan bisan kung mao kini, giunsa nimo pagbag-o ang usa ka butang sa palibot nga reyalidad sa tabang niini? Pagkahuman, ang imong tibuuk nga sistema sa kompyuter wala’y labi pa sa usa ka nahilit nga palibot, usa ka sandbox, "virtual nga makina"...
Oh tinuod? Ug sa imong hunahuna nga wala ako nag-atiman daan bahin sa posibilidad sa paghimo og usa ka matang sa mga lungag sa gawas nga kalibutan? Ingnon ta nga gipadagan nako ang akong modelo, ug wala’y mausab. Dili ako ang mapapas, apan usa lamang ka digital nga modelo sa akoa (o, hinoon, bisan usa ka prototype sa ingon nga modelo), ug sa akong makina lamang. Okay, apan unsa man kung karon ang tanan maglunsad sa samang butang sa balay? .. Dili ba kini mahimong usa ka matang sa digital nga pagpatuman sa usa ka ilado nga konsepto sama sa egregor? Aw, kana mao, gikan sa punto sa panglantaw sa gawas nga palibot, kalkulado sa labing lagmit nga resulta - sa kalit, sa gawas sa asul, dinhi ug karon, liboan ka mga in-game bots kalit nangandoy alang lamang sa ingon nga kalamboan sa mga panghitabo. Dili ba ang sistema mismo ang mag-adjust?
Kung dili, nan dili... Busa, ako magpabiling buhi aron malipay nga ako nasayop.
Ngano malipay ko? Aw, kini ra nga niining tibuok kalibutan nga han-ay sa sinugdan nakakita ako og usa ka matang sa kalaglagan. Hukmi alang sa imong kaugalingon: kita gihukman dili lamang sa walay katapusan nga scurring sa palibot niini nga banga, sama sa Colorado bakukang nga nadakpan sa kinsa nahibalo kon kinsa sa iyang kaugalingong personal nga laraw, ug walay paglaum nga naningkamot sa pagpangita sa usa ka paagi gikan niini hangtud nga ang matag usa kanato mamatay sa atong kaugalingong panahon.
Dugang pa, sa pipila ka rason kini nga tinguha sa pagsulod sa babag kay kinaiyanhon sa tawhanong rasa. Bisan pa, ingon og, ang bisan unsang palibot nga kontra kanato, sumala sa lohika sa mga butang, dili kalikayan nga ingon makadaot kanato. Bisan pa, kanunay kaming gahig ulo nga nangita alang sa among kaugalingon nga mga lungag diin, ingon og, kami kasaligan nga gitago sa sistema mismo gikan sa tanan nga mga matang sa makadaot nga mga impluwensya.
Dili ba husto?.. Sultihi ako: nasakpan ba nimo, pananglitan, ang usa ka virus sa imong kompyuter pinaagi sa usa ka browser? Sa teoriya, kini sama usab sa usa ka nahilit nga palibot alang sa imong operating system, bisan pa ... Kinsa ang mopugong kanimo sa pag-abli sa bisan unsang file nga gi-download sa gawas gikan sa Internet, nga adunay hingpit nga dili matag-an nga mga sangputanan alang sa imong kaugalingon? Ug kung dili nimo biyaan ang parehas nga lungag sa gawas nga paglansad sa tanan nga mga lahi sa dili maayo nga mga butang gikan sa Internet gikan sa gawas, nan gusto ba nimo nga gamiton ang ingon nga Internet sa imong kaugalingon? Pananglitan, bisan kung gihigugma nako ang akong iPad, kanunay nakong gihunahuna ang akong kaugalingon nga sa kini nga gadyet lisud nga makuha ang pagbati sa usa ka matang sa sterility, ingon nga adunay kanunay nga nawala ... Apan kini usa lamang ka tablet, ug adunay usa ka seryoso nga kompyuter Kini kasagaran lisud mahanduraw.
Busa, kita mismo ang naghimog pipila ka matang sa mga lusot para sa atong kaugalingon aron makalusot sa babag sa pagpanalipod. Sa pagkatinuod, mao na kini ang nahitabo sukad pa sa panahon sa Tanaman sa Eden, sa dihang ang Dios direkta nga miingon nga ang kahoy sa kahibalo sa maayo ug dautan motubo dinhi, apan dili ka manguha sa iyang bunga, labi na nga mokaon niini, kung dili... Aw, nahibal-an nimo ang uban - ang pagkamausisaon sa tawo mitultol sa usa ka hingpit nga lohikal nga sangputanan.
Unsay nahitabo niining mga adlawa? Una, walay lain kondili si Alan Turing, usa ka alaot nga henyo gikan sa sirado nga "sharashka" sa panahon sa gubat ug usa ka homoseksuwal nga gisalikway sa katilingban na sa panahon human sa gubat, sa pagkatinuod nangulo kanato pinaagi sa kamot ngadto sa kalibutan sa computer computing, ug unya siya mismo nakahimog simbolikong paghikog pinaagi sa pagpaak sa hilo nga mansanas. Unya ang usa ka Steve Jobs naghimo niining labing pinaakan nga mansanas nga logo sa iyang kompanya, nga sa usa ka tukma nga panahon naghimo sa una nga MASSIVE personal nga kompyuter, ug ang una nga parehas nga MASSIVE nga smartphone (nga mao, usa ka kompyuter sa usa ka telepono), ug parehas nga tablet. (Kini nga bantog nga iPad, diin ako karon nag-type niini nga teksto). Sukad niadto, ang kahon ni Pandora sa kataposan naabli.
Aw, unya ang usa ka Nick Bostrom midugang sugnod sa kalayo, nga nagpahayag sa atong tibuok kalibutan nga walay bisan unsa nga labaw pa kay sa usa ka computer simulation, ug popular nga mga personalidad sama sa Elon Musk sa tanan nga posible nga paagi mipunit ug replicated niini nga ideya.
Ug karon usa ka talagsaon nga tawo nga sama kanako ang mitungha, popular nga nagpatin-aw kanimo kung giunsa kini nga Uniberso molihok, gamit ang mga ideya nga nahibal-an na karon. Busa padayon - gihatagan ka ug piho nga mga panudlo alang sa pagbag-o sa kalibutan. Pinaagi sa maalamon nga paggamit sa tanan nga akong gisulti kanimo, mahimo nimong mabalhin ang mga bukid! Busa himoa nga ang computational model nga akong gihulagway mahimong imong kaugalingong Framework of Omnipotence!
O... gibati pa ba nimo ang usa ka matang sa dili kalikayan nga pagtilaw sa hilo sa tibuok nakong text? Human sa tanan, unsa man ang nakapugong kanimo sa personal nga PAGDELETE sa kini nga dokumento gikan sa tanan nimong mga gadget? Ang gidili nga prutas sama pa ba sa una? simbolikong kamatayon! Hangtud bag-o lang, wala gyud nimo ako gihunahuna, dili ba? Aw, ayaw lang hunahunaa sa umaabot! Papasa ako sa imong kaugalingon nga kamatuoran!..
Kung makatabang lang, siyempre. Apan nahadlok ako nga ang Uniberso magtul-id sa iyang kaugalingon pag-usab, ug adunay usa ka bag-ong buang nga dili na maunongon kanimo sama kanako.
Sa kinatibuk-an, gibuhat nako ang tanan nga akong mahimo ug gisulti ang tanan nga gusto nako. Gitugyan ko gihapon kanimo ang katapusang pagpili. Alang niini, ingon sa ilang giingon, kana ra ...
Source: www.habr.com