h mashin, i znaet algoritmicheskuyu ogranichennost' programm; zato ego okruzhaet roj "specialistov", kotorye niskol'ko ne pomogayut emu v preodolenii trudnostej, a poprostu otricayut ih svoimi mnogochislennymi sovershenno goloslovnymi deklaraciyami. YAsno, chto podobnoe kiberneticheskoe "shamanstvo" ne mozhet privesti ni k chemu, krome nekoego smyateniya umov. Lichnosti, kotorye na dosuge izmyshlyayut "novye vidy" informacii, ili mashiny, kotorye "vse mogut" i dazhe izdayut knizhki s obiliem shem, ukazuyushchih, kak s inzhenernyh pozicij imitirovat' chelovecheskij mozg, so spokojnoj sovest'yu predayutsya svoim radostnym zanyatiyam, potomu chto vsem ih "otkrytiyam" i "izobreteniyam" ne ugrozhaet nikakaya eksperimental'naya proverka. Mezhdu tem problema sushchestvuet, i nikakimi "terminologicheskimi" zaklinaniyami ee preodolet' nel'zya. Neimoverno trudoemkie strukturnye issledovaniya ukazyvayut na to, chto kazhdyj mikroskopicheskij shag na puti uluchsheniya kachestva primitivnyh mashinnyh perevodov dolzhen byt' kuplen cenoj neproporcional'no ogromnogo uslozhneniya primenyaemyh algoritmicheskih struktur. Odno delo - zaprogrammirovat' bol'shuyu cifrovuyu mashinu tak, chtoby ona perevodila frazy tipa "Tam stoit stul", "Padaet sneg", "Deti idut v shkolu", i sovsem inoe - sozdat' programmu, s pomoshch'yu kotoroj mashina mozhet perevesti frazu vrode sleduyushchej: "Pervichnyj sposob prepodneseniya ob容kta vklyuchaet "izolyaciyu" ob容kta ne tol'ko v smysle ogranichennosti, no takzhe i v tom smysle, chto ob容kt lish' "izvne" dostupen dlya poznayushchego sub容kta, kakovoj pri etom v edinom akte postigaet ego kak celoe libo zhe tol'ko predvoshishchaet". Perevod etoj frazy "bez ponimaniya voobshche" predstavlyaetsya nevozmozhnym. CHeloveku, kotoryj zahochet ee perevesti, nadlezhit izuchat' ne sintaksis, a skoree fenomenologistskie zhurnaly. I on navernyaka ne smozhet "shvatit'" ih stil' ni v kakom algoritme, dayushchem perevod hotya by s nekotorym priblizheniem k originalu. Mozhno zadat' vopros, pochemu problemu nel'zya reshit' veroyatnostnymi metodami. Tekst knigi mozhno sravnit' s informaciej, soderzhashchejsya v hromosomah. Tekst zadaet "smysl", kak genotip - zreluyu osob'. V oboih sluchayah imeet mesto veroyatnostnoe predopredelenie. Izvestno, chto fenotip organizma otklonyaetsya ot genotipa, i analogichno "fenotip" literaturnogo proizvedeniya ili filosofskoj raboty sposoben kolebat'sya v opredelennom (zavisyashchem ot individuumov) diapazone predel'nyh znachenij. No etot veroyatnostnyj razbros ni v koej mere ne yavlyaetsya haotichnym. Statisticheskij podhod podrazumevaet approksimaciyu, asimptoticheskoe priblizhenie k predel'nomu znacheniyu "ideal'noj tochnosti", o chem nel'zya govorit' v sluchae perevoda, ibo klass "tochnyh perevodov" dannogo teksta soderzhit razlichnye "tipy tochnosti", kotorye ne vpolne sravnimy drug s drugom. Horoshij perevod otrazhaet original i v to zhe vremya neset v sebe cherty sobstvennogo stilya perevodchika. Mashina, sposobnaya na takoj perevod, takzhe proyavila by sobstvennyj stil', a eto oznachalo by, chto ona imeet opredelennuyu individual'nost', a ne yavlyaetsya vsego lish' odnoj v tochnosti vosproizvodimoj ipostas'yu "edinogo algoritma". My intuitivno prihodim k vyvodu - vprochem, horosho izvestnomu, - chto esli procedure nel'zya pridat' odnoznachnost', to ee nel'zya takzhe i formalizovat'. Pust' tak, skazhet kto-nibud', pust' horoshie perevody obrazuyut mnozhestvo, mozhet byt', dazhe potencial'no beskonechnoe, no mozhno spravit'sya i s etim, ispol'zovav ponyatie kontinuuma. |to ponyatie podsovyvaet kibernetikam, mezhdu prochim, i Taube. Ono blagorodnogo roda, ibo proishodit ot matematiki, no konstruktory, pomnya predosterezhenie timeo Danaos et dona ferentes 16, ne hotyat - osmotritel'no! - prinimat' stol' velikodushnyj podarok. Odno delo - pochtennyj, hot' i bessil'nyj sinonimicheskij slovar', i sovsem drugoe - preslovutyj kontinuum, ch'ya beskonechnost' sposobna razvorotit' lyubye slovari. Razumeetsya, my, kogda beseduem, ne strashimsya etogo kontinuuma - ved' my-to p_o_n_i_m_a_e_m, ch_t_o g_o_v_o_r_i_m. Process ponimaniya - ni v koem sluchae ne epifenomen 17, ne sredstvo komforta ("Kak eto milo - chto-to ponyat'!"), ne predmet roskoshi; process ponimaniya nel'zya takzhe schitat' intellektual'nym analogom chuvstvennogo naslazhdeniya, kotoryj mozhno stol' zhe prosto otdelit' ot akta informacionnogo snosheniya, kak udaetsya otdelit' priyatstvennost' fizicheskogo snosheniya ot ego estestvennyh fiziologicheskih posledstvij. Ponimanie - eto trud, kotoryj dolzhen byt' proizveden, on predstavlyaet soboj nichem ne zamenimyj, uzhe m_i_n_i_m_a_l_'_n_y_j kriterij yazykovogo otbora, kotoryj nel'zya svesti k bolee prostomu, a imenno k chisto formal'nomu vidu. Nash mozg ne potomu tak slozhen, chto my predstavlyaem soboj nejral'no vyrozhdayushchijsya vid, i ne potomu, chto kakoe-to nakoplenie mutacij v processe geneticheskogo drejfa sovershenno zazrya nagromozdilo etu izbytochnost'. Nash mozg takov, kakov on est', potomu chto, bud' on m_e_n_e_e s_l_o_zh_n_y_m - kak u obez'yan, naprimer, - on ne byl by sposoben k processam porozhdeniya mysli i yazyka. Esli by z_n_a_ch_e_n_i_ya ne byli evolyucionno, biologicheski polezny, esli b ih prisutstvie v nashem yazykovom bytii ne bylo neobhodimo, oni voobshche ne voznikli by. Bihevioristskij podhod predstavlyaetsya mne beznadezhnym i v samyh smelyh ego logicheskih prodolzheniyah, soglasno kotorym problemu "znacheniya" mozhno budet polnost'yu otbrosit', kogda my nauchimsya s velichajshej tochnost'yu issledovat' material'nye processy, lezhashchie v osnove processov psihicheskih. |to byl by put' sozdaniya "final'nogo algoritma", kogda sostoyaniyam mozga, nablyudaemym izvne, tochno sopostavlyayutsya ego vnutrennie sostoyaniya, poznavaemye v introspekcii. Imeya "slovar'" takih sootvetstvij, mozhno bylo by zaprogrammirovat' "nemyslyashchuyu" mashinu, kotoraya perevodila by na urovne samyh luchshih perevodchikov. No predstavlyaetsya ves'ma veroyatnym, chto odnim i tem zhe material'nym sostoyaniyam mozga ne obyazatel'no odnoznachno sopostavimo opredelennoe vnutrennee ego sostoyanie: nejral'nye kody lish' na elementarnyh urovnyah integracii blizki drug drugu. CHem vyshe my podnimemsya po stupenyam mozgovoj ierarhii (po urovnyam informacionnoj integracii), tem bolee individual'nym stanovitsya kod, i kod, v kotorom odin mozg realizuet svoi sostoyaniya, mozhet sovsem ne pohodit' na kod drugogo mozga: ved' kazhdyj mozg yavlyaetsya statisticheskoj sistemoj, kotoraya startuet ot polusluchajnogo nachal'nogo raspredeleniya i dvizhetsya po individual'noj dinamicheskoj traektorii. |to rasseyanie kodov privodit k tomu, chto material'nye dinamicheskie konfiguracii mozga, sopostavlennye, skazhem, vospriyatiyu krasnogo cveta, po-vidimomu, odinakovy v mozgu u raznyh lyudej, mozhet byt', dazhe lyudej i obez'yan, togda kak konfiguracii, otvechayushchie "vnutrennemu vospriyatiyu" toski, stol' razlichny ot individuuma k individuumu, chto bessmyslenno govorit' o kakom-libo "klasse material'nyh konfiguracij", kotoromu mozhno bylo by sopostavit' kak invariant simvol "toska". Kibernetika, podobno Prometeyu, pohitivshemu s Olimpa ogon', hotela vtorgnut'sya srazu v oblast' slozhnejshih intellektual'nyh operacij, ovladet' vsej etoj oblast'yu, probivayas' naprolom, napryamik, ne sleduya tomu gigantskomu puti, na kotorom nejronnye formacii vse bolee pozdnego evolyucionnogo proishozhdeniya naslaivalis' na drevnee lozhe pramozga, unasledovannogo lyud'mi eshche ot pancirnyh ryb; i kibernetike udalos' ponachalu avtomatizirovat' opredelennye logiko-arifmeticheskie operacii. Okapyvayas' na zanyatom uchastke, ona nachala toroplivye vylazki s zahvachennogo placdarma vo vsevozmozhnyh napravleniyah, no sleduyushchie ataki uzhe ne udalis', ne uvenchalis' podobnym zhe poznavatel'nym i prakticheskim uspehom. Pervaya pobeda okazalas' tol'ko takticheskoj, ravno kak i lokal'noj, prichem byla sovershena tyazhkaya, hotya psihologicheski i ponyatnaya, oshibka. V glubine dushi mnogie polagali, chto uzh esli udalos' pridat' "avtomatizm" takim "elitarnym", takim trudnym - s tochki zreniya shkol'nika ili domohozyajki - operaciyam, kak operacii logicheskogo ischisleniya, to bolee trudnym vse prochee poprostu okazat'sya ne mozhet. Ne zametili pri etom, chto odno delo - ispol'zovat' logiku na osnove znaniya sillogizmov, i sovsem drugoe - stolknut'sya s nej v semantiko-sintaksicheskoj strukture uzhe imeyushchegosya yazyka. Dazhe mozg puskayushchego slyuni imbecila, kotoryj edva sposoben govorit' i pochti ne ponimaet, chto emu govoryat, etot mozg kak sistema, v kotoroj funkcioniruyut znacheniya, s informacionno-prisposobitel'noj tochki zreniya nesravnenno bolee universalen, chem vychislitel'naya mashina, rabotayushchaya so skorost'yu milliona operacij v sekundu. V etoj knige my govorili o nenuzhnosti tehnicheskogo "povtoreniya" cheloveka. Stol' radikal'nyj tezis nuzhdaetsya v ogovorke. Trebovanie sozdat' mashiny, kotorye vedut sebya "ponimayushche", konechno, ne oznachaet, budto my nastaivaem na nadelenii mashin-perevodchikov "polnotoj vnutrennej zhizni" cheloveka; odnako my prosto ne znaem, v kakoj mere mozhno "nedodat' lichnost'" mashine, kotoraya prizvana horosho perevodit'. My ne znaem, mozhno li "ponimat'", ne obladaya "lichnost'yu" hotya by v zachatke. My schitaem, chto dazhe "bez ponimaniya" mozhno uspeshno dejstvovat' v real'nom mire - etomu uchit nas sushchestvovanie operacional'nogo yazyka evolyucii, i potomu my rassmotrim dalee razlichnye varianty "apsihicheskoj tehniki poznaniya". Ne predstavlyaetsya, odnako, vozmozhnym effektivno ispol'zovat' operacional'nyj yazyk do konca v kachestve orudiya perevoda v sfere yazykov diskursivnyh - myslitel'nyh. Libo mashiny budut dejstvovat' "ponimayushche", libo po-nastoyashchemu effektivnyh mashin-perevodchikov ne budet vovse. Ibo operacional'nost' polnost'yu svodima k otnosheniyu, togda kak myslitel'nyj process, takzhe imeyushchij etu chertu, yavlyaetsya k tomu zhe chem-to eshche. Itak, my stoim pered dlitel'noj osadoj. Ne nado slushat' sovetov teh, kto ugovarivaet otstupit', - eto porazhency, ih i v nauke nemalo, - osobenno kogda osada obeshchaet byt' dlitel'noj i tyazheloj. Najdutsya takzhe mnogochislennye znahari, kotorye stanut osypat' nas zavereniyami, budto oni otkryli kak raz "lekarstvo ot znacheniya". Im takzhe ne sleduet slishkom doveryat', - kak i v medicine, izbytok lekarstv protiv kakoj-to bolezni oznachaet, chto ni odno iz nih ne yavlyaetsya po-nastoyashchemu celebnym. Dazhe esli kratkogo puti i net, doroga na vershinu vse zhe est', hotya, mozhet byt', nam pridetsya preodolevat' ee "s samogo niza", s urovnya samyh elementarnyh processov - vzyat' ee ne shturmom, a terpelivym metodicheskim natiskom.
1 M. Taube, Vychislitel'nye mashiny i zdravyj smysl. Mif o dumayushchih mashinah, izd-vo "Progress", 1964, str. 65-75. 2 Kriticheskaya ocenka vzglyadov M.Taube dana v predislovii A.I.Berga k russkomu izdaniyu knigi Taube. V prilozhenii k rabote Taube pomeshcheny stat'i A.L.Semyuelya, U. Ross |shbi i P.Armera, vyskazyvayushchih vzglyady, otlichnye ot pessimisticheskih ocenok Taube. - Prim. red. 3 O. K. Tihomirov, |vristika cheloveka i mashiny, "Voprosy filosofii", 1966, No 4. 4 Sm, F. Rozenblatt. Principy nejrodinamiki, Perceptrony i teoriya mehanizmov mozga, izd-vo "Mir", 1965. - Prim. red. 5 Sm. sb. "Avtomaty", IL, 1956. - Prim. red. 6 V originale - neperedavaemyj namek. Nazvanie "teoria ukladu spolecznego" - "teoriya obshchestvennoj sistemy" namekaet na nazvanie "teoria ukladu slonecznego"- "teoriya solnechnoj sistemy". Vtoraya chast' frazy tem samym kak by govorit, chto "teoriya obshchestvennoj sistemy" dolzhna soderzhat' gorazdo bol'she "parametrov", chem ee astronomicheskaya "tezka". - Prim. red. 7 Uhod v beskonechnost' (lat.). 8 Na pervyj vzglyad (lat.). 9 Popavshij v peshcheru Polifema Odissej podnes ciklopu chashu vina, a na vopros o svoem imeni otvetil, budto ego zovut Nikto. Blagodarnyj Polifem poobeshchal s容st' Odisseya poslednim. Noch'yu Odissej i ego ucelevshie sputniki vyzhgli zahmelevshemu ciklopu edinstvennoe oko. Na voprosy sbezhavshihsya na rev Polifema ciklopov, postradavshij otvechal, chto ego gubit Nikto. Rasserzhennye ciklopy posovetovali Polifemu uspokoit'sya, poskol'ku ego nikto ne obidel. Odisseyu udalos' spastis'. - Prim. red. 10 My otsylaem chitatelya k dvum knigam: S.K.Klini, Vvedenie v metamatematiku (IL, 1957) i A.Frenkel' i I.Bar-Hillel. Osnovaniya teorii mnozhestv (izd-vo "Mir", 1966). V pervoj iz nih on najdet formulirovku i dokazatel'stvo teoremy Gedelya, o kotoroj idet rech', vo vtoroj - sravnitel'no prostoe rassmotrenie svyazannyh s nej problem. Smysl teoremy Gedelya sostoit v tom, chto vsyakaya dostatochno "bogataya" formal'naya logiko-matematicheskaya sistema, neprotivorechivaya v nekotorom dostatochno sil'nom smysle, obyazatel'no soderzhit formulu, kotoruyu v dannoj sisteme nel'zya ni dokazat', ni oprovergnut', no kotoraya - kak eto mozhno pokazat' s pomoshch'yu sredstv, vyhodyashchih za ramki sistemy, - vse zhe istinna. Koroche, ne vsyakoe "soderzhatel'no" istinnoe utverzhdenie v dannoj sisteme "formal'no vyvodimo" v nej. S poyavleniem teoremy Gedelya izmenilsya vzglyad na sam aksiomaticheskij podhod k postroeniyu teh ili inyh teorij, gospodstvovavshij so vremen Evklida. V etom - obshchenauchnoe znachenie teoremy Gedelya. - Prim. red. 11 O razlichii mezhdu upomyanutymi zdes' napravleniyami v "filosofii matematiki" - intuicionizmom, formalizmom i konstruktivizmom - dostatochno polnoe predstavlenie dayut upomyanutaya v predshestvuyushchem primechanii kniga A.Frenkelya i I.Bar-Hillela i monografiya A.Rejtinga "Intuicionizm" (izd-vo Mir", 1965). - Prim. red. 12 M. Taube, Vychislitel'nye mashiny i zdravyj smysl. Mif o dumayushchih mashinah, izd-vo "Progress", 1964, str. 111-112 13 Neizvestnoe (lat.). 14 G. Rule, The Concept of Mind, Barnes and Noble, New York, 1949. 15 Drug mne Platon, no istina drug mne bol'shij (lat.). Slova, pripisyvaemye Aristotelyu. - Prim. red. 16 Boyus' danajcev, dazhe prinosyashchih dary (grech.). Stih iz "|neidy" Vergiliya. - Prim. red. 17 |pifenomen (grech.) - pobochnoe yavlenie, soputstvuyushchee glavnomu i vyzvannoe im, no ne okazyvayushchee na nego nikakogo vliyaniya. |pifenomenalizm - doktrina, utverzhdayushchaya, chto myshlenie est' epifenomen mozgovyh processov. |togo vzglyada, v chastnosti, priderzhivayutsya nekotorye psihoanalitiki i bihevioristy. - Prim. red.