vannom yazyke (fiziko-himicheskom, naprimer), - no eto vsego lish' approksimaciya, cennaya dlya biologii v poznavatel'nom plane, a ne konstataciya podlinnogo polozheniya del. Ibo Priroda, kak my uzhe govorili, ne otdelyaet "formal'nye" processy ot material'nyh, poskol'ku ona "delaet i to i drugoe srazu". Ona sozdaet takie "informacionnye vyskazyvaniya", elementy kotoryh (to est' material'nye nositeli) mogut neposredstvenno vstupat' v reakciyu drug s drugom, i, takim obrazom, "formal'nyj" yazyk genov yavlyaetsya odnovremenno materialom dlya podstanovki v opredelennye mesta "gennyh fraz" v processe embriogeneza. Mezhdu tem nash formal'nyj podhod svoditsya k fiksacii nekoego strukturnogo aspekta processov; my obhodim inye aspekty, ibo ne umeem dejstvovat' inache. Odnako my, po-vidimomu, dolzhny delat' to zhe, chto i Priroda, to est' operirovat' takimi sistemami, kotorye yavlyayutsya odnovremenno material'nymi i informacionnymi. Moglo by pokazat'sya, budto my, sobstvenno govorya, tol'ko eto i delaem, konstruiruya, naprimer, cifrovye mashiny ili konechnye avtomaty. No eto ne tak. |ti nashi ustrojstva principial'no otlichayutsya ot zhivyh struktur, kak zrelyh, tak i "reducirovannyh" do zarodyshevyh kletok. My voobshche ne prinimaem sejchas vo vnimanie vsego, chto v podobnyh ustrojstvah obrazuet ih harakteristiku kak m_a_t_e_r_i_a_l_'_n_y_h ob容ktov. Nas interesuet informacionnyj aspekt proishodyashchih v nih preobrazovanij, i to ne vseh, a lish' teh, kakie sovershayutsya v sootvetstvii s programmoj mashiny. CHtoby luchshe uyasnit' sebe eto, sopostavim proizvol'nuyu cifrovuyu mashinu s zhivym organizmom, naprimer s ameboj. Tak vot, otklyuchennaya mashina po-prezhnemu ostaetsya mashinoj, a "otklyuchennaya" ameba perehodit v sostoyanie ustojchivogo ravnovesiya, kakovym yavlyaetsya konechnaya stadiya raspada, predstavlyayushchaya soboj haoticheskoe nagromozhdenie molekul. Struktura ameby, takim obrazom, ne izomorfna strukture kakoj-libo modeliruyushchej ee mashiny, poskol'ku ameba predstavlyaet soboj seriyu perepletayushchihsya material'nyh "sobytij" i nichego bolee, mashina zhe sostoit iz "sobytij" i iz ustojchivo uporyadochennogo substrata, v kotorom eti "sobytiya" proishodyat. Skonstruirovat' mashinu, izomorfnuyu amebe, oznachaet sozdat' sistemu, kotoraya posle "vyklyucheniya" raspadaetsya do urovnya brounovskih chastic. |tu harakternuyu osobennost' zhizni, sostoyashchuyu v tom, chto lyuboe ee stacionarnoe sostoyanie yavlyaetsya lish' kvazistacionarnym (ibo ono trebuet nepreryvnogo pritoka energii; tak, naprimer, nepodvizhno stoyashchij chelovek sovershaet nekuyu rabotu v protivopolozhnost' stol' zhe nepodvizhnomu mostu), mozhno schitat' neizbezhnym sledstviem ishodnyh uslovij biogeneza, ibo samoorganizaciya mogla podymat'sya na vysshie stupeni uporyadochennosti, lish' otdalyayas' - postepenno, melkimi shazhkami, na protyazhenii milliardov let - ot sostoyanij, termodinamicheski bolee veroyatnyh. No mozhno vmeste s tem sprosit', yavlyaetsya li eto sostoyanie, sozdavsheesya v rezul'tate evolyucii, naibolee optimal'nym (v konstruktorskom smysle) takzhe i sejchas. Esli eto tak, to rashod energii na samopodderzhanie zhizni kak kvazistacionarnogo sostoyaniya, ves'ma udalennogo ot ustojchivogo ravnovesiya, uzhe ne budet chem-to izlishnim, chem-to navyazannym sovremennosti, slovno vyplata dolgov, kotorye biogenez sdelal na starte, daby sohranit' termodinamicheskoe ravnovesie. Ved' takoe reshenie, hot' ono obhoditsya energeticheski dorozhe, chem "mashinnoe", yavlyaetsya "samoobespechivayushchim"; v protivopolozhnost' mashinam, kotorye my konstruiruem, ameba "rasschityvaet tol'ko na sebya"; eto proyavlyaetsya, naprimer, v tom, chto ona (kak gomogennaya sistema) obnaruzhivaet nesvojstvennye mashinam tendencii k "pochinke samoj sebya". Pravda, eto eshche ne predopredelyaet otveta na vopros, dolzhno li maksimal'no effektivnoe ustrojstvo dlya pererabotki informacii bolee pohodit' na amebu, chem na cifrovuyu mashinu. My imeem v vidu otdelenie vremennyh sobytij ot nezavisimoj ot nih struktury. Postroit' takuyu sistemu iz odnih "sobytij" - eto to zhe samoe, chto iskusstvenno sozdat' ekvivalent ameby ili mozga. Odnako my eshche ne znaem, vsegda li sistemy, postroennye soglasno etomu biologicheskomu principu, budut (kak ustrojstva, p_o_z_n_a_yu_shch_i_e mir) dejstvovat' effektivnej, chem "mertvye", mashinnye varianty. Vo vsyakom sluchae, zayavit', chto "tri chetverti fiziki ne imeyut znacheniya", vpolne mozhno pri postrojke informacionnoj mashiny, no etogo nel'zya zayavit' pri postrojke ameby. V nastoyashchej amebe "material'nye svojstva atomov" otnyud' "ne hodyat bez dela", poskol'ku eto takie svojstva, kotorye libo sposobstvuyut zhiznennym processam, libo im "meshayut" (k pervym otnosyatsya, naprimer, nekotorye rezul'taty ekzotermicheskih reakcij, a ko vtorym - teplovaya dissipaciya, brounovskoe dvizhenie). V amebe vse eti razlichnye svojstva, lish' shematicheski zdes' nami razdelennye, nahodyatsya vo vzaimnoj svyazi, blagodarya chemu metabolizm mozhet protivostoyat' diffuzii, a elektrony, prodolzhaya "vesti sebya po-svoemu", kak sovsem obychnye, a ne kakie-to tam "zhivye" elektrony (ibo zhivyh elektronov ne byvaet), intensivno "rabotayut" na okislitel'no-vosstanovitel'nye processy, i t.p. Horosho, znachit, ameba - kak, vprochem, i vsyakij material'nyj ob容kt - ne yavlyaetsya "voploshcheniem" nikakoj chisto formal'noj sistemy i poetomu ne podchinena tem ogranicheniyam, kotorye immanentno prisushchi takim sistemam. Podobno tomu kak lyubaya sistema material'nyh tel v prostranstve "bez malejshih hlopot" nahodit edinstvenno vozmozhnye "predpisannye" tyagoteniem puti (hotya matematik ischerpyvaet svoe ostroumie, tshchetno pytayas' formalizovat' v celyah predskazaniya stol' slozhnuyu situaciyu nebesnoj mehaniki), tochno tak i ameba ne ispytyvaet nikakih zatrudnenij, upravlyaya srazu vsemi material'nymi mikroprocessami, iz kotoryh skladyvaetsya ee struktura, poskol'ku processy eti polnost'yu vzaimosvyazany i net nikakogo ih "ostatka", kotoryj vyhodil by za "ekzistencial'nyj formalizm" ameby. V etom smysle ameba zhivet sebe "neformal'no", v to vremya kak nam prihoditsya drozhat' nad tem, chtoby mashina, upasi bozhe, ne vyshla iz granic togo formalizma, voploshcheniem kotorogo dolzhna yavlyat'sya ee struktura. Poetomu ne udivitel'no, chto mnogie kibernetiki (naprimer, Gordon Paek, o kotorom uzhe upominalos'), otchayavshis', stroyat samye dikovinnye modeli (zhelatino-sul'fatno-kolloidnye i tomu podobnye), dobivayas' togo, chtoby samoorganizaciya s samogo nachala byla odnoj iz osnov, immanentno formiruyushchih eti modeli. Inache govorya, eti kibernetiki v mechtah svoih vidyat put' ot sistem sovershenno "dikih", "nepokorennyh", odnako zhe "hot' kak-nibud'" (v smysle samoorganizacii) funkcioniruyushchih, k "priruchennym" sistemam - sistemam, kotorye budut sushchestvovat' i "dlya sebya", no predostavyat nam vozmozhnost' proizvodit' nekotorye informacionnye operacii, kogda my nauchimsya podchinyat' eti, vnachale "dikie", sistemy nashim zamyslam. Mne kazhetsya, chto kritiki vse zhe pravy: metodom slepyh prob i oshibok mozhno milliony let iskat' sistemu, poddayushchuyusya "prirucheniyu", poskol'ku zadacha eta, k sozhaleniyu, ves'ma slozhna, a kolichestvo al'ternativ, podlezhashchih proverke, pryamo-taki beskonechno. Mozhno, razumeetsya, rasschityvat' i na prostoe vezenie, o chem svidetel'stvuet vseobshchij interes ko vsyakogo roda lotereyam, - tol'ko ved' v loteree vsyakij raz kto-nibud' da vyigryvaet, togda kak "klass podhodyashchih sistem" mozhet nahodit'sya bog znaet gde, a poisk ego v izvestnoj mere podoben ozhidaniyu, chto v Monte-Karlo voz'met da i vypadet dvadcat' raz podryad krasnoe (eto ne protivorechit teorii veroyatnostej, a vse zhe takaya seriya ne vypadala ni razu s teh por, kak sushchestvuyut ruletki). No esli by my dazhe i sozdali nakonec "koloniyu teoreticheskih organizmov" (ili zhe mashin, generiruyushchih teorii), ne podchinennyh formal'nym ogranicheniyam, nam prishlos' by preodolet' drugoe i, mozhet byt', bolee slozhnoe prepyatstvie: ih tvorchestvo sleduet uderzhivat' v nekotoryh granicah, a imenno iz okeana beschislennyh postroenij, vyrabatyvaemyh imi, nado budet vylavlivat' lish' ves'ma redkie "zhemchuzhiny", to est' struktury, v kakom-libo otnoshenii cennye. Poslednie mogut predstavlyat' cennost' kak obobshchenie nekotoryh yavlenij, a takzhe v kachestve opredelennyh "struktur otnoshenij" (interesuyushchih, po drugim prichinam, matematikov). No my ponyatiya ne imeem, kakim obrazom sledovalo by osushchestvit' podobnogo roda otbor. Zadacha eta v nekotorom - i sushchestvennom - smysle podobna toj zadache, nad kotoroj b'yutsya konstruktory mashin-perevodchikov. P_o_n_i_m_a_n_i_e s_m_y_s_l_a t_e_k_s_t_a, kotoroe igraet rol' kriteriya yazykovogo otbora, eti konstruktory pytayutsya zamenit' chisto formal'nym algoritmicheskim "sitom" (mashina dolzhna perevodit' ne v silu togo, chto ponimaet tekst, a potomu, chto smyslovym znacheniyam udaetsya sopostavit' chisto formal'nye - sintaksicheski-morfologicheskie ili foneticheskie - aspekty yazykovyh vyskazyvanij); podobno etomu i my hoteli by zamenit' kriterii lyudej-uchenyh kakimi-to poddayushchimisya avtomatizacii vnesoznatel'nymi kriteriyami, blagodarya kotorym vse "poznavatel'no cennoe" sistematicheski otbiralos' by. Uchenye, zanimayushchiesya filosofiej nauki, vyzyvayut u konstruktorov dovol'no ustojchivoe razdrazhenie i dazhe zlost'. |ti uchenye vyskazyvayut chrezvychajno obil'nye i dazhe ves'ma chetkie mneniya o logike nauchnogo poznaniya, o teoretiko-poznavatel'noj evristike ili, nakonec, o tom, "chem yavlyayutsya" nauchnye teorii, no vmeste s tem oni ne prihodyat ni k kakim okonchatel'nym opredeleniyam, kotorye mogli by real'no pomoch' konstruktoram. Put' real'nyh utochnenij, po kotoromu shlo mnozhestvo uchenyh, - pozhaluj, s Popperom vo glave, ibo eto on zamenil v sootvetstvii s podlinnym polozheniem veshchej empiricheskuyu "proveryaemost'" empiricheskoj zhe "fal'sificiruemost'yu" (oproverzhimost'yu) 4, - privel k konstatacii togo, chto teoreticheskie terminy iz empiricheskih faktov vyvesti ne udaetsya, to est' chto net v faktah absolyutno nichego takogo, chto vynuzhdalo by nas k priyatiyu teh, a ne inyh "sushchnostej" (vrode, naprimer, "amplitudy veroyatnosti"). Teoreticheskaya traktovka faktov - eto takoe ih obobshchenie, kotoroe ne yavlyaetsya ni polnost'yu proizvol'nym (v smysle radikal'nogo konvencionalizma), ni polnost'yu determinirovannym (v smysle naivnoj indukcii). Takim obrazom, my opyat' ochutilis' na kratchajshem puti k tomu, chtoby utonut' v rassuzhdeniyah o problemah, nad kotorymi dolgie veka b'etsya filosofiya, a imenno prisutstvuyut li "universalia in rebus" 5 i esli da, to v kakoj mere. I etot izvechnyj spor mezhdu nominalizmom, realizmom i konceptualizmom stanovitsya kapkanom dlya ni v chem ne povinnyh konstruktorov, a edinstvennaya vozmozhnost' bezhat' ot razmyshleniya nad etimi dostopochtennymi problemami - eto manevr, vyvodyashchij na pozicii spasitel'nogo empirizma.
1 J.Bronowski, The Common Sense of Science, Penguin Books, 1960. 2 Vektony - gipoteticheskie sverhtyazhelye "vektornye" elementarnye chasticy; vvedeny v 1960 g. yaponskim fizikom Sakurai. Kvarki - gipoteticheskie sverhtyazhelye "spinornye" chasticy; vvedeny v 1962 g. amerikanskim fizikom Gel Menom. - Prim. red. 3 Rech' idet o tak nazyvaemom tezise CHercha. Avtor nepravil'no traktuet eto svoeobraznoe matematicheskoe utverzhdenie. Situaciya zdes' sleduyushchaya. Imeetsya intuitivnoe "netochnoe" ponyatie effektivnoj vychislimosti, ili voobshche effektivnogo processa. |ffektivnyj process - eto takoj process, kotoryj pozvolyaet "effektivno", v konechnoe chislo shagov poluchit' otvet na nekotoryj vopros. Naprimer, effektivnym processom yavlyaetsya process vychisleniya desyatichnyh znakov kornya iz 2 ili process vychisleniya determinanta 25 poryadka s celochislennymi elementami. S drugoj storony, imeetsya vydelivsheesya v rezul'tate dlitel'nyh matematicheskih issledovanij formal'noe, "strogoe" ponyatie obshcherekursivnoj funkcii (ponyatie algoritma takzhe yavlyaetsya formal'nym matematicheskim ponyatiem). Tezis CHercha glasit, chto effektivno vychislimye funkcii i obshcherekursivnye funkcii - eto odno i to zhe. Takim obrazom, tezis CHercha ustanavlivaet svyaz' mezhdu intuitivnymi i formal'nymi ob容ktami i poetomu on ne mozhet byt' dokazan, voobshche ne podlezhit dokazatel'stvu. CHitatel' mozhet oznakomit'sya s etim tezisom i ego modifikaciyami - tezisom Klini i tezisom T'yuringa po knigam S.K.Klini "Vvedenie v metamatematiku" (IL, 1957) i A.I.Mal'ceva "Algoritmy i rekursivnye funkcii" (izd-vo "Nauka", 1965). - Prim. red. 4 Karl Popper (rod. v 1902 g.) - avstrijskij logik i filosof. On predlozhil schitat' kriteriem empirichnosti (a stalo byt', i osmyslennosti) vyskazyvaniya ego "fal'sificiruemost'" (vozmozhnost' oproverzheniya). Inymi slovami, esli issledovatel' ne v sostoyanii skazat', chem by empiricheski otlichalsya nash mir ot mira, v kotorom rassmatrivaemoe vyskazyvanie bylo by lozhnym, to eto vyskazyvanie voobshche ne yavlyaetsya osmyslennym. Naprimer, esli vsevozmozhnye (hotya by myslimye) fakty podtverzhdayut tu ili inuyu teoriyu, to eta teoriya yavlyaetsya neempiricheskoj. |tot kriterij pozvolyaet, v chastnosti, otsech' ot nauki vse religioznye istiny. Tak, naprimer, lyuboj myslimyj fakt legko uvyazat' s utverzhdeniem o triedinstve boga, poetomu poslednee utverzhdenie lisheno smysla. Ocenku vzglyadov K.Poppera, v chastnosti kritiku ego sociologicheskoj koncepcii, sm. v stat'e I.Dobronravova "Popper", "Filosofskaya enciklopediya", t.4, 1967. - Prim. red. 5 Obshchie ponyatiya v konkretnyh veshchah (lat.).