2013. szeptember 17., kedd

Az éterörvények és az információs Világegyetem

Tait kísérlete, amely az ötletet adta Kelvinnek
A későbbi lord Kelvin egy 1867-es előadásában arról beszélt a Royal Society előtt, hogy az atomok az éter örvényeiként írhatóak le – és innét már csupán egyetlen lépés lenne egy olyan, Nagy Egyesített Elmélet létrehozása, amely a hidrodinamika alapján és persze az éter létének feltételezésével képes lenne mindent megmagyarázni. De csak lenne, mert az éter létezését többek között annak az Albert Michelsonnak mérései cáfolták meg, aki egy időben maga is hitt abban, hogy ez a szubsztancia tölti ki a Világmindenséget, és a fény is ennek a hullámainak tekinthető. Mára pedig egyes tudósok számára az információ vált ugyanolyan központi szerepűvé, mint annak idején az éter volt, és felvetődhet, hogy mennyire vonhatunk párhuzamot a 19. század végi, illetve 20. század végi megközelítés között abban az értelemben, hogy az egyik sikertelenségéből következtethetünk-e arra, hogy a másik is megalapozatlan. Illetve általában véve is kérdés, hogy valóban az információ áll-e minden mögött.
Julian Baggini és Peter S. Fosl A filozófia eszközkészlete című könyvükben azt írják, hogy az analógiának két célja lehet: szolgálhat illusztrációként, miként Platón barlanghasonlatában is történik. Vagy pedig része lehet magának az érvelésnek: például amikor William Paley híres, 18. század végi órahasonlatában arra hivatkozik, hogy mivel egy óraszerkezet létezéséből az órakészítő létére következtetünk, ezért az Univerzum létéből levezethető a Teremtő léte. Eközben azonban Pailey elkövet egy logikai hibát, mivel elfeledkezik arról, hogy az óra alapján azért jutunk arra a meggyőződésre, hogy valaki készítette, mert tudjuk, hogy „mesterséges” alkotás – a Világmindenség esetében azonban éppen az a kérdés, hogy ez így van-e. Mindenesetre, amikor természeti törvényt fogalmazunk meg múltbeli megfigyeléseink alapján, akkor „azzal a feltételezéssel élünk, hogy az új jelenség analóg a korábbiakkal”, továbbá azzal, hogy ez az analógia lényegi, állapítja meg Baggini és Fosl.
De éppen ez az, amiben sosem lehetünk biztosak, ugyanis, miként már Hume rámutatott, a múltból nem következtethetünk teljes biztonsággal a jövőre. Ami témánk szempontjából azt (is) jelenti, hogy bármennyire bizalmatlanná tenne is bennünket az információn alapuló, egységes magyarázat iránt a korábbi kísérletek kudarca, ez önmagában nem elég. Abból, hogy a hipotetikus éter örvényei alapján nem lehet létrehozni egy egységes világleírást vagy éppen valamiféle Nagy Egyesített Elméletet, nem következik automatikusan, hogy az információalapú, „egyesített leírás” is hibás lenne. Elvégre, még ha feltéteznénk, is hogy a valóság nem ragadható meg így, egyetlen alapvető koncepcióra alapozva, és ezt a feltételezést a természeti törvény rangjára emelnénk is (pl. a múltbéli tapasztalatokra hivatkozva), akkor sem tudhatnánk, hogy ez valóban így van-e.
Azt viszont megvizsgálhatjuk, hogy egy adott elmélet mennyire állja meg a helyét. Esetünkben a kiindulási pont Rolf Landauernek, az IBM kutatójának azon kijelentése, mely szerint „az információ fizikai természetű”. Ez alatt valami olyasmit értett, hogy az információ mindig konkrét hordozóval összekapcsolódva jelenik meg, nem pedig csupán valamiféle kényelmes rövidítés. Információt tárol a DNS-től az áramkör kondenzátorainak töltöttségén át a fény kvantumállapotáig bezárólag minden. Ráadásul fel szokás vetni, hogy a különben nagyon pontosan működő kvantumelmélet csak a „hogyan”-ra ad választ, de a „miért”-re, tehát arra, hogy miért éppen olyanok a szabályok, amilyenek, nem – mint ahogy egy jelenség működésének miértjét a saját szintjén soha nem is lehet megmagyarázni. Ehelyett azt kell megnézni, hogy a jelenséget megalapozó, „mélyebb” és alapvetőbb szinten mi található, és ezen a ponton megpróbálhatjuk összekapcsolni a bitet (az információ alapegységét) a kvantummal (amely ugye a kvantumelmélet alapegysége), mondván, hogy „a kvantumvilág különös vonásai talán abból fakadnak, hogy a kvantumrészecske csak korlátozott mennyiségben hordozhat információt” (hogy Michale Brooks-t idézzem). Sőt, olyan vélekedéseket is hallani, melyek szerint „elképzelhető, hogy a mi háromdimenziós valóságunk a Világegyetem határfelületén tárolt információk holografikus kivetülése” (mondja ismét csak Brooks).
De ez egyelőre nem látszik bizonyítottnak, sőt. Craig Hogan amerikai fizikus néhány éve felvetette, hogy mivel „a Világegyetem határfelülete csak véges mennyiségű információt tárolhat”, ezért „ha ez az információ a háromdimenziós Világegyetembe vetül, ez a végesség képfelbontási korlátként jelentkezik” (Brooks), és egy ideig úgy tűnt, hogy valamiféle „szemcsézettséget” sikerült is megtalálni.
Ám még ha a megfigyelések igazolták volna is Hogan várakozásait (mint ahogy nem igazolták), akkor is elképzelhetőek lennének más magyarázatok. És még az is lehet, hogy érdemesebb lenne azokat választanunk, ugyanis erősen úgy tűnik, hogy valójában két különböző dologról beszélünk, ahol az egyik lehetővé teszi ugyan, hogy eljussunk a másikhoz: a következtetéshez, de nem teszi szükségszerűvé.
Landauer abból indult ki, hogy „az információ kétségtelenül kötődik a[z olyan] fizikai reprezentációhoz”, mint amilyen akár egy kőtáblába vésett szöveg, akár pedig a DNS szerkezete, „ezért a rá vonatkozó korlátozások és lehetőségek kapcsolatban állnak a fizikával, illetve az Univerzumban jelen lévő dolgokkal”. Azaz: az információ nem képzelhető el fizikai hordozó nélkül, és mivel ezekre vonatkoznak a fizika törvényei, ezért az információ létrehozására, tárolására stb. is vonatkoznak. Ami persze tökéletesen elfogadható álláspont. Landauer azonban azzal folytatja, hogy „az a megállapítás, hogy az információ fizikai természetű, ahhoz a megállapításhoz vezet, hogy a matematika és a számítástudomány is a fizika része”, és ezzel nyilvánvaló logikai hibát követ el. Elvégre abból, hogy a fizika törvényei korlátozzák a matematikával foglalkozó agyak (legyenek bár azok természetes vagy mesterséges eredetűek) műveletvégzési lehetőségeit, és például nem teszik lehetővé, hogy az entrópia növelése nélkül töröljünk adatokat, nem következik, hogy magának a matematikai rendszernek a tulajdonságait is befolyásolnák vagy korlátoznák.
És hasonlóképpen: attól, hogy az információ fizikai természetű, a fizika nem szükségképpen lesz egyenlő vele, a Világmindenség pedig nem szükségképpen lesz információk holografikus kivetülése. Egy David Wallace nevű angol kutató megfogalmazásával élve: „az, hogy ’az információ fizikai természetű’, nem jelenti azt, hogy ’a fizikailag létező kizárólag információ’” lenne.
 Mindez persze önmagában nem zárja ki, hogy igaza legyen Paul Daviesnek, aki szerint „az információ… az az elsődleges entitás, amelyből a fizikai valóság felépül”. Azaz az Univerzum (akár mint egy hardver, amely programot futtat, akár pedig mint valamiféle, számítógépen futó szoftver) valamiképpen „számítástechnikai természetű” lehet.
Csak éppen korántsem biztos, hogy így van, és számomra az egészben az a legérdekesebb, hogy mindez mintha annak a püthagoraszi – platonista felfogásnak az átfogalmazása lenne, amely szerint minden lényege a szám, és az egész Világmindenség is matematikai természetű. Most nem történik más, mint a matematikára épülő információelmélettel próbáljuk magyarázni a dolgokat, melyeket korábban közvetlenül a matematikával próbáltunk, és személy szerint nagyon is kíváncsi lennék, hogy ötven vagy száz év múlva meg fog-e jelenni egy új, az információelméletre épülő tudomány, amelyből kiindulva majd ismét nekifutunk a dolognak.
Viszont ha az elején azt írtam, hogy az átfogó éterelmélet kudarcából nem következik szükségképpen az információalapú világmagyarázat kudarca, akkor most hadd tegyem hozzá, hogy a végső kérdés az, képesek vagyunk-e olyan koherens és mindenre kiterjedő leírást adni a valóságról, amely egyetlen elvből (éter, információ, Nagy Egyesített Elmélet stb.) indul ki.
És éppen ez az, ami a számomra több, mint kérdéses.

2013. szeptember 9., hétfő

Csillagok, galaxis klaszterek, értelem

Amikor leejtünk egy üvegpoharat, és az összetörik, akkor nem lepődünk meg. Ha viszont a világűrben lebegnénk, minden nagy tömegű testtől távol, akkor nem létezne számunkra fent és lent, és a mindennapi életben azért nem érzékeljük ezt, mert egy, a közelünkben lévő és hozzánk képest nagyméretű test: a Föld eltorzítja a képet, de a tér tulajdonságait tekintve az általános felfogás szerint izotrop (kitüntetett irány nélküli) univerzumban élünk.
Az idővel azonban más a helyzet. Méghozzá Sean Carroll amerikai kozmológus szerint azért, mert az idő izotrópiáját nagy léptékben is eltorzítja az Ősrobbanás, amely elég eléggé közel van hozzánk, és eléggé nagy rendezettséget jelentett ahhoz, hogy az entrópia azóta is nőhessen. Mármint ugyanúgy „globálisan”, mint ahogy a tér is „globálisan” izotrop: a rendszer (esetünkben: Univerzum) egészére nézve nem, de lokálisan csökkenhet az entrópia. Értsd: innentől kezdve mindig ki kell térnünk arra is, hogy milyen „felbontás” mellett vizsgáljuk az adott jelenséget, mert ez ugyanúgy nem mindegy, mint ahogy az sem, hogy olyan közelről nézzük-e, hogy az egyes homokszemek alakját is látjuk; vagy olyan távolról, hogy a homokdűnét, illetve az egész sivatagot dűnerendszerivel.
Ez a párhuzam annyiban is találó, hogy a Fred Adams – Greg Laughin szerzőpáros egy 1999-es könyvében az olvasható, hogy „az Univerzum életéről szóló történetben, illetve általában véve az asztrofizikában, négy nagyságrend játszik alapvető szerepet: a bolygók, a csillagok, a galaxisok és az univerzum mint olyan”. Vagyis: ha különböző skálákon nézzük, akkor különbözőknek látjuk, és az ún hierarchikus (illetve ma már leginkább fraktál)kozmológia néven futó irányzat szerint „az Univerzum által tartalmazott anyag a modern fraktálkoncepcióra emlékeztető módon hierarchikusan oszlik el… az anyagsűrűség… változik a skálával” (Peter Coles – Francesco Lucchin: Cosmology).
Amit két dologgal érdemes kiegészíteni: egyfelől azzal, hogy négy nagyságrend helyett inkább ötről lenne érdemes beszélni, mert ott vannak az Univerzum alatti, de galaxisok feletti anyagszerveződés szintjeként a galaxisok szuperklaszterei. Másfelől azt is érdemes észrevenni, hogy az Univerzum létének különböző periódusaiban különböző szintű szerveződések léteznek benne kezdve a Big Bang utáni pillanatok „őslevesével” és befejezve a mai, ötszintes felépítéssel, és eközben a lehető leggazdagabban strukturált kép tárul elénk. Gazdagabb, mint amilyen a jövőben lesz, ugyanis a gyorsuló tágulás következtében „legfeljebb” százmilliárd éven belül el fog tűnni a megfigyelők szeme elől a jelenleg megfigyelhető Világmindenség nagy része.
A hierarchikus kozmológia többek között azért szorult háttérbe, mert arra helyezte a hangsúlyt, hogy a Világmindenség legalább 100 millió fényéves léptékig nem homogén (bár fölötte az). És persze voltak olyan verziói is, ahol egy végtelen Univerzumban a végtelenségig követték egymást az újabb és újabb szintek, miközben mindegyik az előzőnek egy „felnagyított” verziója lett volna. Ami persze ugyanúgy túlságosan mechanikus megoldás, mint amilyen a Világmindenség „homogenitását” és izotrópiáját” deklaráló kozmológiai elvnek szabályként, nem pedig filozófiai elvként való kezelése is.
Például újraértelmeztük a dolgot az ún. „állandó állapotú Világegyetem” modelljének bukása óta. Persze, homogénnek és izotrópnak kell lennie a Világmindenségnek, ám ma már nem szokás elvárni, hogy az Univerzum anyagának sűrűsége is változatlan maradjon – ugyanis kiderült, hogy ez nem védhető álláspont.
Az elvi cél persze így vagy úgy, de az lenne, hogy az Univerzum „megfelelően” nagy skálán (értsd: megfelelően durva felbontás mellett) minden megfigyelő számára ugyanolyanak látsszon. Ez ugyanis a feltétele lenne annak, hogy a térben és időben távolabbi térrészekről is megbízható tudásra tehessünk szert lokális kísérleteink és megfigyeléseink általánosításával – csak hát éppen ez az, amiben nem vagyok biztos. Ugyanis bármennyire kényelmes is lenne ez a számunkra, nem biztos, hogy valóban ez a helyzet. Viszont ha védeni akarjuk a kozmológiai elvet, akkor bármikor hivatkozhatunk arra, hogy ami ellentmond neki, az lokális jelenség, de a szabály azért ugyanúgy érvényes.
De most talán nem is annyira ez a lényeg. Hanem inkább az, hogy amennyiben visszatérünk a megfigyelésekhez, akkor úgy tűnik, hogy az Univerzum anyageloszlása nem csak változó méretskála mellett inhomogén, hanem ha különböző időpontokban készítenénk pillanatfelvételeket, akkor is különböző anyageloszlásokat és struktúrákat látnánk.
És hogy még furcsább legyen a történet: úgy tűnhet, mintha az Univerzum bizonyos értelemben kitüntetett korszakában élnénk. Ugyanis jelenleg nem csupán észlelni vagyunk képesek a Világmindenséget egészen az Ősrobbanásig visszamenőleg, hanem eközben a nagyléptékű anyagstruktúrák mindegyik szintjét is megfigyelhetjük. Ez százmilliárd év múlva nem lesz lehetséges; még sokkal később pedig még annyira sem.
Viszont a mostani helyzet bizonyos értelemben szükségszerű.
Adams és Laughin a 10^6 és 10^14 év közötti időszakot az Univerzum „stelliferous”, vagyis „csillagokkal teli” korszakának nevezi. A csillagok már az Ősrobbanás után néhány millió évvel elkezdtek kialakulni; a galaxisok és galaxis klaszterek formálódására hozzávetőleg milliárd éves időskálán kellett várni, és hozzávetőleg ekkor jöttek létre az első bolygók is, míg az élet (legalábbis az egyetlen ismert példaként a Földön) újabb nagyságenddel később: közelítőleg tíz milliárd év múlva.
Azért csupán ilyen későn, mert az első csillagok megjelenése után meglehetősen sok időnek kellett eltelnie, amíg azok kitermelték az ehhez szükséges, nehezebb elemeket. Az pedig más kérdés, hogy miért nem olyanok a fizikai törvények/körülmények, hogy mindez mondjuk nem tíz, hanem csupán egy milliárd évet vegyen igénybe; vagy éppen ellenkezőleg: miért nem az van, hogy a dolog túlságosan sokáig tart, és mire a rendelkezésünkre állnának a szükséges alapanyagok, addigra már régen kihunyt az utolsó csillag is.
És ugyanígy az is más kérdés, hogy ezek szerint az, hogy csillagokat látunk, szükségszerű; az viszont, hogy galaxisok és galaxis klaszterek is vannak, csupán epifenomén: mellékjelenség abban az értelemben, hogy a fizikai törvények azon „egységcsomagjának” a hosszú ideig tartó működése vezetett el a kialakulásukhoz, amely – a csillagokon keresztül – az élet alapfeltételeit is kitermelte. Vagyis ilyen értelemben másodlagos struktúrák a csillagokhoz képest.
Úgyhogy azon is eltöprenghetünk, hogy ha már egyszer eljátszottunk egy olyan Világmindenség gondolatával, ahol sokkal rövidebb/hosszabb idő alatt állítják elő a csillagok az élethez szükséges nehéz elemeket, akkor vajon elképzelhető lenne-e egy olyan modell, ahol nincs szükség a csillagokra az élet kialakulásához? Ehelyett az Ősrobbanás után a (miénktől különböző) fizikai törvények ugyanúgy közvetlenül vezetnének el ezek létrejöttéhez, mint ahogy a csillagokhoz hasonló „közvetítők” nélkül indultak be a végül a csillagok kialakulásához vezető folyamatok is? És akkor vajon lehetséges lenne-e egy olyan Univerzum, ahol nem lennének különböző szintek az anyageloszlásban a galaxis klaszterekig bezárólag, hanem csak az amúgy homogén környezet meg ebben az értelmes megfigyelők?
Egy bizonyos lord Francis Jeffrey nevű irodalomkritikus valamikor a 18. század végén – 19. század elején azt mondta, hogy „a pokolba a Naprendszerrel. A világítás csapnivaló; a bolygók túl messze vannak egymástól; üstökösök zaklatják az embert. Egyszóval szánalmas tákolmány. Magam is jobbat csinálnék.” Mi pedig akár azt is mondhatnánk, hogy a pokolba a mindenféle közvetítő mechanizmusokkal – mármint ha tényleg ki lehet őket hagyni, bár ebben korántsem vagyok biztos.
Abban viszont igen, hogy az egy nagyon-nagyon másmilyen Világmindenség lenne.

2013. szeptember 5., csütörtök

Filozófia, matematika, kozmológia - meg persze a műszerek

Alex Vilenkin ukrán fizikus szerint a „semmi = zárt, szférikus téridő nulla rádiusszal”, ami, bevallom, elsőre számomra nagyon meggyőzően hangzott. De csak elsőre. Viszont innét elindulva meg lehet mutatni azt, hogy miben különbözik egymástól a Világmindenség eredetével (is) foglalkozó kozmológia meg a Világmindenség eredetével (is) foglalkozó filozófia megközelítési módja.
Nem mintha Vilenkin meghatározása nem hangzana elsőre tudományosan, amikor szembetalálkozunk vele Jim Holt Miért létezik a világ? című könyvében. Elvégre olyan fogalmakat használ fel, mint a fizikából származó téridő meg a matematikával rokonítható nulla sugarú objektum. Csak éppen ott van a matematika problémája. Wigner még 1959-ben foglalkozott a „matematikai érthetetlen hatékonyságával”, amely alatt azt értette, hogy a matematika segítségével nagyon (sőt: nagyon-nagyon) jó modelleket tudunk konstruálni a valóság leírására.
Erre viszont szerintem nem az a magyarázat, hogy a  valóság valamiképpen „matematikai természetű” lenne, hanem az, hogy a matematika egy bizonyos, az ember által kidolgozott logikának engedelmeskedő leírásrendszer. De talán még azt is megkockáztathatjuk, hogy amennyiben a minket körülvevő valóság olyan bonyolultnak (kaotikusnak stb.) bizonyulna, hogy nem tudnánk hozzáilleszteni bizonyos összefüggéseket, akkor túlságosan zavaros hely lenne ahhoz is, hogy megjelenhessen benne az értelmes élet. Azaz a jelek szerint szükségképpen olyan Univerzumban élünk, amely „matematizálható”. Vagy legalábbis részben, mert vannak területek, ahol nem számít „érthetetlenül hatékonynak” a matematika (sőt), és innentől kezdve számomra mindössze arról szól a történet, hogy ha ezen a szemüvegen keresztül nézzük a világot, akkor fogunk olyan problémákat találni, melyek megoldására a matematika jól felhasználható. Viszont eközben nem csak, hogy nem válik be mindenütt, de tele van olyan megoldásokkal és absztrakciókkal is, amelyeket nem tudunk a valóság leírására felhasználni.
És miért is tudnánk.
Elvégre nem azt várjuk el tőle, hogy minden egyes eleme megfeleltethető legyen valóban megtörténő eseményeknek és valóban létező struktúráknak – az ilyesmivel (elvileg) a modern értelemben vett természettudományok foglalkoznak. És bár a filozófia (meg persze a tudományfilozófia) egyik központi problémája legalább Duhem és Quine óta, hogy mindig több, a megfigyeléseket egyaránt megmagyarázó, de egymásnak ellentmondó elméletet dolgozhatunk ki, abban azért egyetérthetünk, hogy a modern ételemben vett természettudományok végső célja a nagybetűs Valóságra adott magyarázat lenne.
A matematikában viszont kidolgozhatok olyan rendszereket, amelyek egymásnak ellent mondanak, miközben egyik sem igazabb vagy hamisabb a másiknál: talán a legkézenfekvőbb példa az ilyesmire az eukleidészi meg nem eukleidészi geometriák esete. A valóban létező tér nem lehet egyszerre sík és görbült – annak viszont semmi akadálya sincs, hogy a matematikán belül, önmagában mindegyik geometria egyformán működőképes és elfogadható legyen.
Ezen a ponton aztán rá is térhetünk a filozófiára. A Julian Baggini – Peter S. Fosl szerzőpáros A filozófus eszközkészlete című könyvben azt írja, hogy itt „a definíciók olyan fontosak.., hogy egyesek szerint végső soron ezek a képezik a filozófia tárgyát”. Eközben pedig egy ugyanolyan koherens és ellentmondásmentes rendszer létrehozása a cél, mint a matematikánál is – azzal a nem elhanyagolható különbséggel, hogy a kiindulási pontot nem matematikai szimbólumok és absztrakt összefüggések képezik, hanem fogalmak. A természettudományokban (elvileg) van egy visszacsatolás a fizikai valósághoz is, itt viszont nincs, és a különbséget jól érzékelteti a filozófiai gondolatkísérlet, melyeknél a fentebbi szerzőpáros szerint „a változókat kizárólag a képzelet folyásolja be”. Eljátszhatunk akár azzal a kérdéssel is, hogy mi lenne, ha a tudatomat egy másik testbe „töltenék át”, majd pedig a fogalmakból kiindulva és a legitimnek tekintett következtetési szabályokat betartva megvizsgálhatjuk, hogy mi a végeredmény. Ekkor természetesen nem az lesz a döntő, hogy a „valóságban” hogy van, hanem az, hogy a rendszer működéséből milyen következtetés adódik – valahogy úgy, mint a matematikánál is. Azaz a filozófia bizonyos értelemben „fogalmi matematika”.
Legalábbis gyanítható hát, hogy azokon a területeken, ahol a kísérleti módszerek nem (nagyon) működnek, a kutatók leginkább

  • vagy matematikai absztrakciókra támaszkodnak: erre példa a húrelmélet, ahol a 10^512 lehetséges megoldás közül gyakorlatilag lehetetlen kiválasztani, hogy melyik a „jó”.  
  • Vagy pedig olyan „filozófiai” gondolatkísérletet végeznek, ahol a természettudományokkal ellentétben fel sem merül, hogy cáfolható lenne a valóságban, és eközben a semmit  nulla sugarú téridő-tartományként definiáljuk.

Innentől kezdve két dolgot mondhatunk a kozmológia, illetve általában véve a természettudományok jövőjéről.
Egyfelől, hogy a 17. század „tudományos forradalmában” minden bizonnyal hasonlóan jelentős szerepet játszottak az új tudományos eszközök, mint a matematikai módszerek elterjedése. Freeman Dyson Képzelt világok című könyvében megkülönbözteti a „elmélet mozgatta” és az „eszköz mozgatta” felfedezéseket: az előbbi alatt azt érti, amikor „a régi dolgokat új megközelítésben” tárgyaljuk, míg az utóbbi alatt azt, amikor az eszközöknek köszönhetően új dolgokat fedezünk fel – jusson itt eszünkbe a mikroszkóp vagy a távcső. Viszont miért is tételeznénk fel, hogy a technikai eszközök létrehozásának (melyek nélkül nem lehet természettudományos kísérleteket végezni) nincsenek meg a maguk korlátai? Galilei előtt egyszerűen nem lehetett megvizsgálni azt a kérdést, hogy a Holdon vannak-e hegyek; és ha igen, akkor milyen magasak. Itt eljátszhatunk azzal a gondolattal, hogy milyen lenne az (értelmes) élet egy olyan Világmindenségben, ahol a természeti törvények nem teszik lehetővé mondjuk távcsövek vagy mikroszkópok  építését; illetve, hogy ilyen körülmények között létrejöhetnének-e értelmes megfigyelők egyáltalán. Nekem ugyan az az érzésem, hogy igen, de lehet, hogy tévedek. Viszont akárhogy is legyen: mint ahogy akkor is voltak, most is vannak és minden bizonnyal a jövőben is lesznek olyan tudományos kérdések, amelyek megválaszolásához nem állnak a rendelkezésünkre a szükséges technikai eszközök (még akkor sem, ha esetleg tudnánk, hogy ezek mik/milyenek is kellene, hogy legyenek).  Illetve nyilván vannak (pontosabban: lehetnének) olyan tudományos eszközeink, amelyek megépítését nem ismereteink korlátozott volta vagy éppen a fizikai törvények gátolják meg, hanem politikai, gazdasági és egyéb „puha” megfontolások.
Másfelől ott, ahol nem állnak megfelelő műszerek/berendezések a rendelkezésünkre, és nem tudunk kísérleteket végezni, minden bizonnyal a jelenlegi tudományosságba is beépült két másik megoldáshoz: a matematikai és a filozófiai rendszerek kiépítéséhez fogunk folyamodni (már csak azért is, mert mást úgysem tehetünk). Amiből viszont többek között az is következik, hogy a jövő tudományának egyes területei – és így várakozásaim szerint a kozmológia is – nem csupán kevésbé (sőt, egyáltalán nem) kísérleti lesz. Hanem sokkal matematizáltabb és sokkal átfilozófáltabb is.
Talán olyannyira, hogy mai értelemben véve már nem is lesz tudomány.

2013. augusztus 29., csütörtök

Miért nem semmi van az Univerzum helyett?

Három amerikai fizikus: Victor Stenger, Frank Wilczek és Lawrence Krauss szerint azért, mert a nemlét ”tökéletesen szimmetrikus”, és a szimmetrikus rendszereknek olyan a természete, hogy kevésbé szimmetrikus, viszont jóval komplexebb formációkká bomlanak le, miközben spontán szimmetriasértés történik. A valóságban persze – talán mondani sem kell – ennél jóval bonyolultabb (vagy jóval egyszerűbb, ha úgy jobban tetszik) a válasz. Ugyanekkor Peter van Inwagen amerikai filozófus abban véli felfedezni a megoldást, hogy – Leibniz valahai elképzeléseivel ellentétben – nem az szorul magyarázatra, hogy miért létezik egyáltalán valami a semmi helyett, hanem az lenne a meglepő, ha nem így lenne. Az ugyanis, hogy semmi sem létezik, csupán egyféleképpen lehetséges, az viszont, hogy van valami, nagyon is sokféleképpen  - tehát szerinte ez a valószínűbb.
Ami persze nem védhető álláspont, hiszen összekeveri a lehetőségek számát a valószínűséggel. Ezzel az erővel az unikornissal kapcsolatban is mondhatnánk azt, hogy csupán egyféleképpen nem létezhet, míg számos más módon igen, és ezért inkább számítanánk arra, hogy találkozni fogunk vele, mint arra, hogy nem.
De a fentebb említett, a fizika sajátosságaira építő magyarázattal is gondok vannak. Erről Peter Lynds azt mondja, hogy bár a szuperszimmetria azt jelenti, hogy „tökéletesen invariáns a transzformációkra”, azt azért legalábbis nehéz megérteni, hogy miként rendelhetünk tulajdonságokat (mint amilyen a szuperszimmetria is) a semmihez, hiszen az – lévén semmi – nem rendelkezik ilyesmivel. És ami még ennél is nagyobb probléma (teszem hozzá én), hogy még ha elfogadnánk is a fizikusok magyarázatát, rögtön jöhetne is a következő kérdés, vagyis az, hogy de hát miért instabil a szuperszimmetria a kevésbé szabályos elrendezésekhez képest? És ha ezt megmagyaráznánk, akkor az, hogy és az miért van úgy, ahogy?
És így tovább ad infinitum.
Amivel kapcsolatban érdemes kiemelni, hogy a „miért létezik a világ” típusú kérdések valójában két különböző kategóriába tartoznak.  A dolog elvi vetületével, a „miért”-tel tipikusan a filozófia foglalkozott, és a válasz keresésekor a logikára koncentrált, vagyis arra, hogy a kijelentések/leírások koherensek és ellentmondásmentesek kell, hogy legyenek. És mivel ez dönti el, hogy elfogadhatónak ítélik-e, ezért a valósághoz nincs sok köze.
A konkrét Univerzumra vonatkozó kérdés viszont a fizika illetékességi körébe tartozik, és itt a „hogyan”-on van a hangsúly. Azon, hogy milyen fizikai folyamatok, törvények, mechanizmusok vezetnek oda, hogy létrejön a Világmindenség, és ennek megfelelően egyáltalán nem biztos, hogy eközben alkalmas annak a kiderítésére is, hogy miért jön létre a „semmiből valami."
Tehát a továbbiakban én is szétválasztom a két problémát, és nem azzal fogok foglalkozni, hogy milyen folyamatok vezettek a minket körülvevő valóság létrejöttéhez
 (elvégre ez a fizikusok dolga), hanem azzal, hogy miért van egyáltalán nem semmi. Vagy, hogy pontosabban fogalmazzak, és ez persze fontos különbség: azzal, hogy mit és hogyan gondolunk, amikor ezt a problémát járjuk körül.
Meg kezdjük azzal, hogy a filozófiai gondolkodás alapjait lerakó ókori görögök Jim Holt, a Miért létezik a Világ? című könyv szerzőjének megfogalmazásával élve a „racionális kozmológia” úttörői voltak ugyan, ám „soha nem kérdezték meg, hogy miért létezik a világ inkább a helyett, hogy ne létezne semmi.”
Második lépésben a középkori filozófusok arra a következtetésre jutottak, hogy „Isten a ’semmiből’ teremtette a világot… ami azt jelentette a számukra, hogy nem valamiből” kiindulva. És csak ezt követően tűnik fel a színen Leibniz, aki a 18. század elején az „elegendő ok elvét” bevezetve (mely szerint minden dolognak/ténynek megvan az oka) tűnődni kezdett azon, hogy „miért van valami ahelyett, hogy semmi lenne?”
Majd pedig arra a következtetésre jutott, hogy Isten szükségképpen létező (és, lévén szükségképpen létező, ezért nem is kell további magyarázatot keresnünk arra, hogy miért van Isten a helyett, hogy nem lenne). Tehát ismét Holt megfogalmazását átvéve, Leibniz szerint „az Univerzum azért létezik, mert van Isten, az Isten pedig Isten miatt létezik.”
Ez a felfogás már csak azért is érdekes a számunkra, mert Leibniz lényegében azzal érvel, hogy nem valamiféle végtelen regresszus a megoldás, hanem van egy végpont az érvelésben. Amikor ma egy vallásos ember úgy érzi, hogy számára nem kérdés, hogy honnét származik minden, akkor ugyanezt az „önhivatkozást” alkalmazza: azt, hogy valami (esetünkben a Teremtő) önmaga oka. Amire egy szkeptikus persze visszakérdezhet, hogy de mi az oka annak, hogy a Teremtő önmaga oka, majd pedig rámutat, hogy ismét van valami, amit nem tudunk, tehát nem állhatunk meg a kérdések feltételével (miközben a hívő egyszerűen úgy véli, hogy de igen).
Hasonló logikai problémák vannak annak a Peter Lyndsnek a megoldási kísérletével is, aki szerint „csak egy örökkön létező Univerzum léte kínálhat választ a PEO-ra” (PEO=„primordial existential question”). Csak éppen, egyfelől ha tényleg örökkévaló, akkor miért is az? Másfelől: miért is vélnénk úgy, hogy hihetőbb (valószerűbb, elfogadhatóbb stb.) az, hogy a Világmindenség mindig is létezett és mindig is létezni fog, tehát nem is keletkezett soha, mint az, hogy önmaga okaként jött létre? Érdekes módon már Arisztotelész is azt állította az Égboltról, illetve annak objektumairól és mozgásairól, hogy örökkévalóak és romolhatatlanok, de ezt persze ma nem szokás elfogadni.
Viszont amennyiben a „végső választ” mint lehetőséget (alapuljon az akár önhivatkozáson, akár az örökkévalóságon) elutasítjuk, akkor marad a fentebb már említett végtelen regresszus. Vagyis annak a tudomásul vétele, hogy sosem érünk a végére, és ha megválaszolunk egy kérdést, akkor jön a következő; és ha azt is megoldjuk, akkor ismét újabb fog következni. De a „végső válaszhoz” sosem jutunk el.
Mindent egybevetve tehát úgy tűnik, hogy az a logikai/értelmezési rendszer, amely a rendelkezésünkre áll, a PEO-val kapcsolatban mindössze ezt a kétféle válaszlehetőséget kínálja. Ezek természetesen nem arról szólnak, hogy „miért van valami ahelyett, hogy semmi lenne”, hanem arról, hogy mi milyen típusú válaszokat tudunk adni, és hogy ennek megfelelően nem tehetünk mást, mint hogy ezek közül választunk.
És nekem meggyőződésem, hogy érdemes a végtelen regresszusra szavaznunk. Egyfelől ugyanis a modern tudományosság nem a „miért”, hanem a „hogyan” típusú kérdéseken alapul: nem az a kérdés, hogy miért van gravitáció, hanem az, hogy hogyan működik. Newton annak idején büszkén jelentette ki, hogy „nem gyártok hipotéziseket”, és egyik nagy előrelépése éppen az volt, hogy magáról a gravitáció „okáról” semmit sem mondott: kizárólag a működéséről beszélt (és ennek hogyanjáról).  A természettudományokra azóta is ez a jellemző, és a „mért” meg a „hogyan” szétválasztását a matematikai modellek– miként korábban már érintettem – csak még könnyebbé teszik. És bár a kozmológia számára csábítónak tűnhet a „miért van egyáltalán valami” típusú „végső kérdésekkel” való bíbelődés (melyekben a „miért” hangsúlyosan szerepel), ez a részéről ugyanolyan szereptévesztés lenne, mint egy teológiától azt várni, hogy megmagyarázza a gravitációs állandó számszerű értékét.
Másfelől a modern értelemben vett tudomány az egymást követő kérdések megválaszolásának láncolatán keresztül halad. Mondhatni, a végtelen regresszus jellemzi. Amikor majd (talán) meg tudjuk magyarázni, hogy hogyan jött létre az Univerzum (és miért éppen ez) ahelyett, hogy semmi lenne, akkor az ezt magyarázó szabályokat fogjuk górcső alá venni – és így tovább. A matematikában ott vannak legalul a „senki által kétségbe nem vont” axiómák, amelyeket persze bizonyos korlátok között bármikor kétségbe vonhatunk, elhagyhatunk, lecserélhetünk stb. A természettudományban viszont nincs ilyen „végső alap”, és semmi okunk sincs feltételezni, hogy valamikor majd lesz egy olyan pont, amikor azt mondjuk, hogy állj, arra, ami ezután jön, már nem kérdezünk rá.
És éppen ez a szép a természettudományokban. Meg a kozmológiában is.

2013. augusztus 24., szombat

A sok világ és a kozmológia

Maupertius a 18. században abból indult ki, hogy „ha valamilyen változás történik, az ehhez szükséges hatásnak a lehető legkisebbnek kell lennie”, és ennek megfelelően Newton mozgástörvényei értelmezhetőek úgy is, mint egy olyan valóság leírásai, ahol a testek mozgás közben a lehető legrövidebb utat választják (ezt szokás ma a minimális cselekvés elvének nevezni). Ennek a gondolatnak mai kozmológiára nézve is vannak tanulságai.
Maupertiusnál természetesen teleologikus (célirányos) értelmezésről van szó, ugyanis a test mozgását a kezdeti és a végállapota határozza meg. Ráadásul az egészből azt a következtetést vonja le, hogy, hogy világunk matematikai értelemben véve és Leibniz filozófiai álláspontjával összhangban valóban „minden lehető világok legjobbika”, elvégre elképzelhetőek lennének olyan univerzumok is, ahol ez a szabály nem érvényesül. Itt ún. „design argumentummal” van dolgunk, amely a világ „tervezettségéből” következtet arra, hogy valóban létezett egyfajta Teremtő.
Eközben az is felvetődik, hogy legalább elvileg elképzelhetőek lennének másmilyen világok is – olyanok, ahol a testek nem tartják magukat a fentebbi előíráshoz. Hanem, mondjuk, hozzávetőleg optimális utat futnak csak be, vagy alkalomról alkalomra változik, hogy mennyire térnek el ettől stb. és ezzel el is jutottunk az Univerzum létrejöttének kérdéséhez.
Ebből a szempontból a modern elképzelések több kategóriába sorolhatóak be, és azt sem szabad elfelejtenünk, hogy John D. Barrow amerikai fizikus megfogalmazásával élve „a következtetés nem többet és nem kevesebbet ér, mint a kiinduló feltevések, és ezektől sosem lehet független”. Ráadásul ismét csak Barrow szerint „a matematikai leírás roppant hatékonyan választja el a ’miért’-et a ’hogyan’-tól”, és miközben az utóbbi megválaszolására sok esetben kiválóan alkalmas, a matematikai modell csupán modell, nem pedig magyarázat. Viszont hajlamossá tehet minket arra, hogy erről elfeledkezzünk, miként sokszor a kozmológia esetében is történik.
De hogy visszatérjünk a kategorizáláshoz, első lehetséges megoldás az, hogy
nincs válasz:  azzal kapcsolatban, hogy miért érvényes a Maupertius-elv (amely egyébként, ha kissé jobban belegondolunk, valóban legalábbis meghökkentő), vagy éppen miért éppen egy olyan Univerzum vesz minket körül, amely lehetővé teszi az értelmes megfigyelők megjelenését, noha amennyiben csak egészen kicsit mások lennének egyes természeti állandók értékei, ez nem lenne lehetséges, élhetünk azzal a feltételezéssel, hogy pusztán véletlenről van szó. Ami esetünkben azt jelenti, hogy ez nem értelmes kérdés a tudomány szempontjából. Kepler a 17. század elején azt kérdezte, hogy miért éppen olyan távolságra keringenek a bolygók a Naptól, mint amilyenre; továbbá azt, hogy miért éppen hat bolygó van (akkoriban ennyit ismertek). Az előbbi mai szemmel nézve is értelmes problémafelvetés, és sikerült megtalálni a mögötte rejlő fizikai magyarázatot; az utóbbi viszont nem az. Amennyiben nem tudjuk valamiféle törvényre visszavezetni a minket körülvevő Univerzum létezését, úgy egyszerűen véletlennek tekinthetjük, amellyel a tudomány nem tud mit kezdeni (mint ahogy ez lenne a helyzet akkor is, ha valamiféle Teremtő létével próbálnánk maygarázni). Ez persze a tudomány számára eléggé kiábrándító lenne, úgyhogy ezen a ponton fel szokott merülni a
gyenge antrópikus elv mint magyarázat. Itt abból indulunk ki, hogy a fizikai állandóknak a létünkhöz szükséges „finomra hangoltsága” arra vezethető vissza, hogy végtelen számú, egymástól független Univerzum létezik, melyekben a fizikai állandók minden lehetséges értéket felvesznek és minden lehetséges kombinációt megvalósítanak, tehát amennyiben van az életnek kedvező kombináció, úgy azokat is. Ami viszont két, ismét csak megválaszolhatatlan kérdéshez vezet:

  • ha „végtelen számú” univerzumról beszélünk, akkor ott minden kombináció végtelenül sokszor fordul elő? És ennek megfelelően végtelen számú, hozzánk hasonlóan értelmes megfigyelőkkel benépesített világmindenség létezik, még ha alkalmasint egymástól végtelen távolságra is? Ekkor, mivel azonos számosság végtelenekről lenne szó a lakható, a lakott és a nem lakható univerzumok esetében, „ugyanannyi” finomra” hangolt Világmindenség létezne, mint ahány „nem megfelelő”, és bár Brandon Carter az antrópikus elv fogalmának kidolgozásakor azt mondta, hogy „bár a helyzetünk nem központi, bizonyos határokig kétségtelenül privilegizált”, az ember helyzete semmiképpen sem lenne kitüntetettnek tekinthető. Hacsak nem az állandók minden lehetséges kombinációja csak egyszer fordul elő, és ezek túlnyomó része nem életbarát. De ha így van, akkor miért is csak egyszer fordulnak elő a kombinációk?
  • És még ennél is súlyosabb kérdés, hogy még ha végtelen számú kombináció létezik is, ezek között miért van egyáltalán olyan, amely lehetővé teszi az értelem létrejöttét?  mögött valamilyen törvény áll esetleg? Elvégre az is elképzelhető lenne, hogy egyetlen kombináció sem megfelelő.

Mindent egybevetve az ilyen, antrópikus elv típusú érvelések első lépésben a lehetőségek egyfajta „fázisterének” létét tételezik fel, második lépésben pedig arra hivatkoznak, hogy ezek szerint az értelem számára kedvező körülményeket biztosító Univerzum is csak egy a többi, lehetséges Univerzum közül, tehát nem is olyan meglepő, hogy van ilyen. Csak éppen, mint a fentebbiekben láthattuk, ez finoman szólva sem meggyőző okoskodás. Mint ahogy hasonló gondok vannak a
kozmológiai természetes kiválasztódással is (Cosmological Natural Selection, röviden: CNS), noha Lee Smolin amerikai fizikus az antrópikus elvvel kapcsolatos problémákat akarta ezzel kiküszöbölni. Nála (hogy jócskán leegyszerűsítsem) a fekete lyukak kialakulása „újabb univerzumok” létrejöttét eredményezi, és eközben az állandók is egy kissé mások lesznek, mint korábban voltak. Az eredmény pedig az lesz, hogy egyes verziókban könnyebben és gyakrabban alakulnak szingularitások (és adják tovább az újabb fekete lyukak létrejöttét lehetővé tevő állandók „beállításait”), mint másokban, tehát hosszú távon mintegy ki fog választódni az a paraméterkészlet, amely a legsikeresebben örökíti tovább magát. Mi tehát nagy valószínűséggel egy ilyen Világmindenségben találjuk magunkat – elvégre ez vált a legelterjedtebbé.
Amire viszont azt válaszolhatjuk, hogy még ha elfogadjuk is, hogy létezik ilyen, fekete lyukakra vonatkozó szelekciós elv, azt is fel kellene tételeznünk hozzá, hogy egy, a szingularitások számára kedvező körülményeket biztosító Világegyetem egyben az (értelmes) élet számára is kedvező lesz.
És ha már az élet (meg értelmes élet, ami persze nem pontosan ugyanaz) problémájánál tartunk, vegyük észre azt is, hogy mind az antrópikus elv, mind a CNS csupán az élet feltételeinek biztosításáról beszél. A szükséges és az elégséges azonban nem feltétlenül ugyanaz, és ha csak fel nem tételezzük azt is, hogy a lehetőség megléte automatikusan egy intelligens megfigyelő (némi iróniával akár azt is mondhatnám, hogy az ember) kifejlődéséhez fog elvezetni, akkor még mindig nem vagyunk előrébb. Máskülönben ugyanis végtelen számú, megfelelően finomra hangolt Univerzumot tételezve is fel, még mindig vagy lesznek benne kozmológusok ? is, vagy nem (végtelen számú esetben az egyik, és hasonlóképpen végtelen számúban a másik forgatókönyv fog megvalósulni).
Tehát igazából legfeljebb abban lehetünk biztosak, hogy mi, értelmes megfigyelők is létezünk és a Világmindenség is, és ez szerintem eléggé jól mutatja, hogy jelenleg hol húzódnak a tudomány és a tudományos módszer lehetőségeinek határai.
Ami pedig ezen túl van, az legfeljebb egy szellemes matematikai konstrukció vagy filozófálgatás, és mintha most bizonyos értelemben hasonló helyzetben lennénk, mint a fizika volt a 17. század végén, amikor egyszerűen hiányoztak mind a megfigyelések, mind a megfelelő elméleti keretrendszer a Világmindenség bizonyos tulajdonságainak megértéséhez. Richard Bentley már 1692-ben feltette azt a kérdést Newtonnak, hogy ha – miként az Principiában olvasható – a Világmindenség „tele van anyaggal”; és az anyag minden része vonzza az összes többit, úgy miért nem omlik össze egyetlen pontba az egész? Amire Newton csak azt tudta válaszolni, hogy „egy végtelen térben a részecskék olya pontosan ki vannak egyensúlyozva egymás között, hogy nyugalomban maradnak”, de ehhez azt is hozzátette, hogy ezt ugyanolyan nehéz megvalósítani, mint „végtelenül sok… tűt a hegyére állítva kiegyensúlyozni”. Illetve később arra is hivatkozott, hogy Isten a maga előrelátásával azért, „hogy a mozdulatlan csillagok gravitációjuknál fogva ne zuhanjanak egymásra… ezeket egymástól roppant távolságokra helyzete el”. Amit persze már a kortársai sem éreztek meggyőzőnek.
Én mindenesetre kíváncsi lennék, hogy a Világmindenség megértésében történik-e majd olyan előrelépés az alapkérdések megválaszolásával kapcsolatban 21. században, mint amilyen a newtonitól a modern kozmológiáig vezetett.

2013. augusztus 21., szerda

Antrópikus elv helyett: a felső korlát

Az antrópikus elv ilyen vagy olyan formában ugyan, de abból indul ki, hogy nem lennénk itt, ha a Világmindenség bizonyos „finoman hangolt”paraméterei ezt nem tennék lehetővé. Amennyiben azonban a komplexitást, vagyis azt is figyelembe vesszük, hogy eléggé összetett-e a minket körülvevő fizikai valóság szerkezete ahhoz, hogy az élőlények és az értelem is kialakulhasson benne, úgy egy alsó és egy felső korlátot is megkülönböztethetünk.
Ami az előbbit illeti, a klasszikus példa szerint, ha a fizikai állandók csupán kissé mások lennének, úgy nem alakulnának ki csillagok, nem indulna be az élethez szükséges nehéz elemek termelése stb. Értsd: mivel nem jelenik meg a szükséges komplexitás: mivel nem érjük el a szükséges bonyolultság alsó küszöbét, ezért egy túlságosan egyszerű Univerzumban nem jöhet létre egy olyan bonyolult dolog, mint az (értelmes) élet.
A felső korlátot pedig az jelenti, hogy egy túlságosan is komplex univerzumban hasonlóképpen nem jelenhetett volna meg. 1-nél több idődimenzió esetén nem működnének az ok-okozati összefüggések, és így nem lehetne alkalmazkodni a környezethez. Tehát az Univerzumban nem csak az meglepő, hogy az (értelmes) élet számára finomra van hangolva, hanem az is, hogy eközben nem is vált túl komplikálttá, hanem „éppen jó” a számunkra.
Ami mintha csak az antrópikus elv átfogalmazása lenne, pedig másról van szó. Miközben az Univerzum egy idő után elég bonyolulttá vált ahhoz, hogy megjelenhessünk benne, eközben nem csak a múltban nem volt életellenes módon túl bonyolult, hanem a jövőben sem lesz az. A történet jelenlegi tudásunk szerint nem áttekinthetetlen zűrzavarban fog véget érni, hanem a több mint 10^100-on év múlva ránk váró „hideg és távoli jövőben” nem lesznek csillagok, nem lesz energiatermelés stb. Ezek helyett majd „visszamaradt hulladékok léteznek csupán: hihetetlenül hosszú hullámú sugárzás fotonjai, neutrínók, elektronok és pozitronok”, írja a Fred Adams – Greg Laughin szerzőpáros Az Univerzum öt korszaka című könyvében.
Vagyis az Univerzum kezdeti szakaszára jellemző volt az élet kialakulását lehetetlenné tevő, alacsony komplexitás küszöbe, és hozzávetőleg 10 milliárd évnek kellett eltelnie, mire létrejöhettek az alapanyagok. A távoli jövőben pedig ismét az lesz a probléma, hogy nem lesz meg a kellő összetettség. Értsd: az Univerzum történetének egyetlen pontján sem az fogja okozni a gondot, hogy az élet számára túlságosan komplikáltak lennének a körülmények, és persze kérdés, hogy ez miért van így.
Megoldásként vagy az kínálkozik, hogy

  1. egyszerűen egy véletlenről van szó – minden bizonnyal ez a legkevésbé érdekes magyarázat. Vagy
  2. valamilyen oka van annak, hogy az élet és az értelmes élet kifejlődése a felső korlát problémájába soha sem ütközik bele, és ennek a felvetése már önmagában is megérte ennek a bejegyzésnek a megírását. Vagy pedig az, hogy
  3. jelenleg rosszul gondoljuk, és miként Adams és Laufhin fogalmaznak, „ezen távoli korok látszólagos szegényessége talán inkább tudásunk bizonytalanságából fakad, nem pedig abból, hogy a Világmindenség jóvátehetetlenül elöregszik majd.” Valahogy úgy, mint ahogy tíz évvel ezelőtt még fel sem merült, hogy a sötét energia miatt az Univerzumra a gyorsuló tágulás korszaka várna, és ad analogiam még sem zárható ki, hogy a jövőben teljesen mást fogunk gondolni az Univerzum jövőjéről, mint most.

És ami azt illeti, én nem is csodálkoznék ezen.

2013. augusztus 20., kedd

A kozmológia esete a potyautas matematikával

Tim Maudlin A fizika filozófiájáról írva kiemeli, hogy „a geometriai struktúrák… mindegyik szintje megfelel az eukleidészi geometria három eszköze közül a ceruzának; az egyélű vonalzónak vagy a körzőnek”. Ami viszont elvezet oda, hogy egyfelől nem lehetne-e másképp felépíteni a geometriát; másfelől pedig (és számomra most igazából ez az érdekes), hogy szükségszerű-e éppen ezt a matematikát használnunk a kozmológiában.
Ami a geometriai eszközöket illeti:
ceruza = topológiai struktúra (ugyanis a topológia lényegében a folyamatosságon alapul , tehát kissé leegyszerűsítve: mintha csak azt vizsgálná, hogy mit tudunk a ceruza felemelése nélkül megrajzolni, és mit nem)
egyélű vonalzó = affin struktúra: itt már „nem csupán folytonos, de egyenes vonalakat is tudunk rajzolni”, és egy transzformáció egy egyenes vonalat egy másik egyenes vonalba tud átvinni, mondja Maudlin, viszont eközben még mindig nem tudunk semmit mondani a hosszúságokról és a távolságokról. Ehhez
körző = metrikus struktúra is szükségeltetik (vagyis képesnek kell lennünk összehasonlítani egymással a távolságokat).
A teljesség kedvéért említsük meg, hogy a topológiai és az affin struktúra között a modern geometriában ott van a differenciálható struktúra is: ez esetben megkülönböztetjük a sima, folyamatos görbéket azoktól, amelyeknek mondjuk csúcsaik vannak (és ezért nem simák). Viszont a lényeg mindenképpen az, hogy az eukleidészi kiindulási pont, vagyis az, hogy milyen eszközöket tartottak a geometriai szerkesztésnél megengedhetőnek, a későbbiekben látványosan befolyásolta az is, hogy milyen tulajdonság alapján képzeljük el a geometriai teret – egyszerűen, mert ezeket az eszközöket használva ezek a tulajdonságok feltűnőek a számunkra. Egy origami-geometria esetében feltehetően más lenne a helyzet.
És persze akkor sem maradt pontosan ugyanaz a történet, amikor a még Newton idejében is elterjedt, a mai képletek helyett geometriai megoldásokkal dolgozó módszert a koordináta-geometrián alapuló, algebrai megoldásokat is lehetővé tevő felfogás váltotta fel. Miként Maudlin is rámutat, ez aztán annyira hatékonynak bizonyult, hogy „a jelentősége nem becsülhető túl. De vele jár egy veszély: a távolság az objektum tanulmányozása… és az objektum reprezentációja között bizonytalanná válhat” (kiemelés tőlem - GZ), és egy, a minket érdeklő problémáról készült matematikai leírás tulajdonságairól hajlamosak lehetünk azt képzelni, hogy azok valójában a vizsgált jelenséghez tartoznak. A tér elírása esetében például nem különösebben meglepő módon „a geometria sokkal közvetlenebbül kapcsolódik a fizikai világhoz, mint az aritmetika… a modern fizika [viszont] algebrai formában jelenik meg a számok és az aritmetikai egyenlőségek terminusait használva”. És persze a teret is így írja le.
Márpedig Maudlin szerint, amikor a modern fizikus a három dimenziós „eukleidészi” teret R3-mal jelöli, akkor ez nem azonos az E3-mal (vagyis a három dimenziós eukleidészi térrel), mert az „R3-nak részben olyan a matematikai struktúrája, amely nem analóg az E3-mal”.
Ebből kiindulva az is felvetődhet, hogy a modern matematika eredményeinek átvétele vajon mennyiben befolyásolta a modern fizikát. Értsd: mennyiben kezdtünk olyan dolgokat természetesnek és adottnak tekinteni, amelyek nem szükségképpen azok, viszont az egyéb megoldásokkal együtt „örököltük” őket a matematikától.
Ott van például a végtelen fogalma: a mai kozmológiában teljesen természetes módon használnak olyan kifejezéseket, mint amilyen a „végtelen ideig” táguló vagy éppen – a felfúvódás következtében – „végtelen kiterjedésű” Univerzum. Csak éppen még akkor is egynél több lehetséges értelmezése van a végtelen fogalmának, ha ma azt tekintjük is adottnak, amely szerint a végtelen+1=végtelen (hogy a végtelenek számosságát már ne is említsük).
Ehhez képest Arisztotelész annak idején még nem aktuálisan létező végtelenről beszélt, hanem csupán potenciálisról. Vagyis arról, hogy a természetes számok bármelyikéhez mindig hozzáadhatunk még egyet, és így még nagyobb számot kapunk eredményül – de nem jelenti azt, hogy valaha is elérnénk a végtelenhez annak minden furcsa tulajdonságával együtt. Ez nem végtelenül nagy lesz, csak eggyel nagyobb az előzőnél – bármeddig haladunk is. „A végtelen (aperion=kb. korlát/limit nélküli) nem azt jelenti, hogy semmi sincs rajta kívül, hanem azt, hogy mindig van rajta kívül valami”, írja Arisztotelész.
Azok a csillagászok/kozmológusok, akik tanulmányaik során átvették az aktuális végtelen koncepcióját a hozzá kapcsolódó matematikával együtt (vagy még inkább: azon keresztül), rendszerint nem teszik fel maguknak a kérdést, hogy van-e értelme „végtelen Világmindenségről” beszélni. És még akkor is ez a helyzet, ha néhány éve a fizikus James M. Overduin egy cikkében már felvetette, hogy elképzelhető, hogy valamiféle „véges kozmológia” (finite cosmology) felé kellene indulnunk, mivel a megfigyelések alapján nincs okunk feltételezni a „kozmológiai végtelenséget”. Ezt azonban a fogalmi alapok érintetlenül hagyásával tette, és pl. a meztelen szingularitás fogalmát (ahol az anyag „végtelenül sűrű”) ő is adottnak veszi.
Amivel nem azt akarom mondani, hogy a modern matematika koncepcióinak felhasználása feltétlenül rossz dolog és szükségképpen hibás eredményre vezet. Azt viszont igen, hogy egyfelől érdemes lenne alaposabban is megnézni, hogy mik azok a koncepciók, melyek a fentebbi módon, afféle potyautasként, a matematikához tapadva érkeztek a modern kozmológiába. Másfelől azt is érdemes lenne körüljárni, hogy más matematikai alapokról (pl. aktuális végtelen elutasításával) mire jutnánk – és az így születő megoldások adott esetben nem írnák le jobban a valóságot a mostaniaknál.

2013. augusztus 17., szombat

Az erős antrópikus elv esete az elefántormánnyal

Ulisse Aldrovandi 16. századi illusztrációja
Az erős antrópikus elv a fogalom megalkotója, Brandon Carter szerint azt mondja ki, hogy „az Univerzumnak (és így alapvető paramétereinek, melyektől függ) olyanoknak kell lenniük, hogy megengedik [az Univerzum létének] valamely fázisban megfigyelők megjelenését”. Ez több kérdést is felvet: többek között azt is, hogy valóban így van-e.
Ugyanis abból indul ki, hogy amennyiben akár csak nagyon kissé eltérőek lennének a fizikai állandók értékei, akkor az élet egyszerűen nem jöhetne létre (élet alatt most a szénalapú életet értve). Vagyis: a világmindenség annyira finoman „ránk van hangolva”, mintha csak egy szuperintelligencia „babrált” volna a természeti állandókkal (hogy a csillagász Fred Hoyle fogalmazásával éljünk), és ezen a ponton nem különösebben meglepő módon fel szoktak bukkanni a „design argumentumok” azon képviselői, akik szerint akkor ezt a finomra hangolást valakinek minden bizonnyal el kellett végeznie.
De persze nem.
B. K. Ridley A tudományról című könyvében azt mondja, hogy a mostani felfogás értelmében a tudomány azzal foglalkozik, hogy „mi van” (mi létezik). G. E. Moore még 1903-ban definiálta a „naturalisztikus tévedés” fogalmát: e szerint a fizikailag létezőből nem következik az etikai kell, azaz „a tényből nem következik az érték” (hogy Ridleyt idézzem). Abból, hogy minden ember halandó, nem következik, hogy ez „tényként” jó vagy rossz dolog: önmagában ugyanúgy nem mond semmit az etika számára, mint ahogy az sem, hogy a Hold a Földdel közös tömegközéppont körül kering. Teljesen más lesz azonban a helyzet, ha magunkra vonatkoztatjuk.
Tehát először is vannak a „tényekre vonatkozó” állításaink: ezekkel a jelenlegi megállapodás szerint a tudomány foglalkozik; illetve azok az állítások, amelyek arra vonatkoznak, hogy a különböző tények mit jelentenek a számunkra, és hogyan kell megítélnünk azokat a saját szempontunkból mint gondolkodó lényekéből: ez az etika illetékességi köre. Mondhatni, a tudománnyal ellentétben itt alapvető fontosságú a megfigyelő személye. Elvégre fizikai jelenségek talán egy értelem nélküli világban is lennének; etikai kérdések viszont biztosan nem.
Vagy legalábbis első lépésben így fogalmazhatunk, de a helyzet ennyire azért nem egyszerű. A jelenlegi (vagy még inkább a 20. században) meghatározó tudományfelfogás szerint

  1. a klasszikus fizika megfigyelő-független: egy szabadon eső test viselkedését nem változtatja meg, hogy észleljük-e , vagy sem
  2. a kvantumfizikában kissé bonyolultabb a helyzet: a megfigyelő szükségképpen hatással van a megfigyelt eseményekre. Viszont: ez a megfigyelő adott esetben lehet akár egy fotólemez is – nem szükséges, hogy élő és értelmes legyen
  3. végezetül pedig megjelenik a fentebb említett erős antrópikus elv, amely szerint szükségképpen lehetővé kell válnia a megfigyelők kialakulásának. Tehát bár nem határoztuk meg pontosan, hogy itt mit is jelent a megfigyelő, mindez mintha arrafelé mutatna, hogy a jövőben a kozmológia (sőt, a fizika is) egyre inkább ember- vagy legalább értelemközpontúvá válik, és a kiindulási pont az lesz, hogy az értelmes lények jelenléte ugyanúgy elengedhetetlen, miként az etika esetében is.

De ha kissé jobban belegondolunk, akkor nem csak az „antrópikus” fogalma félrevezető, mert azt sugallja, hogy az emberről, nem pedig általában véve az élet (vagy esetleg az értelmes élet) megjelenéséről van szó. Brandon Carter ezt kiküszöbölendő egy időben gondolkozott is rajta, hogy inkább ne „pszichocentrikus”; „megfigyelő önkiválasztási” Vagy esetleg „kognizálhatósági” elvről beszéljen-e. Az antrópikus elv eredeti, ma gyengének nevezett formájában pedig még mindössze annyit mondott ki, hogy „azt, ami elvárásaink szerint észlelhető, szükségképpen korlátozzák azok a körülmények, melyek a megfigyelő jelenlétéhez elengedhetetlenek”.
Azaz egy olyan Univerzumban, ahol nem alakultak volna ki csillagok, ott nem jöttek volna létre az élethez szükséges nehéz elemek sem, és így mi sem jelenhettünk volna meg. És ez idáig rendben is van. Sőt, még az is rendben van, hogy ennek megfelelően nagyon finom hangoltságot figyelünk meg a minket körülvevő világban. Viszont még ebből sem következik szükségképpen, hogy az élet vagy éppen az értelem megjelenése lenne a végső cél. Charles Linrweaver ausztrál asztrofizikus azzal a hasonlattal él, hogy ha lennének olyan elefántok, melyek képesek megérteni a biológia fogalmát, akkor talán úgy vélnék, hogy az evolúció története a mind nagyobb ormányok kifejlődése, nem pedig az értelem kifejlődése felé tart. Tehát ad absurdum miért is ne tételeznénk fel, hogy az antrópikus elv helyett valójában ormányossági elvről kellene beszélnünk, mert a finomra hangolás azért jött létre, hogy ez a szerv megjelenhessen?
Abból tehát, hogy értelmes megfigyelőként a tudatában vagyunk a finomra hangolt univerzum létének, nem következik, hogy az értelem volt „megcélozva”. Ezzel az erővel lehetett volna „cél” nem csak az ormány, hanem mondjuk a hidrogénnél nehezebb elemek létrehozása is.

  1. Az egyik probléma tehát az, hogy még a finomra hangolás is túl nagy „sávszélességű”, és ha egy folyamat lehetővé teszi az (értelmes) élet kialakulását, akkor ezzel párhuzamosan számos más dolgot is lehetővé tesz.
  2. De még ha eljutnánk is odáig – ami egyébként felettébb valószínűtlen -, hogy be tudnánk bizonyítani, hogy bizonyos paraméterek megváltoztatása kizárólag az (értelmes) élet megjelenését zárja ki, de a különböző elemek, csillagok és bolygók azért ugyanúgy kialakulnának, mint eddig, még mindig nem lenne bizonyítható, hogy az egész az értelem létrehozására irányult volna.

A következő példa segíthet megérteni, hogy miért nem. Amikor megjelent Darwintól a fajok eredete, akkor három különböző reakció volt.

  • Néhányan csak a vállukat vonogatták: egy Baden Powell nevű például szerző azt írta, hogy „a fizikai tudományokban szigorúan a fizikai indukcióhoz és demonstrációhoz kell tartanunk magunkat; a vallásos vizsgálódásoknál a morális bizonyításhoz; és soha sem szabad összekevernünk e kettőt”.
  • Persze voltak olyanok is, akik úgy vélték, hogy innentől kezdve teljesen felesleges valamiféle teremtőt feltételezni. Ami nem is meglepő, ha tudjuk, hogy a 19 század a tömeges ateizmus megjelenésének kora– és az ateisták miért is ne próbálták volna meg Darwin eredményeit a saját álláspontjuk alátámasztására felhasználni?
  • Elvégre a velük szemben állók is ezt tették azt állítva, hogy a darwinizmus egyszerűen beépíthető a természeti teológia hagyományaiba. Charles Kingsley oxfordi történész azt mondta, hogy „egyszerűen az isteni létezés nemes koncepciója azt feltételezni, hogy Ő megteremtette az alapformákat, melyek önfejlődésre képesek”. Egy Frederick Temple nevű teológus pedig azt, hogy „Darwin elmélete a design érvelést [design argument] még erősebbé tette, mint korábban volt.” 

Amiből számunkra az a tanulság, hogy abból a tényből, hogy az evolúció vezetett el a mai élővilág kialakulásához, mindössze annyi következik, hogy az evolúció vezetett el a mai élővilág kialakulásához (bármennyire is tautológiának hangozzék ez); az viszont nem derül ki belőle, hogy miért van evolúció. És hasonlóképpen: még ha végtelenül pontosan az életre, az értelmes életre, sőt, egyenesen az ember megjelenésére lenne is hangolva a Világmindenség, ez alapján vagy elfogadnánk a design argumentumot, vagy pedig nem. De sem az elutasítás, sem az elfogadás nem szükségszerű. Ami egyben azt is jelenti, hogy míg az etikában elkerülhetetlen az értelmes élet feltételezése (elvégre máskülönben nem is lenne értelme az etikának), a természettudományba csak akkor tudjuk visszacsempészni a természeti teológia hagyományait, ha már eleve meg vagyunk róla győződve, hogy az a természettudomány része.
Úgyhogy legfeljebb két dologban lehetünk biztosak.

  • Egyfelől, hogy elképzelhetetlen, hogy egy olyan Univerzumban ébredjünk öntudatra, ahol az élet sem képes kialakulni.
  • Másfelől nem a finomra hangolt univerzum létéből, hanem abból a tényből, hogy valaki képes megfigyelni azt, következik az értelmes megfigyelő jelenléte – de ennél több nem. Mindenesetre az elefántormány léte sem finomra hangoltságból, sem a megfigyelés tényéből nem vezethető le, és legalább ebben a tekintetben különbözik az agyunk minden más szervtől.

2013. augusztus 13., kedd

Occam borotvája és a Világmindenség

Az Occam borotvája elv látszólag nagyon egyszerű: azt mondja ki, hogy két elmélet közül mindig azt válasszuk, amelyik egyszerűbb. Az egyszerűség alatt persze legalább kétféle dolgot érthetünk.
William Occam a 14. század első felében élt, és a neki tulajdonított szabály szerint „a dolgokat nem kell a szükségesen felül megsokszorozni”. Martha és William Kneale logikatörténészek szerint pontosan ezt ugyan sosem mondta, viszont egy tanulmányában az olvasható, hogy „szükségtelenül nem szabad pluralitást feltételezni”. De akárhogy is fogalmazzunk, a lényeg mindenképpen az, hogy az Occam borotvája néven ismertté vált heurisztikát az idők folyamán a legkülönbözőbb területeken alkalmazták.
A pszichológus Conway Lloyd Morgan például az állati viselkedéssel kapcsolatos kutatásokkal kapcsolatban még a 19. század végén azt javasolta, hogy a különböző lehetséges magyarázatok közül mindig „a pszichológiai evolúció és fejlődés alacsonyabb fokán” álló megoldást válasszuk. Értsd: például felesleges feltételeznünk, hogy egy ló valóban tud számolni, amennyiben a megfigyelések magyarázatához elég, ha érzékenyen reagál a gazdája akaratlan jelzéseire (miként „Hans, az okos ló” esetében is történt). És ez, valljuk be, ez meggyőző érvelésnek is tűnik. . Vagy ott van a LGM-ek esete. Amikor a rádiócsillagászok 1967-ben különösen viselkedő, távoli, szabályosan sugárzó jelforrásokat fedeztek fel, akkor ezeket (legfeljebb félig tréfából) LGM1-nek, LGM2-nek stb. nevezték el, ahol is a betűszó a kis zöld emberke (Little Green Mae) rövidítése. Ugyanis kezdetben elképzelhetőnek tartották, hogy egy másik civilizáció „kozmikus világítótornyai”. Később viszont arra a következtetésre jutottak, hogy ez túlságosan bonyolult lenne így, mert túlságosan sok mindent kellene megmagyarázni (kezdve azon, hogy miként alakulhatott ki egy ilyen idegen értelem, és befejezve azon, hogy miért pazarolnak időt és energiát ilyen jeladókra). Tehát megvizsgálták, hogy az ismert fizikai törvények elegendőek-e egy ilyen kozmikus objektum létrejöttéhez, és azt találták, hogy igen: erős elektromágneses térben gyorsan forgó neutroncsillagokkal (=pulzár) van dolgunk. Azóta már tudjuk, hogy valóban így van – csak éppen nem azért, mert ezt egyszerűbb feltételezni, hanem azért, mert az LGM-ek olyan jelenségeket is produkálnak, amely holmi mesterséges jelzőfényektől nem lenne elvárható. Viszont: egyfelől vegyük észre, hogy ha bármilyen kétes eredetű jelet fogunk (eltekintve az olyanoktól, mint amilyen az első néhány ezer prímszám lenne), úgy mindig egyszerűbb lesz egy más magyarázatot találni. Másfelől: két különböző kérdést kell feltennünk az Occam borotvája elvvel kapcsolatban.
Az egyik az, hogy mi számít egyszerűbb feltételezésnek? Bizonyos esetekben ez valóban könnyen eldönthetőnek látszik, valójában azonban mindig függ az alapfeltételezéseinktől. Hogy egy szélsőséges példát hozzak (természetesen némiképpen leegyszerűsítve): a realisták arra hivatkoznak, hogy egyszerűbb és kevesebb feltételezést igényel az, hogy igenis léteznek rajtam kívül is dolgok: az asztal, amelynél ülve ezeket a sorokat írom; a többi ember vagy éppen a Világmindenség, és így tovább, és ezért tudom őket megfigyelni. Az idealisták viszont azzal érvelnek, hogy egyszerűbb az a modell, ahol nem kell ilyen komplikált tárgyak, jelenségek stb. létezését feltételezni: elég, ha a saját létezésem tényét fogadom el (míg a realistáknak a saját létezésem mellett a világ létezésére is magyarázatot kell adniuk). Ráadásul, amikor arra hivatkozunk, hogy valaminek a feltételezése bonyolultabb (vagy éppen kevésbé bonyolult), mint az ellentéte, akkor valójában nem arról beszélünk, hogy milyen a világ, hanem arról, hogy mi mit gondolunk, hogy milyen. És ismét csak ráadásul: miért is tételeznénk fel, hogy az elegánsabb leírás (még ha könnyebben kezelhető is), jobb?
 Nem hinném, hogy a modern fizikát és Descartes fizikáját párhuzamba állítva az utóbbira szavaznánk, amelyben az anyag és a mozgás elég kellett volna, hogy legyen minden magyarázathoz bármiféle kölcsönhatás kizárásával. A modern fizika viszont a komplikált leírásért cserébe átfogó a valósághoz jól illeszkedő magyarázatokat ígér. De: ez nem jelenti azt, hogy a világot is komplikáltnak tartja.
A filozófián belül meg szokás különböztetni a szintaktikai (=elegancia: hány alapelvre van szükségünk és ezek mennyire konzisztensek), illetve az ontológiai egyszerűséget (=parszimónia: hány dolog létezését tételezi fel az elmélet – lényegében erre vonatkozik az Occam-elv is). Ennek analógiájára megkülönböztethetjük, hogy mennyire egyszerű egy elmélet (mekkora és mennyire összetett matematika apparátust használ; mennyire egyszerűen jutunk el az eredményig stb.); és, hogy egyszerű az eredmény (egy olyan univerzum-modell például, amelyben semmi más sincs, csak hidrogén, értelemszerűen egyszerűnek számít függetlenül attól, hogy mennyire bonyolult egyenletek vezettek el hozzá).
Ami leginkább azért érdekes a számunkra, mert innentől kezdve a tudomány és valóság viszonyát leíró modelleket négy kategóriába sorolhatjuk:
  • egyszerű szabályok ---> komplikált eredmény: a Stephen Wolfram-féle „újfajta tudomány” azzal foglalkozik, hogy bizonyos sejtautomaták esetében nagyon egyszerű szabályok is nagyon komplex jelenségekhez vezethetnek, és az erre a megfigyelésre épülő „digitális filozófia” szerint maga az univerzum is felfogható 3D-s sejtautomataként (sőt, nem csak felfogható, hanem az is), ahol alig néhány egyszerű szabály elég a minket körülvevő, igencsak komplikált valóság legenerálásához
  • a leírás bonyolult, a végeredmény egyszerű, ahogyan azok a fizikusok is remélik, akik meg vannak győződve róla, hogy létezik a TOE (Theory of Everything). Meg szokás különböztetni a fundamentális (alapvető) törvényeket és a másodlagosakat, melyeket csak kényelmi megfontolásokból kezelünk úgy, mintha "igazi" törvények lennének, a TOE léte pedig azt jelentené, hogy csupán egyetlen fundamentális törvény van
  • a leírás és a végeredmény egyaránt bonyolult: talán ez a helyzet, amennyiben mégsem lehetséges valamiféle Mindenség Elmélete. Az eddigiekhez: a „mainstream” meg a digitális felfogáshoz képest teljesen másmilyen lenne egy ilyen fizika
  • a leírás és a végeredmény egyaránt egyszerű – ez azonban nem fordulhat elő egy olyan Világmindenségben, mint a miénk, amely elég összetett ahhoz, hogy az értelem megjelenjen benne. A gyenge antrópikus elv kizárja, hogy igaz legyen
Ideáig eljutva, ha már egyszer ennyit foglalkoztunk vele, érdemes eltűnődnünk azon, hogy miért hajlunk valamiféle egyszerűség feltételezésére egyáltalán?  Vagyis: honnét származik az egyszerűségbe vetett hit?
A válasz pedig minden bizonnyal az, hogy ennek történeti okai vannak. Az ókori görög poliszok politikai életében részt vevő polgárok első lépésben egyfajta kritikus szemléletet alakítottak ki a társadalmi rendet lehetővé tevő törvényeket tanulmányozva; majd pedig a második lépésben ugyanezzel a szemlélettel kezdtek a „természeti törvények” felé fordulni. Jellemző, hogy Hérakleitosz i.e. 500 körül arról beszélt, hogy a Nap azért nem lépi túl a neki szabott korlátokat, mert máskülönben „a törvény szolgálói megtalálják”. Természetesen nem volt szükségszerű, hogy a társadalmi törvények létének feltételezése elvezessen a természeti törvényekéhez, de végső soron nem is meglepő.
Ugyanekkor a korai görög filozófusok olyan egyetlen és kizárólagos tényezőt vagy elemet is kerestek, amely mindenre magyarázatul szolgált volna. Tálész mindent a „vízre”; míg Anaximenész mindent a „levegőre”vezetett vissza stb.  A talán legközismertebb megoldás pedig a püthagoreánusoké volt, akik Arisztotelész szerint „meg voltak róla győződve, hogy a [matematika] princípiumai minden dolog princípiumai”, és a jelek szerint ez meggyőződés a modern természettudományokban is tovább él. És bár volt egy ezzel ellentétes felfogás is (Hérakleitosz úgy gondolta, hogy  a változás a kulcsfogalom, mivel „minden változik”), hosszú távon a meghatározó az egyetlen egyszerű ok feltételezése lett. És ezzel ott is vagyunk Occam borotvájánál, amely – amennyiben a többi feltétel azonos – az ontológiai egyszerűségre szavaz, vagyis arra, hogy a kevesebb létező dolog feltételezésével élő elméletet válasszuk. Merthogy ugye az egyszerűbb a szebb…
De elképzelhetőek lennének az ógörög típusú egyszerűségre való törekvés helyett más megközelítések is a természettudományokon belül.
Azzal, hogy a megismerés, mint olyan, nem lehetséges, már csak azért sem érdemes foglalkozni, mert ebből kiindulva nem lehetne tudományt csinálni. Viszont még mindig marad két további lehetőségünk: nevezzük talán úgy őket, hogy 
réteges-, illetve szigetmodell.
Az előbbi szerint nincs egyetlen, átfogó törvényekkel leírható fizikai valóság. Ehelyett a különböző szinteken különböző jellegű (és ennek megfelelően különböző szabályok által leírható) törvényszerűségek érvényesek. A biológiának még akkor is mások a törvényei, mint a fizikának, ha a fizika határozza meg azt a keretrendszert, amelyen belül az élet „működőképes” marad. Innentől kezdve persze az válik a tudományos kutatás egyik alapkérdésévé, hogy hogyan különböztethetjük meg egymástól az egyes szinteket, és hol húzzuk meg a határokat. És ez egyáltalán nem egyszerű. Miként Ilya Prigogine és Isabelle Stengers írják Az új szövetség című könyvükben, tekintettel a Planck-állandóra, a 20. század elejéhez képest „többé nem képzelhetjük úgy el az atomot, mint holmi kicsiny bolygórendszert.” Elvégre más mérettartomány = más fizikai törvények.
Illetve Einstein óta viszont abból indulunk ki, hogy „a fizikai tárgyak viselkedése… világosan különbözik aszerint, hogy sebességük közelíti-e a fényét”. Márpedig a 19. században még ugyan kinek jutott volna eszébe, hogy a fizika így, a sebesség alapján is „skálázható”? És miért is ne számítanánk arra, hogy a jövőben is hasonló meglepetések érhetnek minket.
A szigetmodellnél pedig az egységesség és egyszerűség helyett abból indulunk ki, hogy mivel nincs egyetlen, átfogó magyarázat, ezért bár egyes területekről szerezhetünk viszonylag megbízható tudást, abból, hogy mondjuk képesek vagyunk leírást adni a kvantumfizika egy részéről, nem következik, hogy ezt az egész kvantumfizikával is meg tudjuk csinálni, és mindig maradhatnak még felfedezetlen szigetek. Egy bizonyos részterület ismeretéből nem következik (és miért is következne), hogy az egészet is értjük?
És hogy melyik modell a helyes? A gyenge antrópikus elv arra ad magyarázatot, hogy miért éppen úgy van finomra hangolva az Univerzum, ahogy, de ezt éppen, hogy nem az átfogó elvek, hanem a részletek szintjén teszi. Tehát kimutatható például, hogy ha csak nagyon kicsit eltérőek lettek volna a kiindulási feltételek, akkor ma a Világmindenség kizárólag hidrogénatomokból állna – és így nem jöhetett volna létre benne a környezete megfigyelésére képes értelem.
Az viszont nem mutatható ki, hogy a mi létrejöttünket lehetővé tevő Világmindenség kialakulásához valamiféle egyszerűséget kellene feltételeznünk. Tehát: egyfelől miért is tennénk. Másfelől viszont azt is vegyük észre, hogy még ha egy adott pillanatban úgy tűnne is, hogy az Univerzumot az egyszerűség (vagy éppen bonyolultság) jellemzi, utána jöhet egy elmélet, amely megváltoztatja ezt. Az arisztotelészi fizikában az égi és a földi testekre különböző szabályok vonatkoztak – aztán jött Galilei, és megmutatta, hogy ezek a különbségek nem léteznek. A newtoni fizika a látszat szerint (miként már említettük) mindent le tudott írni – de aztán kiderült, hogy korántsem minden körülmények között érvényes – és így tovább.
Vagyis valójában eldönthetetlen, hogy melyik írja le jól a valóságot, és legfeljebb arról van értelme beszélni, hogy aktuálisan éppen melyik tűnik a leghasználhatóbbnak – Occam-elv ide vagy oda.

2013. augusztus 8., csütörtök

A kozmológia lehetőségétől a lehetségességek kozmológiája felé

Az filozófiai antirealizmus azt állítja, hogy csak abban lehetünk biztosak, amit képesek vagyunk közvetlenül megfigyelni. Ebből a szempontból (meg persze jó néhány másból is) a kozmológiánál keresve sem találni izgalmasabb területet.
A „közvetlen megfigyelhetőség” fogalma persze legalábbis ellentmondásos, hiszen ha szabad szemmel észleljük, az ugyebár annak számít. Ám ha szemüvegen; ha távcsőlencsén át… és így tovább, akkor hol fogjuk azt mondani, hogy ez már nem? De a lényeg számunkra most mindenképpen az, hogy mivel az antirealizmus szerint az olyan, az ember számára megfigyelhetetlen dolgok, mint amilyen az elektron vagy éppen a sötét energia, „kényelmes fikciók” csupán. Ezt a felfogást instrumentalizmusnak is szokás nevezni, mert a tudomány által konstruált magyarázatokra úgy tekint, mint ami mintegy eszközöket biztosít a különböző megfigyelési eredmények előre jelzésére. De semmi többet, és eközben egy-egy eszköz könnyen félre is vihet minket. Fresnel a 19. században például részletesen kidolgozta a fény hullámtermészetére vonatkozó és kiválóan működő egyenleteit, miközben – mint ma már tudjuk – a szerinte az egész alapjául szolgáló éter egyszerűen nem létezik. De hozhatnánk más példákat is: a filozófus Larry Laudan több mint harminc ilyet sorol fel. És ezzel el is jutottunk a kozmológia problémájához, ugyanis John Henry tudománytörténész szerint Kopernikusz nagy előrelépése az volt a földközéppontú modellt kidolgozó Ptolemaioszhoz képest, hogy nem csak arra volt kíváncsi, hogy valami (esetünkben az égitestek mozgása) miként írható le, hanem arra is, hogy miért éppen úgy. Mondhatni: hogy mi a logikája a dolognak.
Ekkoriban a csillagászat meg a kozmológia egymástól élesen elkülönült. Az előbbi mindössze leírást akart adni, és ezt matematikai alapokon akarta tenni; az utóbbi viszont magyarázatot keresett, és ehhez a filozófia szolgált alapul. Az ebben az értelemben kozmológiai álláspontot képviselő „Arisztotelész abból indult ki, hogy a természetfilozófia célja a természeti jelenségek magyarázata fizikai okok révén”, írja Henry A tudományos gondolkodás rövid története című könyvben, a ptolemaioszi csillagászat által használt „matematika viszont semmit nem mondott a fizikai okokról, hanem csupán egy technikai leírást kínált különböző jelenségekre.” Kopernikusz ezt a két felfogást egyesítette: nála a matematika a valóság értelmezhető leírásának eszköze volt.
Innentől kezdve három tudománymodellt különböztethetünk meg:

  1. csak az elmélet számít (értsd: az oksági magyarázat, miként Arisztotelész vélte)
  2. csak a matematika számít (vagyis, miként Ptolemaiosznál is, csak a technikailag minél pontosabb leírás)
  3. mindkettőre szükség van (ld. Kopernikusz).

Ma az az általános meggyőződés, hogy optimális esetben „kopernikuszinak” kell lennie a természettudományoknak. Úgyhogy Lee Smolin amerikai fizikus abban látja a jelenlegi fizika válságának az okát, hogy az utóbbi évtizedekben „a pragmatikus ’kemény’ stílus… a virtuóz számolásoknak kedvez a nehéz elvi problémákkal való töprengéssel szemben”, és ez mintha bizonyos értelemben visszakanyarodás lenne a ptolemaioszi felfogáshoz. Nem véletlen tehát, hogy a „sötét energiával” kapcsolatban meglehetősen cinikusan az epicikloisokat szokás emlegetni arra utalva ezzel, hogy a „sötét energiához” hasonlóan azok is kiválóan funkcionáltak a jelenség leírásakor, ám a valósághoz semmi közük sem volt.
És ez ellentétesnek látszik a mostani gyakorlattal. Elvégre a modern tudomány minden igazi áttörésére a kopernikuszi fordulattól kezdve Darwinig, Einsteinig és Heisenbergig mindig „nehéz elvi problémákon való töprengéseknek” köszönhetően került sor (méghozzá azért éppen ezeknek köszönhetően, mert egyelőre nem a puszta adatgyűjtést vagy a levegőben lógó, öntörvényű modellek készítését tekintjük a tudomány céljának, hanem a valóság értelmezését).
Ám elképzelhető olyan megoldás is, ahol a tudomány művelése címén beérjük a jól működő egyenletekkel akkor is, ha sejtelmünk sincs róla, hogy azok miért válnak be – miként ez a Smolin által kritizált részecskefizikában történik, ahol adott esetben olyan egyenleteket használunk, melyek nagyon pontos eredményre vezetnek – csak éppen nem tudjuk, hogy miért. Ami mintha csak az epiciklois-szemlélet modernizált változata lenne.
Ami viszont a kozmológiát illeti, itt lehetséges, hogy más vezetett az olyan problémákhoz, mint amilyen az is, hogy egyszerre csak mintegy a semmiből előbukkant a sötét energia. Lawrence M. Krauss és Robert J. Scherrer egy 2007-es cikkükben azt írták, hogy „az Univerzum fejlődésének egy nagyon speciális korában élünk: egy olyan időben, amikor megfigyelésekkel tudjuk igazolni, hogy az Univerzum fejlődésének nagyon speciális korában élünk”. Ugyanis százmilliárd év múlva a Világmindenség tágulása miatt számunkra a galaxisok Lokális Csoportja kivételével minden eltűnik az eseményhorizont mögött, és az ősrobbanásból visszamaradt háttérsugárzást (vagy éppen a sötét energia létét) sem leszünk már képesek észlelni.
Abból azonban, hogy most még képesek vagyunk, nem következik, hogy mindent tanulmányozhatunk (bármit jelentsen is a „minden”). Éppen ellenkezőleg. Avi Loeb harvardi kutató nemrégiben mutatta ki, hogy az optimális alkalom a Világmindenség vizsgálatára mintegy 13 milliárd évvel ezelőtt lett volna, mert az azóta bekövetkezett események (pl. a galaxisok kialakulása) számos, a kezdetekkel kapcsolatos információt mostak el, és az időben előre haladva csak egyre kedvezőtlenebbé válik a helyzet.
Ráadásul az sem biztos, hogy képesek leszünk egy jelenségre, még ha szerencsés módon észlelni tudtuk is, magyarázatot találni. Némi iróniával akár azt is mondhatnám, hogy nincs olyan természeti törvény, amely ezt írná elő. George R. F. Ellisnek a kozmológia filozófiai problémáival kapcsolatos megfogalmazását kölcsön véve: „megvannak a korlátai azon fizikák tesztelésének, melyek [az Univerzum] legkorábbi korszakaira nézve relevánsak”.
Különösen, hogy ott van az ún. episztemikus redukció elutasítása is: eszerint a különöző szinteken különböző szabályok léteznek, és bár az emberi lét feltételeit is meghatározza a fizika, az emberi viselkedés mégsem írható le kizárólag a fizika segítségével. Ad analogiam: miért is ne tételeznénk fel, hogy a Világmindenség egésze is a szervezettség más szintjét jelenti? Amennyiben viszont így van, akkor ennek a tulajdonságait ugyanúgy képtelenek leszünk kizárólag a hagyományos fizika segítségével megmagyarázni, mint a szerelmi bánatot a kvantummechanikával.
Mindent egybevetve tehát nem tehetünk mást, mint vagy a fentebbiek ellenére is

  • reménykedünk abban, hogy egy,  a szűkebb idő- és térbeli kozmikus környezetünk vizsgálatán alapuló tudományos elmélet „távolabb” is működni fog. Ha pedig, miként tapasztalataink (ld. a sötét energiát) is erre utalnak, mégsem, úgy minden bizonnyal élhetünk azzal a feltételezéssel, hogy nem ez az utolsó alkalom, amikor valamilyen „alapvető meglepetés” vár ránk, és hasonlóan alapvető meglepetések fognak érni minket a jövőben is. Mondhatni: a kozmológia szükségképpen a meglepetések tudományágának fog bizonyulni.
  • A másik lehetséges megoldás az, hogy ez az eddig is erősen átmatematizált terület elkezd még inkább a matematikai felfogás felé letolódni, és a matematikháoz hasonlóan itt is a modell koherenciája, ellentmondás-mentessége, szépsége stb. lesz az elsődleges, nem pedig a valóságra való relevanciája. Azaz a kozmológiát egyre inkább elkezdjük nem a valóságos Világmindenség, hanem az elvileg lehetséges világmindenségeket leíró tudománynak tekinteni.

És tulajdonképpen miért is ne – még ha ez legalább akkora váltás is lenne, mint az áttérés az epiciklois-szemléletről a kopernikuszira, és még ha ez azt is jelenti, hogy alapvetően más kérdéseket fogunk fontosnak tekinteni, mint most. De hát a tudomány története többek között arról szól, hogy változik, hogy mi számít "jó" és mi "rossz" kérdésnek: Kepler például még indokoltnak tartotta azzal foglalkozni, hogy miért éppen hat bolygó van (akkoriban a Szaturnusz volt az utolsó ismert). Mi pedig lehet, hogy a kozmológián belül ma olyan kérdésekre keressük a választ, amelyek a jövőben érdektelennek (sőt, hibásnak) fognak számítani.

2013. augusztus 6., kedd

Miért (ne) szeressük a platonizmust?

Még a földönkívüliekkel való kapcsolatfelvételre tett kísérletek is a matematikai platonizmus megnyilvánulásai, amikor számokat – számsorokat küldünk vagy remélünk fogni üzenetként, mondja John D. Barrow Pi in the Sky című könyvében. Kérdés viszont, hogy ez a hozzáállás mennyire szükségszerű.
Értsd: milyen hatása volt és van ennek a felfogásnak a tudományra? Alfred Norton Whitehead egyenesen azt írja, hogy az egész nyugati filozófia története lábjegyzet csupán Platónhoz.
Maga az a feltételezés, mely szerint a matematikai objektumok valamiképpen létezőnek tekinthetőek, abból a szempontból nem is meglepő, hogy a számfogalom kialakulása valamiféle három alma – három körte általánosításából jött létre annak felismerésével, hogy mindkét dologban (a három almában és a három körtében) van valami közös, és ez a „hármasság”.
Vagyis a szám – értelemszerűen – absztrakció, és ehhez jött hozzá az a Püthagorasz-féle elképzelés, hogy egyben mindennek a lényege is; illetve, hogy mivel ez a legfontosabb, ezért léteznie kell. Innentől kezdve pedig az sem tűnt különösebben merész feltételezésnek, hogy a valóság (például a matematika esetében) nem csupán valamiféle silányabb visszatükröződése az igazinak, hanem éppen fordítva. Ami olyan hatásos gondolat volt, hogy Szent Ágoston például bizonyos értelemben még Istennél is „nagyobbnak” tekintette a matematikát, amikor azt fejtegette, hogy a 6-os szám nem azért kitüntetett, mert Ő hat nap alatt teremtette a világot, hanem azért teremtette hat nap alatt, „mert ez a szám tökéletes, és akkor is tökéletes maradna, ha a hat napos teremtésre nem került volna sor”. Vagyis Augustinus nem azt a megoldást választotta, ahol Isten elhatározásának köszönhetően tökéletes szám a 6-os.
Közbevetőleg: ma amikor arról beszélünk, hogy a Világmindenség nem számítógép-e, akkor ugyanígy arra kérdezünk rá, hogy a valóságot a matematika alapozza-e meg (és ez biztos tetszett volna Püthagorasznak); és eközben az a kérdés is felmerül, hogy ha „teremtünk” egy komputációs világmindenséget, akkor menyire szólhatunk bele a felépítésébe. Azt nyilvánvalóan megtehetjük, hogy a fénysebességre más értéket adunk meg; de vajon azt is megtehetjük-e, hogy olyan teret alkotunk, ahol a síkot (ellentétben a miénkkel) szabályos ötszögekkel tökéletesen le lehet fedni? Amire a platonista matematikus minden bizonnyal azt válaszolná, hogy nem.
Márpedig még Gödel is az ún. episztemológiai platonizmus híve volt azt állítva, hogy ugyanúgy érzékelni tudjuk a matematika valóságát, mint a minket körülvevő fizikai világét…
Pedig a platóni ideák koncepciója legalább két szempontból: egy speciális és egy általános okból is védhetetlen. Ami az előbbit illeti, itt az a gond, hogy feltételezhetjük ugyan, hogy bármely kör, amelyet jól – rosszul megrajzolunk, csupán egy ideális kör tökéletlen utánzata – de vajon miért ne tételezhetnénk fel, hogy a tökéletlen körnek megvan a maga, tökéletlen kört formáló ideája, míg a tökéletes kör mögött egy másik idea található? Vagy éppen az 1 cm sugarú körnek nem lehetne-e ugyanúgy külön ideája, mint a 2 centiméter sugarúnak, ahelyett, hogy mindkettőt az általában vett kör ideájára vezetnénk vissza? Ha nem mondjuk meg, hogy mi alapján általánosítunk, akkor bármiről kijelenthetjük, hogy annak „külön ideája” van.
És hasonlóképpen: Poincaré említi, hogy a platonista Charles Hermite francia matematikus „azzal vádolta Cantort, hogy objektumokat kreál ahelyett, hogy egyszerűen felfedezné őket”. Hermite számára az volt a probléma, hogy ha a matematikai ideák léteznek (miként ő is hitte), akkor a matematikus nyilván nem ki-, hanem csak megtalálja őket.
Viszont ha jobban belegondolunk, akkor ez vád tarthatatlannak fog bizonyulni, hiszen hogyan is jelenthetné ki Hermite biztosan, hogy mindazok a dolgok (és végtelenek), melyekre Cantor rábukkant, nem léteznek az eukleidészi objektumokhoz hasonlóan az ideák világában?
Vagyis semmire nem megyünk a platonista koncepcióval. A kognitív tudománnyal foglalkozó Aaron Sloman egyenesen úgy fogalmaz, hogy a platonista matematikai objektumokról folytatott vita értelmetlen, ugyanis, „miként számos más filozófiai vita is, azon a hibás feltételezésen alapul, hogy hogy van egy pontosan definiált koncepciónk [ebben az esetben a ’matematikai objektumokról’], amely lehetővé teszi, hogy olyan kérdést fogalmazzunk meg, amelyre van definitív válasz”. Azaz a matematikai platonisták ez esetben egy általános filozófiai hibát követnek el.
Pedig elképzelhető lett volna más megoldás is. Plutarkhosz említi, hogy Eudoxosz és Arkhitasz, a „mechanika művészetének” megalkotói „elegáns bizonyítást adtak a mechanika segítségével [olyan] geometriai igazságokra… melyek túl komplikáltak lettek volna a szavak vagy diagramok számára” ahhoz, hogy bebizonyítsuk. Mivel azonban Platón nem fogadta el ezt a megközelítést, „a mechanika elkülönült a geometriától, és mivel a filozófusok elutasították… a hadi művészetek része lett”.
Viszont ha nem így történt volna, akkor kérdés, hogy az eszünkbe jutna-e, hogy a matematikát mindenki számára és mindenütt egyformán igaz egyetemes nyelvnek tekintsük. Tehát egyfelől talán nem éreznénk úgy, hogy a segítségével van esélyünk felvenni a kapcsolatot egy esetleges idegen civilizációval. Másfelől viszont kérdéses az is, hogy eljutottunk volna-e a jelenlegi, átmatematizált természettudományokhoz anélkül is, hogy a platonista felfogást követve feltételeznénk, hogy a matematika alkalmas a valóság leírására. Nekem az az érzésem, hogy nem, de ez persze csak egy érzés, tehát lehet, hogy tévedek.
Abban azonban biztos vagyok, hogy legalább eltűnődni mindenképpen érdemes azon, hogyaz a matematikai természettudomány, amely idáig jól használhatónak bizonyult, vajon a jelenlegi és jövőbeni természettudományos problémák megoldására is ugyanolyan alkalmas lesz-e. És erre válaszolhatjuk azt, hogy miért is lenne: ezek mások, mint amikkel ötven vagy ötszáz évvel ezelőtt küszködtünk, és amelyek esetében bevált. Samir Okasha a tudományfilozófiáról írva úgy fogalmaz, hogy „ellentétben azzal [a maggyőződéssel], hogy a tudósnak nagyszámú olyan alternatív megoldásból kell választania a megfigyelési adatai értelmezésekor, gyakran az okoz gondot, hogy legalább egy elméletet találjunk, amely adekvát módon illeszkedik az adatokhoz.” Azaz ismét csak oda jutunk, hogy ha nem fogadjuk el a platonizmust, akkor vajon miért lenne szükségszerű annak az elfogadása, hogy minden természettudományos kérdésre választ kaphatunk a révén?