sleduyushchim obrazom. Kazhdyj sensornyj nerv fizicheski sposoben
peredavat' signaly s opredelennoj maksimal'noj chastotoj, poskol'ku
vozbudivshayasya nervnaya kletka smozhet vnov' vozbudit'sya tol'ko cherez odnu
millisekundu. Sledovatel'no, srazu posle vozbuzhdeniya opredelennogo nerva u
komp'yutera est', po krajnej mere, odna millisekunda, chtoby reshit',
vozbuditsya li etot nerv snova i kogda eto proizojdet. Esli on vychislil
reshenie, skazhem, za polovinu millisekundy, to v korrektirovke skorosti
raboty mozga net neobhodimosti, i komp'yuter prosto vozbuzhdaet etot nerv v
nuzhnoe vremya. V protivnom sluchae, komp'yuter zastavlyaet mozg zamedlit' (ili
pri neobhodimosti ostanovit') svoyu rabotu do zaversheniya vychisleniya
sleduyushchego sobytiya: zatem komp'yuter vosstanavlivaet normal'nuyu skorost'
raboty mozga. Kak by eto pochuvstvoval pol'zovatel'? Po opredeleniyu nikak.
Pol'zovatel' poluchil by oshchushchenie nahozhdeniya v srede, tochno opredelennoj v
programme, bez kakih by to ni bylo zamedlenij, ostanovok ili povtornyh
puskov. K schast'yu, generatoru virtual'noj real'nosti ne nuzhno zastavlyat'
mozg rabotat' bystree normal'nogo: iz-za etogo, v konce koncov, voznikli by
principial'nye problemy, potomu chto, krome vsego prochego, ni odin signal ne
mozhet peremeshchat'sya bystree skorosti sveta.
|tot metod pozvolyaet nam zaranee opredelit' proizvol'no uslozhnennuyu
sredu, dlya modelirovaniya kotoroj potrebuetsya lyuboj konechnyj ob容m
vychislenij, i poluchit' oshchushchenie nahozhdeniya v etoj srede pri lyuboj
sub容ktivnoj skorosti i urovne detalizacii, kotorye sposoben usvoit' nash
razum. Esli neobhodimyh vychislenij slishkom mnogo, chtoby komp'yuter smog
vypolnit' ih v techenie sub容ktivno vosprinimaemogo vremeni, oshchushchenie budet
estestvennym, no pol'zovatel' zaplatit za ego slozhnost' real'no poteryannym
vremenem. Pol'zovatel' mozhet vyjti iz generatora virtual'noj real'nosti
posle pyatiminutnogo, na ego sub容ktivnyj vzglyad, prebyvaniya tam i
obnaruzhit', chto v fizicheskoj real'nosti proshli gody.
Pol'zovatel', mozg kotorogo otklyuchaetsya na lyuboj period vremeni, a
potom snova vklyuchaetsya, budet oshchushchat' nepreryvnoe prebyvanie v kakoj-to
srede. No pol'zovatel', mozg kotorogo otklyuchilsya navsegda s momenta ego
otklyucheniya nichego ne chuvstvuet. |to znachit, chto programma, kotoraya v
kakoj-to moment mozhet otklyuchit' mozg pol'zovatelya i uzhe nikogda ne vklyuchit'
ego, ne sozdaet sredu, kotoruyu pol'zovatel' pochuvstvoval by i,
sledovatel'no, ne mozhet schitat'sya adekvatnoj programmoj dlya generatora
virtual'noj real'nosti. No programma, kotoraya v konechnom itoge vsegda
vklyuchaet mozg pol'zovatelya, pozvolyaet generatoru virtual'noj real'nosti
peredavat' kakuyu-to sredu. Dazhe programma, kotoraya voobshche ne ispuskaet
nervnyh signalov peredaet temnuyu bezmolvnuyu sredu absolyutnoj sensornoj
izolyacii.
V poiskah predelov virtual'noj real'nosti my prodelali ochen' dolgij
put' ot togo, chto osushchestvimo segodnya, ili dazhe ot togo, chto nahoditsya na
obozrimom gorizonte tehnologii. Poetomu ya eshche raz hochu podcherknut', chto
tehnologicheskie trudnosti ne meshayut nashim nastoyashchim celyam. My ne issleduem,
kakie vidy generatorov virtual'noj real'nosti mozhno postroit' ili kakie vidy
generatorov virtual'noj real'nosti kogda-nibud' postroyat inzhenery. My
izuchaem, chto pozvolyayut, a chto ne pozvolyayut zakony fiziki v oblasti
virtual'noj real'nosti. Prichina vazhnosti vsego etogo nikak ne svyazana s
perspektivoj sozdaniya luchshih generatorov virtual'noj real'nosti. Prichina v
tom, chto otnoshenie mezhdu virtual'noj real'nost'yu i "obychnoj" real'nost'yu --
chast' glubokogo, neozhidannogo ustrojstva mira, o kotorom i rasskazyvaet eta
kniga.
Rassmatrivaya vsevozmozhnye tryuki -- stimulyaciyu nervov, ostanovku i
zapusk mozga i t. d. -- my smogli predstavit' fizicheski vozmozhnyj generator
virtual'noj real'nosti, repertuar kotorogo ohvatyvaet ves' sensornyj
diapazon. Krome togo, etot generator polnost'yu interaktiven i ne ogranichen
ni skorost'yu, ni emkost'yu pamyati svoego komp'yutera. Sushchestvuet li chto-libo,
chto ne vhodit v repertuar takogo generatora virtual'noj real'nosti? Vozmozhno
li, chto etot repertuar mog by stat' naborom vseh logicheski vozmozhnyh sred?
Net. Repertuar dazhe etoj fantasticheskoj mashiny rezko ogranichen hotya by tem,
chto ona yavlyaet soboj fizicheskij ob容kt. Ona dazhe poverhnostno ne zatragivaet
to, chto vozmozhno logicheski, i sejchas ya dokazhu eto.
Osnovnaya ideya takogo dokazatel'stva -- izvestnogo kak diagonal'noe
dokazatel'stvo -- predshestvuet idee virtual'noj real'nosti. Vpervye eto
dokazatel'stvo ispol'zoval matematik devyatnadcatogo veka Georg Kantor, chtoby
dokazat', chto sushchestvuyut beskonechno bol'shie velichiny, prevyshayushchie
beskonechnost' natural'nyh chisel (1,2,3 ... ). Takoe zhe dokazatel'stvo lezhit
v osnove sovremennoj teorii vychisleniya, razrabotannoj Alanom T'yuringom i
drugimi v 1930-h godah. Im takzhe pol'zovalsya Kurt Gedel' dlya dokazatel'stva
svoej znamenitoj "teoremy o nepolnote", o kotoroj ya bolee podrobno rasskazhu
v glave 10.
Kazhdaya sreda v repertuare nashej mashiny formiruetsya nekoj programmoj,
zalozhennoj v ee komp'yuter. Predstav'te nabor vseh adekvatnyh programm dlya
etogo komp'yutera. S tochki zreniya fiziki kazhdaya iz etih programm tochno
opredelyaet konkretnyj nabor znachenij fizicheskih peremennyh na diskah ili
drugih nositelyah, gde zapisana komp'yuternaya programma. Iz kvantovoj teorii
nam izvestno, chto vse takie peremennye kvantuyutsya, i, sledovatel'no,
nezavisimo ot togo, kak rabotaet komp'yuter, nabor vozmozhnyh programm
diskreten. Znachit, kazhduyu programmu mozhno vyrazit' kak konechnuyu
posledovatel'nost' simvolov v diskretnom kode ili na yazyke komp'yutera.
Sushchestvuet beskonechnoe mnozhestvo takih programm, no kazhdaya iz nih mozhet
soderzhat' tol'ko konechnoe kolichestvo simvolov. Tak proishodit potomu, chto
simvoly -- eto fizicheskie ob容kty, sozdannye iz veshchestva v uznavaemyh
konfiguraciyah, a beskonechnoe kolichestvo simvolov sozdat' nevozmozhno. Kak ya
poyasnyu v glave 10, eti intuitivno ochevidnye fizicheskie trebovaniya: chto
programmy dolzhny kvantovat'sya, chto kazhdaya dolzhna sostoyat' iz konechnogo chisla
simvolov i vypolnyat'sya posledovatel'no po etapam, -- gorazdo bolee
material'ny, chem kazhutsya. Oni yavlyayutsya edinstvennymi sledstviyami zakonov
fiziki, kotorye neobhodimy v kachestve ishodnyh dannyh dokazatel'stva, no ih
dostatochno, chtoby nalozhit' rezkie ogranicheniya na repertuar lyuboj fizicheski
vozmozhnoj mashiny. Drugie fizicheskie zakony mogut nalozhit' dazhe bol'shie
ogranicheniya, no oni nikak ne povliyayut na vyvody etoj glavy.
Teper' davajte predstavim, chto iz etogo beskonechnogo nabora vozmozhnyh
programm sostavlen beskonechno dlinnyj numerovannyj spisok: Programma 1,
Programma 2 i t.d. |ti programmy mozhno raspolozhit', naprimer, v "alfavitnom
poryadke" po otnosheniyu k simvolam, v kotoryh oni vyrazheny. Poskol'ku kazhdaya
programma formiruet sredu, etot spisok mozhno rassmatrivat' i kak spisok vseh
sred iz repertuara dannoj mashiny; my mozhem nazyvat' ih Sreda 1, Sreda 2 i t.
d. Mozhet sluchit'sya i tak, chto nekotorye sredy budut povtoryat'sya v etom
spiske, potomu chto dve raznye programmy v dejstvitel'nosti mogut
osushchestvlyat' odinakovye vychisleniya, no eto nikak ne povliyaet na
dokazatel'stvo. Vazhno, chto kazhdaya sreda iz repertuara nashej mashiny dolzhna
poyavit'sya v spiske hotya by odin raz.
Virtual'naya sreda mozhet byt' kak ogranichennoj, tak i neogranichennoj v
vidimom fizicheskom razmere i vidimoj dlitel'nosti. Virtual'nym domom,
sozdannym arhitektorom, naprimer, mozhno budet pol'zovat'sya skol'ko ugodno,
no ob容m etoj sredy, veroyatno, budet ogranichen. Videoigra mozhet vydelit'
pol'zovatelyu tol'ko ogranichennoe vremya dlya igry do ee okonchaniya ili peredat'
igru-vselennuyu neogranichennyh razmerov, predostavit' neogranichennoe
kolichestvo issledovanij i zakonchit'sya tol'ko togda, kogda ee zakonchit sam
pol'zovatel'. Dlya uproshcheniya dokazatel'stva my budem rassmatrivat' tol'ko
nepreryvno rabotayushchie programmy. |to ne takoe uzh bol'shoe ogranichenie, potomu
chto, esli programma ostanavlivaetsya, to my vsegda mozhem rassmatrivat'
otsutstvie otvetnoj reakcii s ee storony kak sredu sensornoj izolyacii.
Mne hotelos' by opredelit' klass logicheski vozmozhnyh sred, kotorye ya
nazovu sredami Kantgoutu, chastichno v chest' Kantora (Cantor), Gedelya (Godel)
i T'yuringa (Turing), a chastichno po prichine, kotoruyu ya vkratce ob座asnyu. |ti
sredy ya opredelyayu sleduyushchim obrazom. V techenie pervoj sub容ktivnoj minuty
sreda Kantgoutu vedet sebya ne tak, kak Sreda 1 (sozdannaya Programmoj 1
nashego generatora). Ne vazhno, kak ona sebya vedet, vazhno, chto pol'zovatel'
oshchushchaet otlichie ee povedeniya ot povedeniya Sredy 1. V techenie vtoroj minuty
eta sreda vedet sebya otlichno ot Sredy 2 (hotya sejchas ona mozhet vesti sebya
kak Sreda 1). V techenie tret'ej minuty ona vedet sebya otlichno ot Sredy 3 i
t.d. Lyubuyu sredu, kotoraya udovletvoryaet etim usloviyam, ya nazovu sredoj
Kantgoutu.
Dalee, poskol'ku sreda Kantgoutu ne vedet sebya v tochnosti kak Sreda 1,
ona ne mozhet byt' Sredoj 1; poskol'ku ona ne vedet sebya v tochnosti kak Sreda
2, ona ne mozhet byt' Sredoj 2. Poskol'ku rano ili pozdno ona tochno budet
vesti sebya ne tak, kak Sreda 3, Sreda 4 i lyubaya drugaya sreda iz spiska,
znachit, ona ne mozhet byt' ni odnoj iz etih sred. Odnako etot spisok soderzhit
vse sredy, sozdannye kazhdoj vozmozhnoj programmoj dlya etoj mashiny.
Sledovatel'no, ni odna sreda Kantgoutu ne vhodit v repertuar mashiny. Sredy
Kantgoutu -- eto sredy, v kotorye my ne mozhem pojti2, ispol'zuya generator
virtual'noj real'nosti.
YAsno, chto sushchestvuet nevoobrazimo mnogo sred Kantgoutu, potomu chto
opredelenie ostavlyaet ogromnuyu svobodu vybora vozmozhnogo povedeniya etih
sred, edinstvennoe ogranichenie sostoit v tom, chto ih povedenie dolzhno
izmenyat'sya po proshestvii kazhdoj minuty. Mozhno dokazat', chto dlya kazhdoj sredy
iz repertuara dannogo generatora virtual'noj real'nosti sushchestvuet
beskonechno mnogo sred Kantgoutu, kotorye generator ne mozhet peredat'. Da i
mesta dlya rasshireniya repertuara putem ispol'zovaniya ryada razlichnyh
generatorov virtual'noj real'nosti ne tak uzh mnogo. Dopustim, chto u nas est'
sto takih generatorov, prichem kazhdyj (v celyah dokazatel'stva) imeet svoj
repertuar. Togda ves' nabor generatorov vmeste s programmiruemoj sistemoj
upravleniya, opredelyayushchej, kakie iz nih nuzhno ispol'zovat' dlya obrabotki
dannoj programmy, -- eto prosto bolee krupnyj generator virtual'noj
real'nosti. Takoj generator podhodit k privedennomu mnoj dokazatel'stvu,
poetomu, dlya kazhdoj sredy, kotoruyu on mozhet peredat', budet sushchestvovat'
beskonechno mnogo sred kotorye on peredat' ne smozhet. Bolee togo, dopushchenie o
tom, chto razlichnye generatory virtual'noj real'nosti mogut imet' razlichnye
repertuary, okazyvaetsya chrezmerno optimistichnym. Kak my skoro uvidim vse
dostatochno slozhnye generatory virtual'noj real'nosti imeyut po suti odin i
tot zhe repertuar.
Takim obrazom, nash gipoteticheskij proekt sozdaniya predel'nogo
generatora virtual'noj real'nosti, kotoryj stol' uverenno prodvigalsya
vpered, vnezapno natknulsya na kirpichnuyu stenu. Kakie by usovershenstvovaniya
ni proizoshli v blizhajshem budushchem, repertuar vsej tehnologii virtual'noj
real'nosti nikogda ne vyjdet za predely opredelennogo nabora sred. Sleduet
priznat', chto etot nabor beskonechno velik i ves'ma raznoobrazen po sravneniyu
s opytom, predshestvuyushchim poyavleniyu tehnologii virtual'noj real'nosti. Tem ne
menee eto vsego lish' beskonechno malaya chastica nabora vseh logicheski
vozmozhnyh sred.
Na chto bylo by pohozhe prebyvanie v srede Kantgoutu? Hotya zakony fiziki
i ne pozvolyayut nam okazat'sya v takoj srede, logicheski eto vozmozhno, a potomu
vopros ob oshchushcheniyah pravomeren. Bezuslovno ona ne smogla by dat' nam nikakih
novyh oshchushchenij, poskol'ku universal'nyj generator izobrazhenij yavlyaetsya
vozmozhnym i schitaetsya chast'yu nashego vysokotehnologichnogo generatora
virtual'noj real'nosti. Takim obrazom, sreda Kantgoutu pokazalas' by nam
zagadochnoj tol'ko posle togo, kak my okazalis' v nej i porazmyshlyali nad
rezul'tatami. |to bylo by primerno tak. Dopustim, chto vy fanat virtual'noj
real'nosti iz dalekogo budushchego s ul'tra-tehnologiyami. Vy presytilis': vam
kazhetsya, chto vy uzhe isprobovali vse interesnoe. No vdrug odnazhdy poyavlyaetsya
dzhinn i zayavlyaet, chto on mozhet perenesti vas v sredu Kantgoutu. Vy
somnevaetes', no soglasny proverit' ego sposobnosti. Vas mgnovenno perenosyat
v etu sredu. Posle neskol'kih eksperimentov vam kazhetsya, chto vy uznaete ee:
ona reagiruet kak odna iz vashih lyubimejshih sred, kotoraya na vashej domashnej
sisteme virtual'noj real'nosti sozdaetsya pri zapuske programmy pod nomerom
X. Odnako vy prodolzhaete eksperimentirovat', i, v konce koncov, po okonchanii
minuty H reakciya sredy stanovitsya ves'ma otlichnoj ot toj, kotoruyu mogla by
predlozhit' Sreda X. Togda vy otkazyvaetes' ot mysli o tom, chto eto Sreda X.
Potom vy mozhete zametit', chto vse proisshedshee ochen' napominaet druguyu sredu,
kotoruyu mozhno peredat', -- Sredu Y. No po istechenii minuty Y vy ponimaete,
chto vnov' oshiblis'. Harakteristika sredy Kantgoutu prosto v sleduyushchem:
skol'ko by vy ni gadali, kakoj by slozhnoj ni byla programma, kotoruyu vy
prinyali za programmu, peredayushchuyu imenno etu sredu, vy vsegda budete
oshibat'sya, potomu chto ni odna programma ne peredast ee ni na vashem
generatore virtual'noj real'nosti, ni na kakom-to drugom.
Rano ili pozdno vam pridetsya zavershit' svoyu proverku. K tomu vremeni,
vy, mozhet byt', spravedlivo reshite priznat' sposobnosti dzhinna. YA ne hochu
skazat', chto vy kogda-libo smozhete dokazat', chto byli v srede Kantgoutu,
poskol'ku vsegda sushchestvuet dazhe bolee slozhnaya programma, kotoruyu mog
obrabatyvat' dzhinn, i kotoraya mogla by sootvetstvovat' poluchennym vami
oshchushcheniyam. To, o chem ya sejchas govoril, vsego lish' obshchaya cherta virtual'noj
real'nosti, -- oshchushchenie ne mozhet dokazat' prebyvanie cheloveka v dannoj
srede, bud' eto Central'nyj Kort Uimbldona ili sreda tipa Kantgoutu.
V lyubom sluchae ne sushchestvuet takih dzhinnov i takih sred. Takim obrazom,
my dolzhny sdelat' vyvod, chto fizika ne pozvolyaet repertuaru generatora
virtual'noj real'nosti priblizit'sya k tomu ogromnomu repertuaru, kotoryj
pozvolyaet odna logika. Naskol'ko zhe velik mozhet byt' etot repertuar?
Poskol'ku my ne mozhem nadeyat'sya na peredachu vseh logicheski vozmozhnyh
sred, davajte rassmotrim men'shuyu (no v konechnom schete bolee interesnuyu)
stepen' universal'nosti. Davajte opredelim universal'nyj generator
virtual'noj real'nosti kak generator, repertuar kotorogo soderzhit repertuary
vseh ostal'nyh fizicheski vozmozhnyh generatorov virtual'noj real'nosti. Mozhet
li sushchestvovat' takaya mashina? Mozhet. Razmyshlenie o fantasticheskih
ustrojstvah, osnovannyh na stimulyacii nervov, upravlyaemoj komp'yuterom,
delaet eto ochevidnym -- v dejstvitel'nosti, pochti slishkom ochevidnym. Takuyu
mashinu mozhno bylo by zaprogrammirovat' na vosproizvedenie harakteristiki
lyuboj konkuriruyushchej s nej mashiny. Ona smogla by vychislit' reakciyu toj mashiny
pri lyuboj dannoj programme, pri lyubom povedenii pol'zovatelya i,
sledovatel'no, smogla by peredat' eti reakcii s sovershennoj tochnost'yu (s
tochki zreniya lyubogo dannogo pol'zovatelya). YA govoryu, chto eto "pochti slishkom
ochevidno", potomu chto zdes' soderzhitsya vazhnoe dopushchenie otnositel'no togo,
na vypolnenie kakih dejstvij mozhno zaprogrammirovat' predlozhennoe
ustrojstvo, tochnee, ego komp'yuter: pri nalichii podhodyashchej programmy,
dostatochnogo vremeni i sredstv hraneniya informacii komp'yuter smog by
podschitat' rezul'tat lyubogo vychisleniya, vypolnennogo lyubym drugim
komp'yuterom, v tom chisle i komp'yuterom konkuriruyushchego generatora virtual'noj
real'nosti. Takim obrazom, vozmozhnost' realizacii universal'nogo generatora
virtual'noj real'nosti zavisit ot sushchestvovaniya universal'nogo komp'yutera --
otdel'noj mashiny, sposobnoj vychislit' vse, chto tol'ko mozhno vychislit'.
Kak ya uzhe skazal, takaya universal'nost' byla vpervye izuchena ne
fizikami, a matematikami. Oni pytalis' sozdat' tochnoe intuitivnoe ponyatie
"resheniya" (ili "vychisleniya", ili "dokazatel'stva") chego-libo v matematike.
Oni ne uchityvali, chto matematicheskoe vychislenie -- eto fizicheskij process (v
chastnosti, kak ya uzhe ob座asnil, process peredachi v virtual'noj real'nosti),
poetomu, putem matematicheskogo rassuzhdeniya nevozmozhno opredelit', chto mozhno
vychislit' matematicheski, a chto nel'zya. |to polnost'yu zavisit ot zakonov
fiziki. No vmesto togo chtoby pytat'sya poluchit' kakie-to rezul'taty iz
zakonov fiziki, matematiki sformulirovali abstraktnye modeli "resheniya" i
opredelili "vychislenie" i "dokazatel'stvo" na osnove etih modelej. (YA
vernus' k etoj interesnoj oshibke v glave 10). Vot tak i poluchilos', chto za
neskol'ko mesyacev 1936 goda tri matematika, |mil' Post, Alonco CHerch i,
glavnoe, Alan T'yuring nezavisimo drug ot druga sozdali pervye abstraktnye
shemy universal'nyh komp'yuterov. Kazhdyj iz nih schital, chto ego
"vychislitel'naya" model' dejstvitel'no pravil'no formalizovala tradicionnoe
intuitivnoe ponyatie matematicheskogo "vychisleniya". Sledovatel'no, kazhdyj iz
nih takzhe polagal, chto ego model' ekvivalentna (imeet tot zhe repertuar)
lyuboj drugoj razumnoj formalizacii podobnoj intuicii. Sejchas eto izvestno
kak gipoteza CHercha - T'yuringa.
Model' vychislenij T'yuringa i koncepciya prirody zadachi, kotoruyu on
reshal, byla naibolee blizka k fizike. Ego abstraktnyj komp'yuter, mashina
T'yuringa, predstavlyal soboj bumazhnuyu lentu, razdelennuyu na kvadraty, prichem
na kazhdom kvadrate byl napisan odin iz konechnogo chisla legko razlichimyh
simvolov. Vychislenie osushchestvlyalos' sleduyushchim obrazom: proveryalsya odin
kvadrat, zatem lenta peremeshchalas' vpered ili nazad, stiraya ili zapisyvaya
odin iz simvolov v sootvetstvii s prostymi nedvusmyslennymi pravilami.
T'yuring dokazal, chto odin konkretnyj komp'yuter takogo tipa, universal'naya
mashina T'yuringa, imeet ob容dinennyj repertuar vseh drugih mashin T'yuringa. On
predpolozhil, chto etot repertuar v tochnosti sostoit iz "kazhdoj funkcii,
kotoruyu estestvenno poschitali by vychislimoj". On imel v vidu vychislimoj
matematikami.
Odnako matematiki -- eto dostatochno netipichnye fizicheskie ob容kty.
Pochemu my dolzhny dopuskat', chto ih peredacha pri vypolnenii vychislenij --
predel vychislitel'nyh zadach? Okazyvaetsya, chto ne dolzhny. Kak ya ob座asnyu v
glave 9, kvantovye komp'yutery mogut vypolnyat' vychisleniya, kotorye ni odin
matematik (chelovek) nikogda, dazhe v principe, ne smozhet vypolnit'. V rabote
T'yuringa neyavno vyrazheno ego ozhidanie, chto to, chto "estestvenno sochli by
vychislimym", moglo by, po krajnej mere v principe, byt' vychislennym i v
prirode. |to ozhidanie ekvivalentno bolee sil'noj fizicheskoj versii gipotezy
CHercha-T'yuringa. Matematik Rodzher Penrouz predlozhil nazvat' ego principom
T'yuringa:
Princip T'yuringa (dlya abstraktnyh komp'yuterov, imitiruyushchih fizicheskie
ob容kty)
Sushchestvuet abstraktnyj universal'nyj komp'yuter, repertuar kotorogo
vklyuchaet lyubye vychisleniya, kotorye mozhet osushchestvit' lyuboj fizicheski
vozmozhnyj ob容kt.
T'yuring schital, chto "universal'nyj komp'yuter", o kotorom idet rech', --
eto universal'naya mashina T'yuringa. CHtoby prinyat' vo vnimanie bolee shirokij
repertuar kvantovyh komp'yuterov, ya sformuliroval princip v takoj forme,
kotoraya tochno ne opredelyaet, kakoj chastnyj "abstraktnyj komp'yuter" vypolnyaet
vychisleniya.
Privedennym mnoj dokazatel'stvom sushchestvovaniya sred Kantgoutu ya, v
sushchnosti, obyazan T'yuringu. Kak ya uzhe skazal, on ne dumal neposredstvenno o
virtual'noj real'nosti, no "sreda, kotoruyu mozhno peredat'", otnositsya k
klassu matematicheskih voprosov, otvet na kotorye mozhno vychislit'. |ti
voprosy vychislimy. Vse ostal'nye voprosy -- voprosy, otvety na kotorye
nevozmozhno vychislit', nazyvayutsya nevychislimymi. Esli vopros nevychislim, eto
ne znachit, chto na nego net otveta ili chto etot otvet v kakom-to smysle ploho
opredelen ili somnitelen. Naprotiv, eto znachit, chto u etogo voprosa
opredelenno est' otvet. Delo prosto v tom, chto fizicheski, dazhe v principe ne
sushchestvuet sposoba poluchit' etot otvet (ili tochnee, poskol'ku chelovek vsegda
mozhet vyskazat' udachnuyu, nepoddayushchuyusya proverke dogadku, dokazat', chto eto i
est' otvet). Naprimer, prostye dvojniki - eto dva prostyh chisla, raznost'
kotoryh ravna 2, naprimer, 3 i 5 ili 11 i 13. Matematiki tshchetno pytalis'
otvetit' na vopros, sushchestvuet li beskonechno mnogo takih par ili ih
kolichestvo vse zhe konechno. Neizvestno dazhe, vychislim li etot vopros.
Predpolozhim, chto net. |to vse ravno, chto skazat', chto ni odin chelovek i ni
odin komp'yuter nikogda ne smogut sozdat' dokazatel'stvo sushchestvovaniya
konechnogo ili beskonechnogo kolichestva prostyh dvojnikov. No dazhe v etom
sluchae otvet na etot vopros sushchestvuet: mozhno skazat' opredelenno, chto est'
libo naibol'shaya para prostyh dvojnikov, libo beskonechno bol'shoe kolichestvo
takih par; drugogo varianta ne sushchestvuet. Vopros ostaetsya chetko
opredelennym, nesmotrya na to, chto, vozmozhno, my nikogda ne uznaem otveta.
CHto kasaetsya virtual'noj real'nosti: ni odin fizicheski vozmozhnyj
generator virtual'noj real'nosti ne smozhet peredat' sredu, v kotoroj otvety
na nevychislimye voprosy dayutsya po zaprosu pol'zovatelya. Takie sredy
otnosyatsya k sredam Kantgoutu. Verno i obratnoe: kazhdaya sreda Kantgoutu
sootvetstvuet klassu matematicheskih voprosov ("chto proizoshlo by dalee v
srede, opredelennoj tak-to i tak-to?"), na kotorye fizicheski nevozmozhno dat'
otvet.
Nesmotrya na to, chto nevychislimyh voprosov beskonechno bol'she, chem
vychislimyh, oni otnosyatsya k razryadu ezotericheskih. |to ne sluchajno. Tak
proishodit potomu, chto razdely matematiki, kotorye my sklonny schitat' v
men'shej stepeni ezotericheskimi, -- eto razdely. otrazhenie kotoryh my vidim v
povedenii fizicheskih ob容ktov v znakomyh situaciyah. V takih sluchayah my chasto
mozhem vospol'zovat'sya etimi fizicheskimi ob容ktami, chtoby otvetit' na voprosy
o sootvetstvuyushchih matematicheskih otnosheniyah. Naprimer, my mozhem schitat' na
pal'cah, potomu chto fizika pal'cev estestvennym obrazom imitiruet arifmetiku
celyh chisel ot nulya do desyati.
Vskore byla dokazana identichnost' repertuarov treh ochen' raznyh
abstraktnyh komp'yuterov, opredelennyh T'yuringom, CHerchem i Postom. Takovymi
zhe yavlyayutsya i repertuary vseh abstraktnyh modelej matematicheskogo
vychisleniya, kotorye s teh por predlagalis'. |to schitaetsya argumentom v
podderzhku gipotezy CHercha-T'yuringa i universal'nosti universal'noj mashiny
T'yuringa. Odnako, vychislitel'naya moshchnost' abstraktnyh mashin ne imeet
nikakogo otnosheniya k tomu, chto vychislimo v real'nosti. Masshtab virtual'noj
real'nosti i ee rasshirennoe primenenie dlya postizhimosti prirody i drugih
aspektov struktury real'nosti zavisit ot togo, realizuemy li neobhodimye
komp'yutery fizicheski. V chastnosti, lyuboj nastoyashchij universal'nyj komp'yuter
dolzhen byt' fizicheski realizuem sam po sebe. |to vedet k bolee opredelennomu
variantu principa T'yuringa:
Princip T'yuringa (dlya fizicheskih komp'yuterov, imitiruyushchih drug druga)
Vozmozhno postroit' universal'nyj komp'yuter: mashinu, kotoruyu mozhno
zaprogrammirovat' dlya vypolneniya lyubogo vychisleniya, kotoroe mozhet vypolnit'
lyuboj drugoj fizicheskij ob容kt.
Sledovatel'no, esli by universal'nyj komp'yuter upravlyal universal'nym
generatorom izobrazhenij, to poluchivshayasya v rezul'tate mashina stala by
universal'nym generatorom virtual'noj real'nosti. Drugimi slovami,
spravedliv i sleduyushchij princip:
Princip T'yuringa (dlya generatorov virtual'noj real'nosti, peredayushchih
drug druga)
Vozmozhno postroit' generator virtual'noj real'nosti, repertuar kotorogo
vklyuchaet repertuar kazhdogo drugogo fizicheski vozmozhnogo generatora
virtual'noj real'nosti.
Dalee, lyubuyu sredu mozhno peredat' s pomoshch'yu generatora virtual'noj
real'nosti nekotorogo roda (naprimer, vsegda mozhno rassmatrivat' kopiyu etoj
samoj sredy kak generator virtual'noj real'nosti s ochen' malen'kim
repertuarom). Takim obrazom, iz etogo varianta principa T'yuringa takzhe
sleduet, chto lyubuyu fizicheski vozmozhnuyu sredu mozhno peredat' s pomoshch'yu
universal'nogo generatora virtual'noj real'nosti. Sledovatel'no, chtoby
vyrazit' stabil'nuyu samopodobnost', kotoraya sushchestvuet v strukture
real'nosti, ohvatyvayushchej ne tol'ko vychisleniya, no i vse fizicheskie processy,
princip T'yuringa mozhno sformulirovat' vo vseob容mlyushchej forme:
Princip T'yuringa
Vozmozhno postroit' generator virtual'noj real'nosti, repertuar kotorogo
vklyuchaet kazhduyu fizicheski vozmozhnuyu sredu.
|to naibolee zhiznestojkaya forma principa T'yuringa. Ona ne tol'ko
govorit nam, chto razlichnye chasti real'nosti mogut pohodit' drug na druga.
Ona govorit nam. chto otdel'nyj fizicheskij ob容kt, kotoryj mozhno postroit'
raz i navsegda (ne schitaya obsluzhivaniya i pri neobhodimosti postavki
dopolnitel'noj pamyati), s neogranichennoj tochnost'yu mozhet vypolnyat' zadachu
opisaniya ili imitirovaniya lyuboj drugoj chasti mul'tiversa. Nabor vseh
variantov povedeniya i reakcij odnogo etogo ob容kta v tochnosti otobrazhaet vse
varianty povedeniya i reakcii vseh ostal'nyh fizicheski vozmozhnyh ob容ktov i
processov.
|to prosto rod samopodobnosti, kotoraya neobhodima, esli moi nadezhdy na
to, chto struktura real'nosti dolzhna byt' dejstvitel'no edinoj i ponyatnoj,
opravdanny. Esli zakony fiziki i ih primenimost' k lyubomu fizicheskomu
ob容ktu ili processu dolzhny byt' ponyaty, dolzhna sushchestvovat' vozmozhnost' ih
voploshcheniya v drugom fizicheskom ob容kte -- ob容kte, kotoryj budet ih znat'.
Takzhe neobhodimo, chtoby processy, sposobnye sozdat' takoe znanie, byli
fizicheski vozmozhny. Takie processy nazyvayutsya naukoj. Nauka zavisit ot
eksperimental'nyh proverok: fizicheskoj peredachi predskazanij zakona i ee
sravneniya s real'nost'yu (ee peredachej). Ona takzhe zavisit ot ob座asnenij, i
dlya togo, chtoby sumet' peredat' ih v virtual'noj real'nosti, neobhodimy sami
abstraktnye zakony, a ne prosto ih predskazatel'noe soderzhanie. |to
ser'eznyj zapros, no real'nost' udovletvoryaet ego. To est' zakony fiziki
udovletvoryayut ego. Zakony fiziki, soglasuyas' s principom T'yuringa, dayut tem
zhe samym zakonam fizicheskuyu vozmozhnost' stat' fizicheskimi ob容ktami. Takim
obrazom, mozhno skazat', chto zakony fiziki ruchayutsya za svoyu sobstvennuyu
postizhimost'.
Poskol'ku postroit' universal'nyj generator virtual'noj real'nosti
fizicheski vozmozhno, v nekotoryh vselennyh on dejstvitel'no dolzhen byt'
postroen. Zdes' ya dolzhen sdelat' predosterezhenie. Kak ya ob座asnil v glave 3,
my mozhem normal'no opredelit' fizicheski vozmozhnyj process kak process,
kotoryj dejstvitel'no proishodit gde-to v mul'tiverse. No, strogo govorya,
universal'nyj generator virtual'noj real'nosti -- eto granichnyj sluchaj,
trebuyushchij dlya svoego funkcionirovaniya skol' ugodno bol'shih resursov.
Poetomu, govorya "fizicheski vozmozhnyj", my v dejstvitel'nosti podrazumevaem,
chto v mul'tiverse sushchestvuyut generatory virtual'noj real'nosti, repertuary
kotoryh skol' ugodno blizki k naboru vseh fizicheski vozmozhnyh sred. Podobnym
obrazom, poskol'ku zakony fiziki mozhno peredat', gde-to ih peredayut. Takim
obrazom, iz principa T'yuringa (bolee opredelennoj ego formy, kotoruyu ya
dokazal) sleduet, chto zakony fiziki ne prosto ruchayutsya za svoyu sobstvennuyu
postizhimost' v kakom-to abstraktnom smysle -- postizhimost' abstraktnymi
uchenymi, kak eto bylo. Ih sledstviem yavlyaetsya fizicheskoe sushchestvovanie
gde-to v mul'tiverse kategorij, kotorye ponimayut ih skol' ugodno horosho. K
etomu sledstviyu ya vernus' v sleduyushchih glavah.
Sejchas ya vozvrashchayus' k voprosu, kotoryj zadal v predydushchej glave, a
imenno: pravda li to, chto esli by nasha peredacha v virtual'noj real'nosti,
osnovannaya na nepravil'nyh zakonah fiziki, byla edinstvennym istochnikom
polucheniya znanij, nam sledovalo by ozhidat' izucheniya nepravil'nyh zakonov.
Pervoe, chto mne hotelos' by vydelit', -- eto to, chto virtual'naya real'nost',
osnovannaya na nepravil'nyh zakonah, i est' nash edinstvennyj istochnik
polucheniya znanij! Kak ya uzhe skazal, vse nashi vneshnie oshchushcheniya svyazany s
virtual'noj real'nost'yu, sozdannoj nashim mozgom. A poskol'ku nashi koncepcii
i teorii (bud' oni vrozhdennye ili priobretennye) nikogda ne sovershenny, vse
nashi peredachi na samom dele netochny. To est', oni dayut nam oshchushchenie sredy,
kotoraya znachitel'no otlichaetsya ot sredy, v kotoroj my dejstvitel'no
nahodimsya. Mirazhi i drugie opticheskie illyuzii -- tomu primery. Dalee, my
oshchushchaem, chto Zemlya pod nashimi nogami nahoditsya v sostoyanii pokoya, nesmotrya
na to, chto v dejstvitel'nosti ona sovershaet bystroe i slozhnoe dvizhenie.
Krome togo, my oshchushchaem otdel'nuyu vselennuyu i otdel'nyj primer nashego
soznatel'nogo "ya", togda kak v real'nosti etogo mnogo. No eti netochnye i
vvodyashchie v zabluzhdenie oshchushcheniya ne dokazyvayut lozhnost' nauchnogo rassuzhdeniya.
Naprotiv, takie nedostatki yavlyayutsya otpravnoj tochkoj.
Nam prihoditsya reshat' zadachi o fizicheskoj real'nosti. Esli okazhetsya,
chto vse eto vremya my prosto izuchali programmirovanie kosmicheskogo
planetariya, to eto budet prosto oznachat', chto my izuchali men'shuyu chast'
real'nosti, chem nam kazalos'. Nu i chto? Takoe proishodilo mnogo raz v
istorii nauki, kogda nashi gorizonty rasshiryalis' za predely Zemli, vklyuchaya
solnechnuyu sistemu, nashu galaktiku, drugie galaktiki, skopleniya galaktik i
t.d. i, konechno, parallel'nye vselennye. Eshche odno podobnoe rasshirenie mozhet
proizojti zavtra; ono dejstvitel'no mozhet proizojti v sootvetstvii s odnoj
iz beskonechnogo mnozhestva vozmozhnyh teorij, a mozhet i ne proizojti nikogda.
Logicheski my dolzhny soglasit'sya s solipsizmom i rodstvennymi emu doktrinami
v tom, chto izuchaemaya nami real'nost' mozhet byt' nepredstavitel'noj chast'yu
bol'shej, nedostizhimoj ili nepostizhimoj struktury. No moe obshchee oproverzhenie
takih doktrin pokazyvaet, chto neracional'no osnovyvat'sya na vozmozhnosti.
Sleduya Okkamu, my primem eti teorii togda i tol'ko togda, kogda oni
obespechat ob座asneniya luchshie, chem ob座asneniya ih bolee prostyh konkurentov.
Odnako, sushchestvuet vopros, kotoryj my vse eshche mozhem zadat'. Dopustim,
kogo-libo zaklyuchili v nebol'shuyu, nepredstavitel'nuyu chast' nashej real'nosti,
naprimer, v universal'nyj generator virtual'noj real'nosti,
zaprogrammirovannyj po nepravil'nym zakonam fiziki. CHto mogli by uznat' eti
plenniki o nashej vneshnej real'nosti? Na pervyj vzglyad, kazhetsya nevozmozhnym,
chto oni mogli by otkryt' hot' chto-nibud'. Mozhet pokazat'sya, chto samoe
bol'shee, chto oni mogli by otkryt', -- eto zakony upravleniya, t.e.
komp'yuternuyu programmu, upravlyayushchuyu ih zaklyucheniem.
No eto ne tak! My snova dolzhny prinyat' vo vnimanie, chto esli eti
plenniki -- uchenye, to oni budut iskat' kak predskazaniya, tak i ob座asneniya.
Drugimi slovami, oni ne budut udovletvoreny prostym znaniem programmy,
upravlyayushchej mestom ih zaklyucheniya: oni zahotyat ob座asnit' proishozhdenie i
svojstva razlichnyh ob容ktov (vklyuchaya i samih sebya), nablyudaemyh imi v toj
real'nosti, v kotoroj oni zhivut. No v bol'shinstve sred virtual'noj
real'nosti takih ob座asnenij ne sushchestvuet, poskol'ku peredannye ob容kty
voznikayut ne tam, oni sozdayutsya vo vneshnej real'nosti. Predpolozhim, chto vy
igraete v virtual'nuyu video igru. Dlya uproshcheniya dopustim, chto, po suti, eto
igra v shahmaty (vozmozhno, eto igra ot pervogo lica, v kotoroj vy igraete
rol' korolya). Vy vospol'zuetes' normal'nymi metodami nauki, chtoby otkryt'
"fizicheskie zakony" etoj sredy i sledstviya, vytekayushchie iz nih. Vy uznaete,
chto shah, mat i pat - "fizicheski" vozmozhnye yavleniya (t.e. vozmozhnye pri vashem
luchshem ponimanii dejstviya sredy), no polozhenie s devyat'yu belymi peshkami
"fizicheski" nevozmozhno. Kak tol'ko vy pojmete zakony dostatochno horosho, vy
zametite, chto shahmatnaya doska -- slishkom prostoj ob容kt, chtoby, naprimer,
dumat', i, sledovatel'no, vashi sobstvennye myslitel'nye processy ne mogut
nahodit'sya pod upravleniem tol'ko zakonov shahmat. Podobnym obrazom, vy mogli
by skazat', chto za vremya lyubogo kolichestva shahmatnyh partij figury nikogda
ne sozdadut samovosproizvodyashchiesya konfiguracii. I esli uzh zhizn' ne mozhet
razvit'sya na shahmatnoj doske, to chto govorit' o razvitii tam razuma.
Sledovatel'no, vy mogli by takzhe sdelat' vyvod, chto vashi sobstvennye
myslitel'nye processy ne mogli vozniknut' vo vselennoj, v kotoroj vy sebya
obnaruzhili. Takim obrazom, dazhe esli by vy prozhili vsyu svoyu zhizn' v
peredannoj srede i ne imeli by svoih sobstvennyh vospominanij o vneshnem
mire, na kotoryh mozhno bylo by osnovat' ob座asneniya, vashe znanie ne
ogranichilos' by etoj sredoj. Vy by znali, chto nesmotrya na to, chto vselennaya
vrode by imeet opredelennyj vid i podchinyaetsya opredelennym zakonam, vne ee
dolzhna sushchestvovat' bolee obshirnaya vselennaya, kotoraya podchinyaetsya drugim
zakonam fiziki. I vy mogli by dazhe dogadat'sya o nekotoryh otlichiyah etih
bolee obshirnyh zakonov ot zakonov shahmatnoj doski.
Artur K. Klark odnazhdy zametil, chto "lyubuyu dostatochno perspektivnuyu
tehnologiyu nevozmozhno otlichit' ot volshebstva". |to pravda, no vvodit v
nekotoroe zabluzhdenie. Takoe zayavlenie delaetsya s tochki zreniya donauchnogo
myslitelya i yavlyaet soboj oshibochnyj obhodnoj put'. V dejstvitel'nosti, dlya
lyubogo, kto ponimaet, chto takoe virtual'naya real'nost', dazhe nastoyashchee
volshebstvo budet neotlichimo ot tehnologii, poskol'ku v postizhimoj real'nosti
net mesta volshebstvu. Vse, chto kazhetsya nepostizhimym, nauka rassmatrivaet
prosto kak svidetel'stvo togo, chto est' chto-to, chto my eshche ne ponyali, bud'
eto magicheskij tryuk, perspektivnaya tehnologiya ili novyj zakon fiziki.
Rassuzhdenie, ishodyashchee iz usloviya svoego sobstvennogo sushchestvovaniya,
nazyvaetsya "antropnym". Hotya ono nekotorym obrazom primenimo v kosmologii,
obychno ego neobhodimo dopolnyat' samostoyatel'nymi dopushcheniyami o prirode
"sebya", chtoby poluchit' opredelennye vyvody. Odnako antropnoe rassuzhdenie --
ne edinstvennyj sposob, s pomoshch'yu kotorogo obitateli nashego gipoteticheskogo
virtual'nogo mesta zaklyucheniya mogli by poluchit' znanie o vneshnem mire. Lyuboe
iz razvivshihsya ob座asnenij ih nebol'shogo mira moglo by momental'no dostignut'
vneshnej real'nosti. Naprimer, sami pravila shahmat, soderzhashchie to, chto mozhet
osoznat' vnimatel'nyj igrok, -- eto "iskopaemoe svidetel'stvo" togo, chto eti
pravila evolyucionirovali: sushchestvuyut "nezauryadnye" hody, naprimer, rokirovka
i vzyatie na prohode, kotorye uvelichivayut slozhnost' pravil, no i
sovershenstvuyut igru. Ob座asnyaya etu slozhnost', spravedlivo sdelat' vyvod, chto
pravila shahmat ne vsegda byli takimi, kak sejchas.
V popperianskoj sheme vsego ob座asneniya vsegda vedut k novym zadacham,
kotorye, v svoyu ochered', trebuyut novyh ob座asnenij. Esli cherez nekotoroe
vremya plenniki ne smogut usovershenstvovat' sushchestvuyushchie u nih ob座asneniya,
oni, konechno, mogut sdat'sya, vozmozhno, oshibochno zaklyuchiv, chto ob座asneniya
voobshche nedostupny. No esli oni ne sdadutsya, to oni budut razmyshlyat' nad temi
aspektami okruzhayushchej ih sredy, kotorye, kak im kazhetsya, ne imeyut adekvatnogo
ob座asneniya. Takim obrazom, esli by tyuremshchiki vysokih tehnologij hoteli byt'
uverennymi, chto peredannaya imi sreda, vechno budet zastavlyat' ih plennikov
dumat', chto vneshnego mira ne sushchestvuet, oni prosto zagruzili by ih rabotoj
po gorlo. CHem bolee dolguyu illyuziyu oni hoteli sozdat', tem bolee izoshchrennoj
dolzhna byla byt' programma. Nedostatochno prosto ogradit' plennikov ot
nablyudeniya vneshnego mira. Peredannaya sreda dolzhna byt' takoj, chtoby nikakie
ob座asneniya togo, chto nahoditsya vnutri, nikogda ne potrebovali by ot plennika
formulirovki togo, chto nahoditsya snaruzhi. Drugimi slovami, eta sreda dolzhna
byt' samosoderzhashchej vo vsem, chto kasaetsya ob座asnenij. No YA somnevayus', chto
hot' kakaya-to chast' real'nosti, ne govorya uzhe o vsej real'nosti, obladaet
takim svojstvom.
TERMINOLOGIYA
Universal'nyj generator virtual'noj real'nosti -- eto generator,
repertuar kotorogo soderzhit kazhduyu fizicheski vozmozhnuyu sredu.
Sredy Kantgoutu -- logicheski vozmozhnye sredy, kotorye ne smozhet
peredat' ni odin fizicheski vozmozhnyj generator virtual'noj real'nosti.
Diagonal'noe dokazatel'stvo - vid dokazatel'stva, pri kotorom
predstavlyayut spisok kategorij, a zatem ispol'zuyut etot spisok dlya sozdaniya
rodstvennoj kategorii, kotoroj ne mozhet byt' v etom spiske.
Mashina T'yuringa -- odna iz pervyh abstraktnyh modelej vychisleniya.
Universal'naya mashina T'yuringa -- mashina T'yuringa s repertuarom,
soderzhashchim repertuary vseh mashin T'yuringa.
Princip T'yuringa (v samoj zhiznestojkoj forme) -- postroit'
Universal'nyj generator virtual'noj real'nosti fizicheski vozmozhno. Pri
sdelannyh mnoj dopushcheniyah eto oznachaet, chto ne sushchestvuet verhnej granicy
universal'nosti generatorov virtual'noj real'nosti, kotorye dejstvitel'no
budut postroeny gde-to v mul'tiverse.
REZYUME
Diagonal'noe dokazatel'stvo pokazyvaet, chto podavlyayushchee bol'shinstvo
logicheski vozmozhnyh sred nevozmozhno peredat' v virtual'noj real'nosti. YA
nazval takie sredy sredami Kantgoutu. Tem ne menee, v fizicheskoj real'nosti
sushchestvuet postizhimaya samopodobnost'. vyrazhennaya v principe T'yuringa: mozhno
postroit' generator virtual'noj real'nosti, repertuar kotorogo vklyuchaet
kazhduyu fizicheski vozmozhnuyu sredu. Takim obrazom, otdel'nyj fizicheskij
ob容kt, kotoryj mozhno postroit', sposoben imitirovat' vse varianty povedeniya
i reakcii lyubogo drugogo fizicheski vozmozhnogo ob容kta ili processa. Imenno
eto delaet real'nost' postizhimoj.
|to takzhe delaet vozmozhnoj evolyuciyu zhivyh organizmov. Odnako prezhde chem
obsuzhdat' teoriyu evolyucii, chetvertuyu osnovnuyu nit' ob座asneniya struktury
real'nosti, ya dolzhen sdelat' kratkoe otstuplenie v epistemologiyu.
Glava 7. Beseda o dokazatel'stve (ili "Devid i Kripto-induktivist")
YA schitayu, chto ya reshil nasushchnuyu filosofskuyu problemu: zadachu indukcii.
Karl Popper
Kak ya ob座asnil v predislovii, osnovnaya cel' etoj knigi ne zashchita
chetyreh osnovnyh nitej, a issledovanie togo, chto govoryat eti niti i kakogo
roda real'nost' oni opisyvayut. Imenno poetomu ya nikoim obrazom ne obrashchayus'
k vrazhdebnym teoriyam. Tem ne menee, sushchestvuet odna vrazhdebnaya teoriya, a
imenno: zdravyj smysl, -- podrobnogo oproverzheniya kotoroj trebuet moj razum,
kogda ona vstupaet v konflikt s moimi utverzhdeniyami. Poetomu v glave 2 ya v
puh i prah razbil logichnuyu ideyu sushchestvovaniya odnoj vselennoj. V glave 11 ta
zhe uchast' ozhidaet ideyu o tom, chto vremya "techet" ili chto nashe soznanie
"dvizhetsya" vo vremeni. V glave 3 ya raskritikoval induktivizm, razumnuyu ideyu
o tom, chto my sozdaem teorii o fizicheskom mire, obobshchaya rezul'taty
nablyudenij, i dokazyvaem svoi teorii, povtoryaya eti nablyudeniya. YA ob座asnil,
chto induktivnoe obobshchenie na osnove nablyudenij nevozmozhno i chto induktivnoe
dokazatel'stvo neobosnovanno. YA ob座asnil, chto induktivizm osnovyvaetsya na
oshibochnom predstavlenii o tom, chto nauka ishchet predskazaniya na osnove
nablyudenij, a ne ob座asneniya v otvet na zadachi. YA takzhe ob座asnil (sleduya
Popperu), kak nauka delaet progress, pridumyvaya novye ob座asneniya i zatem
vybiraya luchshie s pomoshch'yu eksperimentov. Vse eto pochti polnost'yu prinimayut
uchenye i filosofy. No bol'shinstvo filosofov ne prinimayut to, chto etot
process dokazan. Sejchas ya ob座asnyu eto.
Nauka ishchet luchshie ob座asneniya. Nauchnoe ob座asnenie tolkuet nashi
nablyudeniya, postuliruya chto-libo otnositel'no togo, kakova nasha real'nost' i
kak ona dejstvuet. My schitaem kakoe-libo ob座asnenie luchshe drugih, esli ono
ostavlyaet men'she belyh pyaten (naprimer, kategorij s neob座asnennymi
svojstvami), trebuet men'shego kolichestva bolee prostyh postulatov, yavlyaetsya
bolee obobshchennym, proshche soglasuetsya s horoshimi ob座asneniyami iz drugih
oblastej