Miért nem valódi a matematika. Hadd mondjak el valamit, amit egyetlen fizikus sem mondhat ki hangosan. Valamit, amitől a kollégáim kényelmetlenül érzik magukat. Valamit, ami aláássa mindannak az alapját, amivel a karrierem során foglalkoztam. A matematika nem valódi. Az egyenletek, amiket a táblára írunk, a képletek, amiket a részecskék, bolygók és fekete lyukak viselkedésének előrejelzésére használunk, nem a valóságot írják le. Valami egészen mást írnak le. És a különbség aközött, amit a matematika leír, és aközött, ami ténylegesen létezik odakint az univerzumban, annyira mély, annyira zavarba ejtő, hogy a legtöbb fizikus még gondolni sem mer rá. Leonard Susskind vagyok, és miután 50 évig minden egyes nap matematikával dolgoztam, egyenletekben éltem, szimbólumokban, integrálokban és differenciálgeometriában álmodtam, arra a következtetésre jutottam, ami a lelkemig megráz. Összetévesztettük a térképet a területtel. És a terület, a tényleges fizikai univerzum, talán egyáltalán nem is hasonlít a térképre.
Hadd kezdjem valamivel, ami nyilvánvalónak hangzik, de nem az. Amikor az éjszakai égboltra nézel, csillagokat látsz, fénypontokat a sötétségben szétszórva. Gyönyörű, egyszerű, valóságos. Nos, amikor egy fizikus ugyanazokat a csillagokat nézi, valami egészen mást lát. Magfúziós egyenleteket lát. Hidrosztatikus egyensúlyt lát. A Hertzsprung-Russell diagramot látja. Látja a Stefan-Boltzmann törvényt, a tömeg-fényesség összefüggéseket és a színképosztályozást. Matematikát lát. És itt a kérdés, amit senki sem tesz fel. Ott vannak ezek az egyenletek az égen? A Stefan-Boltzmann törvény ott lebeg a csillag belsejében, és megmondja neki, hogyan ragyogjon? Vagy a matematika valami, amit mi találtunk ki? Valami tisztán emberi dolog, amit rávetítünk az univerzumra, mert az agyunknak mintákra van szüksége a túléléshez. Ez nem egy triviális kérdés. Vitathatatlanul ez a legfontosabb kérdés az egész tudományban. És a fizikusok évszázadok óta kerülik. Először hadd mondjam el a szokásos történetet. Ezt hallod minden fizika előadáson, minden népszerű tudományos könyvben, minden dokumentumfilmben. Így szól: a matematika a természet nyelve. Az univerzum matematikai kódban íródott. Galilei mondta először: a természet könyve a matematika nyelvén íródott. És azóta a fizikusok ezt evangéliumként kezelik. Felfedezünk egy új jelenséget. Írunk rá egy egyenletet. Az egyenlet előrejelzéseket tesz. Az előrejelzések beigazolódnak. Tehát a matematika valóságos. Ott van. Bele van szőve a kozmosz szövetébe. [horkant] Ezt matematikai platonizmusnak hívják. Az az elképzelés, hogy a matematikai objektumok, számok, háromszögek, egyenletek, végtelen dimenziós Hilbert-terek, ezek a dolgok az emberi elméktől függetlenül léteznek, hogy akkor is léteznének, ha soha nem fejlődtek volna ki emberek. Hogy egy kör az kör, függetlenül attól, hogy van-e valaki, aki rajzol egyet. És én is hittem ebben. Tényleg. Amikor fiatal voltam, és először fedeztem fel a matematika erejét a fizika leírásában, kinyilatkoztatásnak tűnt. Mintha olyasmit fedeznék fel, ami mindig is ott volt. Mintha az egyenletek felfedezésre váró igazságok lennének, nem pedig megalkotásra váró találmányok. De minél többet gondolkodtam rajta, annál több problémát látok. Mély, alapvető, megoldhatatlan problémákat azzal az elképzeléssel, hogy a matematika valóságos. Itt az első probléma. A matematika ésszerűtlen hatékonysága.
1960-ban Eugene Wigner fizikus írt egy híres tanulmányt pontosan ezzel a címmel. Valami figyelemre méltóra mutatott rá. A matematika sokkal jobban működik, mint amennyire joga lenne. Tisztán elvont okokból fejlesztünk ki matematikai eszközöket, mindenféle fizikai kapcsolódás nélkül. Aztán évtizedekkel vagy évszázadokkal később ezek az eszközök pontosan azoknak bizonyulnak, amikre szükségünk van egy újonnan felfedezett fizikai jelenség leírásához. Riemann az 1850-es években fejlesztette ki a görbült terek geometriáját, mint tisztán matematikai gyakorlatot. 60 évvel később Einstein a riemanni geometriát használta az általános relativitáselmélet alapjaként. A görbült téridő matematikája ott állt készenlétben évtizedekkel azelőtt, hogy bárki tudta volna, hogy a téridő görbült. A csoportelméletet matematikusok fejlesztették ki az 1800-as években az algebrai egyenletek szimmetriáinak tanulmányozására. Egy évszázaddal később a részecskefizika alapvető nyelvévé vált. Minden általunk ismert alapvető részecskét, minden erőt, minden kölcsönhatást a csoportelméleti tulajdonságai alapján osztályozunk. A matematika 100 évvel megelőzte a fizikát. Nos, ha matematikai platonista vagy, ennek tökéletes értelme van. A matek mindig is ott volt. A matematikusok felfedezték. A fizikusok felfedezték, hogy a természet használja. Gyönyörű történet. De gondolj bele alaposabban. Ha a matematika valóságos, ha létezik odakint valamilyen absztrakt birodalomban, akkor miért csak egy része felel meg a fizikának? Mert itt a dolog, minden olyan matematikai darabra, ami sikeresen leírja a valóságot, több ezer olyan matematikai struktúra jut, ami semmit sem ír le. A matematikusok feltaláltak, vagy ha úgy tetszik, felfedeztek egy hatalmas tájat a matematikai objektumokból, végtelen dimenziós terek egzotikus topológiákkal, nem kommutatív geometriák, szürreális számok, transzfinit kardinálisok, kategóriaelmélet minden absztrakt dicsőségében. Ennek a matematikának a nagy része semminek sem felel meg a fizikai világban, legalábbis tudomásunk szerint. Tehát ha a matematika valóságos, ha tőlünk függetlenül létezik, akkor egy olyan univerzumban élünk, amely csak egy apró, apró töredékét használja az összes lehetséges matematikának, a többi létezik, de nem csinál semmit. Olyan, mintha lenne egy milliárd könyves könyvtárunk, és felfedeznénk, hogy az univerzum csak hármat olvas közülük. Ez furcsa. Ez magyarázatot igényel. És itt a mélyebb probléma, ami évtizedek óta kísért. Amikor azt mondjuk, hogy a matematika leírja a valóságot, mit is értünk ez alatt valójában? Hadd mondjak egy konkrét példát. Vegyük Newton gravitációs törvényét. F = G * M1 * M2 / R^2. Ez az egyenlet megadja a gravitációs erőt két tömeg között. Hihetetlenül pontos a legtöbb hétköznapi helyzetben. Megjósolta a Neptunusz létezését, mielőtt bárki látta volna. Eljuttatott minket a Holdra. De amit az egyenlet nem mond el, az az, hogy mi a gravitáció. Nem mondja el, miért vonzzák egymást a tömegek. Nem mondja el, mi is valójában az erő alapvető szinten. Ad egy számot. Ez egy nagyon pontos szám. De egy szám nem magyarázat. Egy szám nem valóság. Ez egy leírás. Óriási a különbség. Aztán jött Einstein, és azt mondta, Newton tévedett. A gravitáció egyáltalán nem erő. Hanem a téridő görbülete. A tömeg megmondja a téridőnek, hogyan görbüljön. A téridő megmondja a tömegnek, hogyan mozogjon. Gyönyörű, mélyebb és alaposabb leírás. De figyeld meg, mi történik. A matematikai leírás teljesen megváltozott. Newton egyenletét Einstein téregyenletei váltották fel. Teljesen más matematika. A fizikai jelenség, a dolgok leesése, a bolygók keringése, egyáltalán nem változott. Az univerzum nem változott. Csak a matematikai leírásunk változott. És Einstein egyenletei pontosabbak, mint Newtonéi. De még mindig nem tökéletesek. Összeomlanak a szingularitásoknál. Összeegyeztethetetlenek a kvantummechanikával. Egy napon arra számítunk, hogy valami még mélyebb fogja felváltani őket. Egy kvantumgravitációs elmélet, egy újabb matematikai keretrendszerrel. Tehát itt a kérdésem. Ha a matematika folyamatosan változik, ha folyamatosan lecseréljük az egyik egyenletkészletet a másikra, mindegyik pontosabb, mint az előző, de mindegyik alapvetően más szerkezetű, akkor milyen értelemben valóságos bármelyik matematikai készlet? Newton matematikája 200 évig volt valóságos. Aztán már nem. Einstein matematikája 100 éve valóságos. Egy nap már nem lesz az. Ha a matematikai valóság folyamatosan kicsúszik a lábunk alól. Talán soha nem is volt valóság. Talán mindig is csak közelítés volt. Hasznos, erőteljes, elképesztően pontos közelítés. De mindazonáltal közelítés.
Hadd menjek tovább. Vegyük a kvantummechanikát. A tudomány történetének legsikeresebb elmélete. Előrejelzéseit 12 tizedesjegy pontossággal igazolták. Tizenkettő. Ez olyan, mintha New York és Los Angeles közötti távolságot egy emberi hajszál szélességének pontosságával jósolnánk meg. És a kvantummechanika tiszta matematika. A hullámfüggvény, a Hilbert-terek, a Hermite-operátorok, a komplex valószínűségi amplitúdók. Ezek egyikének sincs nyilvánvaló megfelelője a mindennapi valóságban. Nem mutathatsz rá egy hullámfüggvényre. Nem érinthetsz meg egy Hilbert-teret. Nem fényképezhetsz le egy valószínűségi amplitúdót. Ezek matematikai absztrakciók. És mégis működnek. Hihetetlen pontossággal jósolják meg a kísérletek kimenetelét. Ezek képezik az alapját minden modern technológiának. Minden számítógépes chipnek, minden lézernek, minden MRI-készüléknek. De itt a zavarba ejtő dolog. Nem tudjuk, mit jelent a kvantummechanika. Tudjuk, mit jósol. Tudjuk, hogyan kell használni, de fogalmunk sincs, mit mond nekünk a valóságról. A hullámfüggvény, valóságos? Létezik odakint az univerzumban? Vagy csak egy matematikai eszköz a valószínűségek kiszámítására? Ez a mérési probléma, az értelmezési probléma. És közel száz évnyi vita után a fizikusok még mindig nem értenek egyet. Vannak, akik azt mondják, a hullámfüggvény valóságos, hogy ez a legvalóságosabb dolog. Ez a sokvilág-értelmezés, ahol minden kvantumlehetőség megvalósul a valóság valamelyik ágán. Mások azt mondják, a hullámfüggvény csak információ. Azt kódolja, amit egy rendszerről tudunk, nem azt, ami a rendszer. Ez inkább a koppenhágai vagy a kubista értelmezéshez áll közelebb. Megint mások azt mondják, a hullámfüggvény egy matematikai fikció, ami helyes előrejelzéseket produkál, de nem felel meg semmi fizikainak. Ezek nem apró nézeteltérések a részletekről. Ezek alapvető nézeteltérések a valóság természetéről. És itt a csavar. Mindezek az értelmezések pontosan ugyanazokat az előrejelzéseket teszik. Nem tervezhetsz olyan kísérletet, ami különbséget tenne közöttük. A matematika ugyanaz, függetlenül attól, hogy melyik értelmezést választod. Gondolj bele, mit jelent ez. A matematika tökéletesen működik, de nem mondja el, mi a valóság. Több, teljesen különböző kép a valóságról összeegyeztethető ugyanazzal a matematikával. A matematika aluldeterminálja a valóságot. Korlátozza a lehetőségeket, de nem határozza meg, mi a tényleges. Ha a matematika lenne a valóság, ha az egyenletek lennének az igazság, akkor nem kellene több értelmezésnek lennie. Egy képnek kellene lennie, egy valóságnak. Az egyenleteknek meg kellene mondaniuk, mi létezik. De nem teszik. Megmondják, mit fogunk mérni. És amit mérünk, az nem ugyanaz, mint ami létezik.
Most pedig hadd meséljek valamiről, ami jelentősen elmélyíti ezt a rejtélyt. A szimmetria szerepe a fizikában. A modern fizika szimmetriaelvekre épül. A részecskefizika standard modellje, az az elmélet, amely leír minden ismert részecskét és minden ismert erőt a gravitáció kivételével, teljes mértékben a mértékszimmetriákra épül. Ezek matematikai szimmetriák, absztrakt transzformációk, amelyek változatlanul hagyják az egyenleteket. És a részecskék, a fizikai dolgok, azok a dolgok, amelyek ténylegesen léteznek és laboratóriumokban detektálhatók, ezeknek a szimmetriacsoportoknak a reprezentációi. De itt a furcsaság. A szimmetriák valósak, vagy a leírásunk jellemzői? Vegyük a mértékszimmetriát az elektromágnességben. A matematikai leírásoknak végtelen családja létezik, amelyek mind ugyanazokat a fizikai előrejelzéseket adják. Megváltoztathatod a mértéket, a matematikai leírást tetszőleges módon, és az egész fizika ugyanaz marad. Csak bizonyos kombinációk, bizonyos mérték-invariáns mennyiségek felelnek meg bármi fizikainak. A többi matematikai redundancia. Azért tesszük bele, hogy az egyenletek működjenek. Nincs odakint a világban. A világról alkotott leírásunkban van. Ez mélységesen rejtélyes. A legfundamentálisabb elméletünk, a standard modell, olyan mértékszimmetriákra épül, amelyek precíz értelemben nem valósak. A matematikai formalizmusunk műtermékei. A [horkant] valódi fizika, a mérhető fizika mérték-invariáns. Nem törődik a matematikai redundanciával, amit bevezettünk. Tehát a legmélyebb elméleteinket olyan matematikai struktúrákra építjük, amelyekről tudjuk, hogy részben fiktívek. Tudjuk, hogy a mértékszabadság nem fizikai. Matematikai kényelemből tesszük oda. És mégis, az elmélet látványosan jól működik. Mit árul el ez nekünk a matematika és a valóság kapcsolatáról? Azt hiszem, azt mondja nekünk, hogy a matematika egy eszköz. Látványosan erőteljes eszköz, de mégiscsak egy eszköz. Mint egy kalapács. Egy kalapács hihetetlenül hasznos a szögek beveréséhez, de a kalapács nem a szög. A kalapács nem a fal. A kalapács nem a ház, amit építesz. Az a dolog, amivel a házat építed. A matematika az a dolog, amivel az univerzumról alkotott megértésünket építjük, de nem maga az univerzum.
Hadd mondjak egy hasonlatot, ami szerintem megragadja, mi is történik. Gondolj egy térképre, egy jó térképre mondjuk Londonról. Megmutatja az utcákat, a parkokat, a folyót, az épületeket. Hihetetlenül hasznos. Egy jó térképpel az egész várost bejárhatod. A térkép előrejelzéseket tesz. Ha ezen az utcán észak felé sétálsz három háztömbnyit és balra fordulsz, eléred a parkot. És ezek az előrejelzések beigazolódnak. De a térkép nem London. A térkép papírból és tintából készült. London betonból, téglából és történelemből áll. A térkép Londont reprezentálja. Rendszeres, megbízható módon megfelel Londonnak. De vannak olyan dolgok Londonban, amiket egyetlen térkép sem ragad meg. A Temze illata, a forgalom zaja, az eső érzése az arcodon. A térkép kétdimenziós. London háromdimenziós. A térkép statikus. London dinamikus. Nem számít, milyen részletesre készíted a térképet, soha nem lesz London. A matematika az univerzumról alkotott térképünk. És mint minden térkép, megragadja a terület bizonyos jellemzőit, másokat pedig kihagy. Azokat a jellemzőket, amiket megragad, lélegzetelállító pontossággal ragadja meg. De a jellemzők, amiket kihagy, lehet, hogy a legfontosabbak. Mit hagy ki? Talán a tudatot, talán az anyag belső természetét, talán az okot, amiért egyáltalán létezik valami. Talán azt a dolgot, ami a jelen pillanatot különlegesnek érezteti, annak ellenére, hogy a blokk-univerzum szerint nem az. A matematika struktúrát és kapcsolatokat ad nekünk. Megmondja, hogyan viszonyulnak a dolgok egymáshoz. A tömeg az energiához az E=mc² képlettel kapcsolódik. De nem mondja meg, mi az energia. Nem alapvetően, nem önmagában. Megmondja, hogyan alakul át az energia, hogyan marad meg, hogyan áramlik egyik formából a másikba. De maga a dolog, a cucc, amit a matematika leír, rejtélyes marad.
Ez elvezet valamihez, amit őszintén zavarónak találok. És ezt nem mondom könnyedén. Mi van, ha az univerzum egyáltalán nem matematikai? Mi van, ha a matematika nem azért működik, mert a valóság matematikából van, hanem azért, mert az agyunk olyan? Gondolj bele. Az agyunk a túlélésre fejlődött ki. Élelmet találni, elkerülni a ragadozókat, tájékozódni a terepen, megjósolni más emberek viselkedését. És az agyunk ezt a mintafelismerésen keresztül teszi. Mi mintafelismerő gépek vagyunk. Mindenhol mintákat látunk, még ott is, ahol nincsenek. Csillagképeket a véletlenszerű csillagokban, arcokat a felhőkben, jelentést a zajban. A matematika a valaha kifejlesztett legkifinomultabb mintafelismerési forma. Fogja az univerzum nyers káoszát és rendet kényszerít rá. Számokat, kategóriákat, kapcsolatokat, struktúrákat. És azért működik, mert az univerzum azokon a skálákon, amelyeken érzékelni fejlődtünk, valóban rendelkezik szabályszerűségekkel. A tárgyak előrejelezhetően esnek le. Az évszakok ciklikusak. A ragadozók előrejelezhető útvonalakon követik a zsákmányt. De a szabályszerűségek lehetnek közelítőek. Lehetnek lokálisak. Lehetnek a mi méretarányunk, energiarendszerünk, a kozmoszunk sarkának jellemzői, nem pedig az alapvető valóság jellemzői. És a matematikai struktúrák, amiket építünk, hogy megragadjuk ezeket a szabályszerűségeket, pontosan azok lehetnek: struktúrák, amiket mi építünk, nem pedig struktúrák, amiket felfedezünk.
Itt van egy bizonyíték erre a nézetre, amit meggyőzőnek találok. A matematikai paradoxonok. Ha a matematika a valóság egyik jellemzője lenne, ha az emberi elméktől függetlenül létezne, akkor következetesnek kellene lennie. A valóság nem mond ellent önmagának, de a matematika igen. Gödel nemteljességi tételei 1931-ben bebizonyították, hogy bármely kellően erős matematikai rendszer vagy ellentmondásos, vagy nem teljes. Vagy ellentmondásokat tartalmaz, vagy vannak olyan igazságok, amiket nem tud bizonyítani. Ez nem egy apró technikai eredmény. Ez a matematikai rendszerek alapvető korlátja. Azt jelenti, hogy a matematika nem lehet teljes, önmagában zárt leírása semminek, beleértve önmagát sem. Russell paradoxona megmutatta, hogy a naiv halmazelmélet, az akkori matematika alapja, önellentmondásos volt. A halmaz, ami minden olyan halmazt tartalmaz, ami nem tartalmazza önmagát, tartalmazza-e önmagát? Ha igen, akkor nem. Ha nem, akkor igen – ellentmondás. A matematikusok ezt kifinomultabb axiómarendszerekkel foltozták be. De a foltok pontosan azok: foltok, emberi döntések arról, hogyan formalizáljuk a matematikát. Különböző axiómarendszerek különböző matematikát adnak. A kiválasztási axióma például, elfogadhatod vagy elutasíthatod. Mindkét lehetőség egy következetes matematikai rendszert ad, de nagyon különböző tulajdonságokkal. Ha a matematika valóságos lenne, akkor ténykérdésnek kellene lennie, hogy a kiválasztási axióma igaz-e. De nem az. Ez egy választás, egy emberi választás. Ez nem úgy hangzik, mint egy már létező valóság felfedezése. Ez úgy hangzik, mint egy eszköz építése és annak eldöntése, hogy mely funkciókat tartalmazza.
És akkor ott van a végtelen. A matematika tele van végtelenekkel, végtelen halmazokkal, végtelen sorokkal, végtelen dimenziós terekkel. És ezek a végtelenek elengedhetetlenek a fizikában használt matematikához. A kvantumtérelmélet, a standard modellt megalapozó elmélet, tele van végtelenekkel. A számítások rutinszerűen végtelen eredményeket adnak, amiket aztán renormalizálnunk kell. Lényegében kivonunk egy végtelent egy másikból, hogy véges eredményt kapjunk. Richard Feynman, aki segített kifejleszteni a renormalizációt, "dilis folyamatnak" nevezte. Udvarias volt. Működik. A renormalizáció utáni előrejelzések a legpontosabbak az egész tudományban. De az a tény, hogy a nyers matematika nonszenszt, végtelent produkál, és manuálisan kell beavatkoznunk, hogy értelmet nyerjünk ki belőle, ennek aggasztania kellene minket. Ha a matematika a természet nyelve lenne, ha az egyenletek közvetlenül a valóságot írnák le, miért beszélne a természet végtelenekben, amiket manuálisan el kell távolítani? Azt hiszem, a válasz az, hogy a természet nem beszél végtelenekben. A természet azt teszi, amit a természet tesz. A végtelenek a matematikai leírásunk műtermékei. Azért jelennek meg, mert a matematikai eszközeink tökéletlen reprezentációi annak, ami a mögöttes valóság valójában. Az eszköz bizonyos határoknál elromlik, és mi megfoltozzuk. De a valóság tökéletes leírásának nem kellene foltozásra szorulnia. Ezért hiszi oly sok fizikus, hogy a kvantumtérelmélet minden sikere ellenére nem a végső szó. Kell lennie egy mélyebb elméletnek. Talán a húrelmélet, talán valami, amit még el sem képzeltünk, ahol a végtelenek nem jelennek meg, ahol a matematika tisztább. De vedd észre, még ez a remény is feltételezi, hogy létezik egy tökéletes matematikai leírás. Ez a platonista feltételezés, és nem vagyok benne biztos, hogy jogosult.
Hadd meséljek valamiről a saját munkámból, ami mindezt átgondolásra késztetett. A fekete lyuk információs paradoxona. Az 1970-es években Stephen Hawking megmutatta, hogy a fekete lyukak sugároznak. Hősugárzást bocsátanak ki és lassan elpárolognak. És azzal érvelt, hogy ez a folyamat információt semmisít meg. A fekete lyukba esett dolog kvantumállapota örökre elvész, amikor a fekete lyuk elpárolog. Ez ellentmondott a kvantummechanika egyik alapelvének, miszerint az információ mindig megmarad. Éveket töltöttem a probléma megoldásával. Végül én és mások azzal érveltünk, hogy Hawking tévedett. Az információ nem semmisül meg. A Hawking-sugárzás finom korrelációiban kódolódik. Az információ kijut. A kvantummechanika megmarad. De ami megdöbbentett az évek során, az az volt, hogy az egész vita matematikában, egyenletekben, számításokban, gondolatkísérletekben zajlott, amelyeket formalizmusba ültettek át. És minden szakaszban a matematika kétértelmű volt. Különböző matematikai megközelítések különböző válaszokat adtak. Hawking számításai egy dolgot mondtak. A húrelméleti számítások mást. Mindkettő matematikailag szigorú volt. Mindkettő belsőleg következetes volt. De nem lehetett mindkettőnek igaza a fizikai világról. A matematika nem oldotta meg a paradoxont. A matematika teremtette a paradoxont. A paradoxon azért létezik, mert több matematikai keretrendszerünk van, az általános relativitáselmélet és a kvantummechanika, amelyek egyenként sikeresek, de kölcsönösen összeegyeztethetetlenek. Ha a matematika valóság lenne, ennek nem szabadna megtörténnie. A valóság nem mond ellent önmagának. De a valóságról alkotott matematikai leírásaink abszolút ellentmondanak.
Most pedig szeretnék valamit nagyon világossá tenni. Nem azt mondom, hogy a matematika haszontalan. Nem azt mondom, hogy el kellene hagynunk az egyenleteket és vissza kellene térnünk a kvalitatív kézlegyintésekhez. A matematika az emberiség által valaha kifejlesztett legerősebb eszköz a természeti világ megértéséhez. Semmi más nem ér a közelébe. De egy eszköz nem az a dolog, amin működik. Egy mikroszkóp felfedi az élő szövet sejtszerkezetét. De a mikroszkóp nem a sejt. A sejtek a mikroszkóptól függetlenül léteznek. És ha egy másfajta mikroszkópot építenél, egy elektronmikroszkópot egy optikai helyett, ugyanazoknak a sejteknek más jellemzőit látnád, más felbontást, más szempontokat fedne fel. Mindkettő valós, mindkettő részleges. A matematikai elméleteink olyanok, mint a különböző mikroszkópok. Mindegyik a fizikai valóság bizonyos aspektusait fedi fel rendkívüli pontossággal. De mindegyiknek vannak vakfoltjai, korlátai, skálái, ahol összeomlik, és az általuk feltárt szempontok talán nem minden, ami létezik. Lehetnek a valóságnak olyan jellemzői, amelyeket egyetlen matematikai mikroszkóp sem tud megragadni. Nem azért, mert még nem találtuk meg a megfelelő matematikát, hanem azért, mert a matematika természeténél fogva csak bizonyos típusú jellemzőket képes megragadni. Szerkezeti jellemzőket, relációs jellemzőket, mennyiségi jellemzőket. Mi a helyzet a minőségi jellemzőkkel? A piros pirossága, a fájdalom fájdalmassága, a most mostanisága. Ezek a valóság valódi jellemzőinek tűnnek, de egyetlen egyenlet sem ragadja meg őket. Egyetlen matematikai struktúra sem magyarázza meg, milyen érzés a kék színt látni. Leírhatod a hullámhosszt. Modellezheted az idegi feldolgozást. Írhatsz egyenleteket a szembe jutó elektromágneses sugárzásra. De egyik sem mondja el, hogy néz ki a kék. Ez a tudat nehéz problémája, és kísérti a matematika és a valóság kapcsolatát. Ha a matematika valóban a természet nyelve lenne, ha a valóság alapvetően matematikai lenne, akkor a tudatnak levezethetőnek kellene lennie az egyenletekből. De nem az. Évszázados fizika és évtizedes idegtudomány után sincs matematikai leírásunk a szubjektív tapasztalatról. Nem azért, mert nem próbálkoztunk elég keményen. Hanem azért, mert az a fajta dolog, ami a tudat, talán nem az a fajta dolog, amit a matematika leírhat.
És ez valami még radikálisabbhoz kapcsolódik. Az az elképzelés, hogy a matematika nem azt írja le, amiből a valóság készült. Azt írja le, hogyan viselkedik a valóság. Ez egy döntő különbség. A viselkedés külsőleges. Az, amit kívülről megfigyelsz. Az, amit egy rendszer tesz, hogyan reagál. A struktúra az, amit feltérképezhetsz és megmérhetsz. De a dolgok belső természete, amik önmagukban. Ez talán minden matematikai leírás hatókörén kívül esik. Bertrand Russell, az egyik legnagyobb matematikai logikus, aki valaha élt, jött rá erre az 1920-as években. Rámutatott, hogy a fizika a fizikai világ kauzális szerkezetéről mesél nekünk, arról, hogyan viszonyulnak az események egymáshoz, de semmit sem mond az érintett entitások belső természetéről. Tudjuk, hogyan viselkednek az elektronok. Ismerjük a töltésüket, tömegüket, spinjüket. De nem tudjuk, mi az elektron, nem önmagában. Ismerjük a matematikai tulajdonságait, de a matematikai tulajdonságok relációsak. Megmondják, hogyan viszonyul az elektron más dolgokhoz. Nem mondják meg, mi az, amikor csak elektron, és nem lép kölcsönhatásba semmivel. Ez a szakadék a matematikai leírás és a belső természet között talán betölthetetlen. Nem azért, mert a tudomány korlátozott, hanem azért, mert a matematika tervezésénél fogva kapcsolatokat és struktúrákat ragad meg. Ezt csinálja a matematika, és ez hihetetlenül erőteljes. De ha a valóságnak van egy belső aspektusa, ami túlmutat a kapcsolatokon és struktúrákon, akkor a matematika mindig hiányos lesz a valóság leírásaként. Nem rossz, nem haszontalan, örökre hiányos.
Néhány fizikus nem fog egyetérteni velem. Azt fogják mondani: "Lenny, tévedsz. A matematika a valóság. Az univerzum egy matematikai struktúra." Max Tegmark az MIT-n pontosan ezt javasolta. A matematikai univerzum hipotézise szerint a fizikai univerzum nem csupán matematikai tulajdonságokkal rendelkezik. Az egy matematikai struktúra. Se több, se kevesebb. Minden létező matematikai struktúra – és a platonizmusban mind létezik – egy fizikai univerzum. Mi csak véletlenül egy bizonyos struktúrában lakunk. Ez egy merész ötlet. Ezt elismerem Maxnak. És logikailag lehetséges, de mélységesen kielégítetlennek találom, mert ha az univerzum egy matematikai struktúra, mi teszi fizikailá? Mi ad neki szubsztanciát? Mi teszi többé, mint egy absztrakt mintázat valamely platóni birodalomban? A matematikai struktúrák, ha egyáltalán léteznek a platóni értelemben, kauzálisan tehetetlenek. Nem csinálnak semmit. Nem változnak. Nem fejlődnek. Csak vannak, időtlenül és örökké. De a fizikai univerzum csinál dolgokat. Fejlődik. Történelme van. Csillagokat, bolygókat és embereket hoz létre. Valami az univerzumunkban több, mint struktúra. Valami tüzet lehel az egyenletekbe, ahogy Hawking egyszer fogalmazott. És az a tűz, bármi is legyen az, nem ragadható meg magukkal az egyenletekkel.
Ide jutottam. 50 év után a matematika az emberiség legnagyobb találmánya, nem felfedezése, hanem találmánya. Mi hoztuk létre. Mi építettük. Évezredek alatt finomítottuk, egyre kifinomultabb eszközöket fejlesztve a természetben megfigyelt minták leírására. És ezek az eszközök elképesztően jól működnek. Előrejeleznek, magyaráznak, egyesítenek. Olyan kapcsolatokat tárnak fel, amiket soha nem láthattunk volna másképp. De nem a valóság. Térképek. Ragyogó, gyönyörű, rendkívül részletes térképek. Térképek, amik elvezettek minket a Holdra, az atom belsejébe és a megfigyelhető univerzum szélére. De térképek, amik mindig, elkerülhetetlenül kevesebbek lesznek, mint a terület, amit reprezentálnak. Az univerzum nem matematikából van. Az univerzum abból van, amiből az univerzum van. Valami fizikai, valami konkrét, valami, aminek van létezése és természete, ami túlmutat minden egyenleten, amit valaha is írni fogunk. A matematikát használjuk a leírására. A matematikát használjuk az előrejelzésére. A matematikát használjuk a megértésére, részlegesen, hiányosan, de erőteljesen. És talán ez elég. Talán az a tudás, hogy az eszközeink eszközök, a térképeink térképek, hogy az egyenletek nem a kozmosz, hanem csupán annak a legjobb reprezentációja. Talán ez egyfajta bölcsesség. A tudásunk határainak ismeretének bölcsessége, a legmélyebb elméleteink könnyed kezelésének bölcsessége, tudva, hogy azok közelítések, briliáns közelítések, de közelítései valaminek, ami sokkal furcsább, sokkal gazdagabb, sokkal valóságosabb, mint amit bármely egyenlet valaha is megragadhatna.
Tudod, amikor most az éjszakai égboltra nézek, már nem látok egyenleteket. Régen láttam. Régen láttam a fordított négyzetes törvényt minden csillagfény pontjában. Régen láttam a Boltzmann-eloszlást a csillagok színeiben és a Hubble-állandót a galaxisok vöröseltolódásában. És ezek a dolgok mind ott vannak bizonyos értelemben. Ott vannak a leírásomban arról, amit látok. De amit valójában látok, maga a fény, a retinámat érő fotonok, a távoli napok ősi nukleáris tüze, az valami egészen más. Valami, amit egyetlen egyenlet sem ragadott meg teljesen. Valami, ami létezik, akár ír valaki egyetlen szimbólumot egyetlen táblára, akár nem. Az univerzum itt volt a matematika előtt. Itt lesz, miután az utolsó matematikus is eltűnt. És továbbra is azt fogja tenni, amit tesz, a legnagyobb közömbösséggel azzal kapcsolatban, hogy megvannak-e a megfelelő egyenleteink a leírására. Ez egyszerre alázatra intő és felszabadító. Alázatra intő, mert azt jelenti, hogy a legnagyobb intellektuális teljesítményünk, a matematika, még mindig csak egy árnyék Platón barlangjának falán. És felszabadító, mert azt jelenti, hogy a valóság mélyebb, gazdagabb és rejtélyesebb, mint bármi, amit eddig elképzeltünk. Köszönöm a figyelmet. Menjünk, nézzük meg a csillagokat ma este. És ne feledd, amit látsz, az nem egy egyenlet. Az valami sokkal rendkívülibb annál. Az valódi. Bármit is jelentsen ez.