A nyitott jövo˝ problémája Véletlen, kauzalitás és determinizmus a fizikában (Digitáliskiadás) E. SZABÓ LÁSZLÓ TYPOTEXKiadó Budapest,2004 Amu˝ digitálismegjelenítéseazOktatásiMinisztériumtámogatásával,aFelso˝oktatási Tankönyv-ésSzakkönyvtámogatásiPályázatkeretébentörtént. Mindenjogfenntartva. Jelenkönyvet,ill. annakrészeittilosreprodukálni, adatrögzíto˝ rendszerbentárolni,bármilyenformábanvagyeszközzelelektronikus útonvagymásmódonközölniakiadókengedélyenélkül. www.typotex.hu (cid:13)c E.SzabóLászló;Typotex,2002 Elo˝szó a digitális kiadáshoz Akönyvdigitálisésegybenjavítottkiadásaabbólacélbólkészült,hogyazInterneten szabadonhozzáférheto˝ legyen,elso˝sorbanazérdeklo˝do˝ egyetemihallgatókszámára. Elo˝fordulhat, hogy a különbözo˝ internetes oldalakon a könyvet HTML, XHTML/MathML, MSWord és egyéb formában adják közre. Felhívom az olvasó fi- gyelmét,hogyazilyenkorelkerülhetetlenkonvertálásihibákmiattezekaformátumok nem tükrözik a mu˝ eredeti tartalmát. A digitális kiadás eredeti, hiteles formátuma a PDF. A PDF file az „Adobe Reader”-rel olvasható, amely egy szabad szoftver, és a következo˝ címenérheto˝ el: http://www.adobe.com/products/acrobat/readstep2.html Aszövegmegírásáhozazalábbiszoftverekethasználtam: MEPISLinux Debianalapúoperációsrendszer LYX szövegszerkeszto˝ LATEX szövegszerkeszto˝ TEX2PDF LATEX–PDFkonvertálástsegíto˝ program pdfTEX LATEX–PDFkonverter Xfig/TEXfig grafikuseditor Afelsoroltakmindegyikea„GNUGeneralPublicLicense”hatályaalátartozó,szaba- donterjesztheto˝ éshasználhatószoftver. 3 Tartalomjegyzék Elo˝szóadigitáliskiadáshoz 3 1. Bevezetés 6 2. Anyitottjövo˝hözmindenekelo˝ttjövo˝ kell 9 2.1. Klasszikuselképzelésekazido˝ folyásáról . . . . . . . . . . . . . . . 9 2.2. Arelativitáselméletkonzekvenciái . . . . . . . . . . . . . . . . . . . 10 2.3. Megtudhatunk-earelativitáselméletbo˝lbármitisatérro˝lésazido˝ro˝l? 17 2.4. Atérido˝ geometriájánakkonvencionálisjellege. Elso˝ közelítés . . . . 26 2.5. Atérido˝ geometriájánakkonvencionálisjellege. Másodikközelítés . . 30 2.6. Azegyideju˝ségontológiaistátusza . . . . . . . . . . . . . . . . . . . 37 3. Miesszenciálisésminemazido˝ fogalmában? 43 4. Determinizmus 49 4.1. Miadeterminizmus? . . . . . . . . . . . . . . . . . . . . . . . . . . 49 4.2. Determinizmuséslokalitás . . . . . . . . . . . . . . . . . . . . . . . 54 5. Aklasszikusvalószínu˝ségelméletalapjai 56 5.1. Aklasszikusvalószínu˝ségszámításmatematikája . . . . . . . . . . . 56 5.2. APitowsky-tétel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 5.3. Avalószínu˝ségértelmezései . . . . . . . . . . . . . . . . . . . . . . 63 5.4. Kísérletavalószínu˝ségfizikalistainterpretációjára . . . . . . . . . . . 76 6. Kauzalitás 81 6.1. Episztemikusértelmezés . . . . . . . . . . . . . . . . . . . . . . . . 83 6.2. Modálisértelmezés . . . . . . . . . . . . . . . . . . . . . . . . . . . 84 6.3. Akauzalitásvalószínu˝ségielmélete . . . . . . . . . . . . . . . . . . 88 6.4. Akauzalitásontológiaielmélete . . . . . . . . . . . . . . . . . . . . 91 6.5. Nincskorrelációkauzalitásnélkül . . . . . . . . . . . . . . . . . . . 96 7. Akvantummechanikamintnemklasszikusvalószínu˝ségelmélet 106 7.1. Valószínu˝ségelméletaHilbert-hálón . . . . . . . . . . . . . . . . . . 106 7.2. Akvantum-ésaklasszikusvalószínu˝ségelméletviszonya . . . . . . . 110 4 TARTALOMJEGYZÉK 5 7.3. Kvantumlogika . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114 7.4. Akvantumvalószínu˝ségkétlehetségesértelmezése . . . . . . . . . . 122 8. Améréselméletiparadoxon 125 8.1. Ahullámfüggvénykétkülönbözo˝ interpretációja . . . . . . . . . . . 125 8.2. Améréselméletiparadoxon . . . . . . . . . . . . . . . . . . . . . . . 127 9. Akvantummechanikanogotételei 130 9.1. Neumann-tétel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131 9.2. Jauch–Piron-tétel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132 9.3. Kochen–Specker-tétel . . . . . . . . . . . . . . . . . . . . . . . . . . 135 9.4. AzEinstein–Podolsky–Rosen-kísérlet . . . . . . . . . . . . . . . . . 141 9.5. Alaboratóriumijegyzo˝könyvargumentum . . . . . . . . . . . . . . . 145 9.6. Bell-tétel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152 9.7. Greenberger–Horne–Zeilinger-tétel . . . . . . . . . . . . . . . . . . . 161 9.8. Anogotételekésadeterminizmus . . . . . . . . . . . . . . . . . . 167 10.Szabadakaratésdeterminizmus 169 10.1. Aszabadakaratproblémájánakkontextusa . . . . . . . . . . . . . . . 169 10.2. Szabadakaratésakvantummechanika . . . . . . . . . . . . . . . . . 174 10.3. Newcomb-paradoxon . . . . . . . . . . . . . . . . . . . . . . . . . . 175 10.4. Aszabadakaratfenomenológiája . . . . . . . . . . . . . . . . . . . . 177 11.Aparadoxonokfeloldása 179 11.1. AkvantumstatisztikaFine-féleértelmezése . . . . . . . . . . . . . . 179 11.2. Kontextualitáskontextualitásnélkül . . . . . . . . . . . . . . . . . . 182 11.3. AzEPR-kísérletFine-modellje . . . . . . . . . . . . . . . . . . . . . 186 11.4. A∞×∞modell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188 11.5. A GHZ-kísérlet egy teljes, ∞×∞×∞ Fine-féle lokális rejtettparamé- teresmodellje . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191 Bibliográfia 199 1. fejezet Bevezetés 1. Azzal a kérdéssel fogunk foglalkozni, hogy vajon a világban tapasztalható vélet- lenszeru˝ség csupán szubjektív élményünk, vagy pedig a világ objektív tulajdonsága, hogy története bizonyos pontokon elágazik, hogy az addigi története több lehetséges folytatást enged meg. Az elso˝ esetben szubjektív modalitásról, a másodikban objektív modalitásról beszélünk. Hogy szubjektív modalitás van, azt senki nem vitatja. Fel- dobunk egy egyforintos érmét. <Fej> vagy <Írás>, ez a két dolog történhet. Azért gondoljuk, hogy két kimenetele lehet a pénzfeldobásnak, mert 1) nem tudjuk, hogy mi lesz a végeredmény, 2) az általunk azonosnak ítélt szituációkban hol ez, hol az a folyamatkimenetele. Hogy a világban létezik-e objektív modalitás azt nem tudjuk, pontosabban, nem magától érteto˝do˝, hogy van vagy nincs. Ha a feldobott érmére gondolunk, lehetséges, hogy a feldobás pillanatában, amikor az érme ujjunk hegyéto˝l elválik, minden olyan körülmény fixálódott, amely az érme mozgását meghatározza. Így, mivel mi nem tud- juk, hogy pontosan mik ezek a meghatározó körülmények, és hogyan fixálódtak, nem vagyunk képesek elo˝re látni a végeredményt, tehát szubjektív modalitás van, de csak egyvégeredménylehetségesavalóságban,vagyisobjektívmodalitásnincs. 2. Hagyományos felfogás szerint a klasszikus mechanika egy determinisztikus elmé- let,vagyismindazokajelenségek,amelyeketaklasszikusmechanikávalpontosanírha- tunkle,determinisztikusak. Perszetudjuk,hogyaklasszikusmechanikaáltalegzaktul leírt dinamikai rendszerek között vannak olyanok, amelyek kaotikus viselkedést mu- tatnak, vagyis a kezdeti feltételekben mutatkozó kicsi különbségek a mozgás során, az ido˝vel exponenciálisan nagy különbségekké no˝nek fel. A kaotikus rendszerek vi- selkedésének megismerése látszólag arra a konklúzióra vezet bennünket, hogy a világ objektíve indeterminisztikus, hiszen a korábban determinisztikusnak gondolt klasszi- kus mechanika is kaotikus viselkedést produkálhat, és a rendszerek kaotikussága egy objektív tulajdonságuk.1 A káoszelméletbo˝l azonban pontosan az ellenkezo˝ konklú- zióra is juthatunk. Hiszen, ha a klasszikus mechanika törvényei érvényben vannak, akkor nem kétséges, hogy a valóságban minden kaotikus rendszer szigorúan determi- 1EgondolatmenetszisztematikuskifejtésétolvashatjukPoppernél(1982). 6 Bevezetés 7 nisztikus módon fejlo˝dik, és éppen a kaotikus viselkedés ad magyarázatot arra, miért produkál a determinisztikus világ olyan jelenségeket, melyeket mi véletlenszeru˝ként élünk meg. Más szóval, a káoszelmélettel a szubjektív modalitás objektív leheto˝ségét értettükmeg. 3. Adeterminizmus–indeterminizmusproblémátelso˝sorbanamodernfizikátmegala- pozó két elmélet, a relativitáselmélet és a kvantummechanika tükrében fogjuk meg- vizsgálni. Általánosmeggyo˝zo˝dés,hogyafizikaielméletekközülakvantummechani- kaaz,amelyszerintavilágalapveto˝ fizikaifolyamataiobjektíveindeterminisztikusak. Akvantummechanikanogotételeinekstandardértelmezéseszerintakvantumjelensé- gekben megnyilvánuló véletlenszeru˝ség nem episztemikus eredetu˝, vagyis nem létez- hetolyandeterminisztikusháttérmechanizmus,amelybo˝lkiindulvaaszóbanforgóvé- letlenszeru˝ viselkedés–csupánismereteinkhiányaalapján–értelmezheto˝ lenne. Ezzel együtt azt is feltételezik, hogy a világban tapasztalt nem episztemikus sztochasztikus jelenségek mögött mindig valamilyen kvantumfizikai jelenség áll. Másfelo˝l, szemben a kvantummechanikával, a relativitáselmélet térido˝ értelmezése inkább ellentmonda- ni látszik az objektív modalitás létezésének. Legalábbis sokan érvelnek így. A soron következo˝ fejezetekbenigyekszünkpontosanmegérteni,milyenkonzekvenciákatvon- hatunkleezekbo˝lazelméletekbo˝l. 4. Az objektív modalitás kérdése szorosan összefügg a szabad akarat problémájával. Haakarok,csokigombócotkérekafagylaltárustól,haakarok,vaníliásat: nehezentud- juk elképzelni, hogy nem dönthettem volna másképpen, mint ahogyan döntöttem. Az akaratszabadságánakezaszubjektívélményeigenero˝sérvadeterminizmusellen. So- kanaszabadakaratravonatkozómetafizikaimeggyo˝zo˝désükalapjánadeterminizmus kérdésételeveeldöntöttnektekintik. KarlPopperazOpenUniverselegelejénelismeri, hogy – bár egy egész könyvön át a determinizmus ellen és az indeterminizmus mel- lett érvel – a vitát eleve eldöntöttnek gondolja, kizárólag a szabad akarat kérdésében elfoglaltelo˝zetesálláspontjaalapján: Meggyo˝zo˝désem, hogy az indeterminizmus doktrínája igaz, és hogy a determinizmusnélkülözmindenfélealapot. A legfo˝bb érv, amely alátámasztja e meggyo˝zo˝désemet intuitív: egy olyan mu˝ megalkotását, mint Mozart G-moll szimfóniája, annak minden részletévelegyütt,lehetetlenelo˝remegjósolni... O˝szintén elismerem, hogy ez szorosan összefügg a „szabad akarat” tradicionálisproblémájával,amelynektaglalásábaazonbannemszeretnék belebonyolódni. EngemittinkábbazaMozartrólszólópéldábanfelmerü- lo˝ kérdés foglalkoztat, vajon olyan-e a világ, hogy elvben – feltéve, hogy rendelkezünkamegfelelo˝ ismeretekkel–képeseklennénkatudományra- cionális módszereivel akár csak egyetlen olyan esemény részleteiben tör- téno˝ megjósolására,mintegyújszimfóniamegalkotása.2 2Popper1988,41. o. Bevezetés 8 HasonlógondolatokatolvashatunkazElo˝szóban: ...világosan ki kell jelentenem valamit, ami „A Nyílt Társadalom és El- lenségei” valamint a „Historizmus Nyomorúsága” címu˝ munkáimból is kiviláglik: mélyelkötelezettségetérzek,hogyfilozófuskéntvédelmezzem azemberiszabadságot,azemberikreativitást,ésaztavalamit,melyettra- dicionálisanszabadakaratnaknevezünk–jóllehetmeggyo˝zo˝désem,hogy az olyan kérdések, mint „Mi a szabadság?”, vagy „Mit jelent az, hogy »Szabad«?”,vagy„Miazazakarat?” ésmáshasonlók,továbbáazatörek- vés,hogyefogalmakattisztázzuk,anyelvfilozófiamocsarábavezethetnek bennünket.3 Dejelentheti-eezazt,hogylemondjunkazolyanfogalmak,minttudat,szabadakarat, megértés, determinizmus, véletlen, valószínu˝ség, kauzalitás, bekövetkezés, egyideju˝- ség, stb. tudományos/filozófiai analíziséro˝l, hiszen még a végén kiderül, hogy az em- ber a „majomtól” származik, s be kell ismernünk – Dawkins szavaival kifejezve4 –, hogy a „dolgok se nem jók, se nem gonoszak, se nem kegyetlenek, se nem nyája- sak, egyszeru˝en csak érzéketlenek – közömbösek minden szenvedésre, híján vannak mindencélszeru˝ségnek”? Ellenkezo˝leg, e könyv célkitu˝zése az, hogy a determinizmus–indeterminizmus probléma tudományos/filozófiai analízisét anélkül végezzük el, hogy a fent említett kérdésekbenelo˝zetesenállástfoglalnánk. 3Uo. xxi. o. 4Dawkins1995,90. o. 2. fejezet A nyitott jövo˝höz mindenekelo˝tt jövo˝ kell Az egyetlen „újítás”, melyet Einstein javaslatára 1905-ben a fizikusok elfogadtak, annyivolt,hogyafizikaésafizikaitérido˝ geometriájánakaddigisismerttörvényeitúj változókbanfejeztékki,ésezeketazújváltozókatonnantólkezdvetér-ésido˝koordiná- táknakkezdtéknevezni. 2.1. Klasszikus elképzelések az ido˝ folyásáról 5. Témánk,a„NyitottJövo˝”,márelnevezésébenisösszekapcsolkétproblémát: azido˝ és a determinizmus kérdését. Ebben a fejezetben megkíséreljük összefoglalni, hogy hogyankapcsolódikösszeekétproblémaahétköznapigondolkodásunkban. Függetlenülattól,hogyhogyanvagyunkképesekmérniazido˝t,hogyhogyanálla- pítjukmegtávolieseményekro˝l,hogymikorkövetkeznekbe,hétköznapiszemléletün- ket áthatja egy, az egész univerzumot átívelo˝ „most”-nak az intuitív fogalma. Ha nem vagyok a kollégám szobájában, akkor is értelmesnek gondolom azt a mondatot, hogy <Kollégámazíróasztalaelo˝ttül,e-mailtír,éséppenebbenapillanatbanlenyomjaa@ gombot>. Lehet, hogy sohasem tudom meg, vajon így van-e. Lehet, hogy ha egy táv- cso˝vel nézném, akkor is csak 10−8 másodperccel késo˝bb látnám meg, hogy ezt tette. Denemkérdo˝jelezemmeg,hogyvanértelmearragondolnom,mitcsináléppenebben a pillanatban. Vagyis, hogy van értelme ennek az „éppen ebben a pillanatban”-nak. Tudjuk, hogy az égen most látott csillag egy ezer évvel ezelo˝tti csillag képe, mégis értelmesnek gondoljuk azt a kérdést, milyen ez a csillag éppen most – ha egyáltalán még létezik –, ebben a pillanatban. És úgy gondoljuk, hogy erre az értelmes kérdésre ezer év múlva leszármazottjaink majd pontos választ fognak kapni. A mindennapos gondolkodásunktehátrendelkezikegyUniverzálisMostfogalommal. Bizonyára nincs különösebb tétje annak, hogy távoli események közül éppen me- lyeket tekintünk – vagy kell tekintetünk – egyideju˝eknek, ha csak annyiról van szó, hogy ido˝koordinátákat rendelünk eseményekhez. Intuíciónk szerint azonban sokkal 9 Arelativitáselméletkonzekvenciái 10 többro˝l van szó: Ha valaki a lottósorsolás pillanatában, távol a sorsolás helyszínéto˝l, arra gondol, hogy „most eldo˝lt, nyertem-e 100 milliót, vagy sem”, akkor valóban úgy hiszi, hogy ott, abban a pillanatban a világ állapotában bekövetkezett valami vissza- fordíthatatlan és megmásíthatatlan változás. Még nem tudja, hogy nyert-e, vagy sem, dehiszi,hogyadologvisszafordíthatatlanuleldo˝lt. 6. A hétköznapi gondolkodás szerint a létezés szoros összefüggésben áll az ido˝vel. Gondoljukcsakel,mennyiretermészetesnektaláljukakövetkezo˝ kétgondolatot: Minden,amilétezik,ajelenbenlétezik. Amúltbelidolgokmárnemlétez- nek,ajövo˝belidolgokmégnemléteznek. Minden, ami létezik, ido˝ben létezik. Az ido˝ múlásával egyszer csak nem létezo˝ dolgoklétezo˝véválnak,majd,azido˝ múlásával,nemlétezo˝vélesz- nek. Ahétköznapiszemléletszámáratehát,amúltbeliilletvejövo˝belieseményekontológi- aistátuszakülönbözikajelenbelieseményekontológiaistátuszától. A tudományos/filozófiai gondolkodás számára azonban felmerül a kérdés: való- ban így van-e. Önmagában az a tény, hogy a fizikai események az ido˝re vonatkozó szubjektív élményünk szerint bekövetkeznek, még nem garantálja, hogy ennek a „be- következésnek” bármiféle, tudatunktól független státusza legyen. Igaz-e tehát, hogy a jövo˝beli dolgok, események bekövetkezése, „létrejövetele” a dolgok egy, a fizika szintjén is megnyilvánuló, és tudatunktól független tulajdonsága, mint ahogyan azt a köznapi gondolkodás feltételezi? És képesek-e a fizikai elméletek alapot szolgáltatni ekérdésmegválaszolásához? –mintahogyanaztReichenbachfeltételezi: Másleheto˝ségnincs,minthogyafizikarévénoldjukmegazido˝ prob- lémáját. A fizika minden más tudománynál többet töro˝dik az ido˝ termé- szetével. Ha az ido˝ objektív, a fizikusnak e tényt fel kell fedeznie, ha van Bekövetkezés (Becoming), a fizikusnak tudnia kell erro˝l; ám, ha az ido˝ csupán szubjektív és a Létezés ido˝tlen (timeless), akkor a fizikusnak képesnek kell lennie arra, hogy az ido˝t ignorálja mindabból, ahogyan a valóságotmegkonstruálja,hogyavilágotazido˝ segítségenélkülírjale.1 2.2. A relativitáselmélet konzekvenciái 7. Úgy tu˝nik, hogy a relativitáselmélet térido˝ fogalma összeegyeztethetetlen az inde- terminizmus gondolatával. A „nyitott jövo˝höz” mindenek elo˝tt „jövo˝” kell, de mint Einstein írja egyik levelében: „Számunkra, akik hiszünk a fizikában, a múlt, a je- len és a jövo˝ közötti szeparáció csupán illúzió, nagyon makacs illúzió.”2 Ha a világ 1Reichenbach1956,16. o. 2Wang1995.