Egy ókori görög paradoxon, amelyet a matematikusok 2000 évig nem tudtak megoldani

Képzelj el egy ókori görögországi stadiont az időszámításunk előtti 5. században. A futópályán ott áll Akhilleusz, a trójai háború híres hőse, akit Homérosz csak „gyorslábúnak” nevez. Mellette pedig, tisztes távolságban, egy teknős. A nézők nevetnek: mégis ki szervez futóversenyt egy hős és egy hüllő között? A verseny szervezője, az eleai filozófus, Zénón azonban megőrzi a komolyságát. Felemeli a kezét, és kihirdeti a feltételt: a teknős előnnyel indul. Akhilleusz pedig soha nem fogja utolérni.

A nézők hahotáznak. Akhilleusz mosolyog. A teknős a jelek szerint szintén nem veszi túl komolyan a helyzetet. Két és fél ezer évvel később azonban ezt a futamot még mindig matematikusok, fizikusok és filozófusok vitatják meg. Zénón ugyanis olyan kérdést tett fel, amelyre az emberiség kétezer éven át nem tudott válaszolni – és amely végül a tudománytörténet egyik leghatásosabb eszméjének megszületéséhez vezetett.

Felkeltette az érdeklődésedet?

Akkor nézzük meg Zénón gondolatmenetét úgy, ahogyan Arisztotelész elbeszéli (maga Zénón eredeti szövege ugyanis nem maradt ránk).

A teknős előrébb indul, mondjuk 100 méterrel. Akhilleusz tízszer olyan gyorsan fut. Azt gondolhatnánk, hogy néhány másodperc alatt utoléri. Zénón azonban azt javasolja, hogy lépésről lépésre kövessük a versenyt.

- Akhilleusz elfut arra a pontra, ahonnan a teknős indult. Ezalatt a teknős már előrébb jutott – tegyük fel, 10 métert.

- Akhilleusz lefutja ezt a 10 métert. A teknős ez idő alatt újabb 1 métert araszol előre.

- Akhilleusz megteszi az 1 métert. A teknős újabb 10 centimétert halad.

- Akhilleusz lefut 10 centimétert. A teknős előrébb jut 1 centiméterrel.

- És így tovább, a végtelenségig.

Itt van a trükk. Valahányszor Akhilleusz eléri azt a pontot, ahol a teknős korábban volt, az már nincs ott. Mindig egy kicsivel előrébb jár. És akárhányszor ismétli meg Akhilleusz ezt a mozdulatot, minden egyes alkalommal oda érkezik, ahol a teknős éppen az imént volt, nem pedig oda, ahol éppen most tartózkodik.

Zénón következtetése: Akhilleusz soha nem éri utol a teknőst. Nem arról van szó, hogy „nagyon sokára éri utol”. Nem is arról, hogy „utoléri, ha végtelenül sokáig fut”. Hanem soha – mert ahhoz, hogy utolérje, végtelenül sok szakaszt kellene megtennie, a végtelent pedig nem lehet véges idő alatt bejárni.

És ezen a ponton minden józan emberben feltámad az ellenérzés. Hiszen pontosan tudjuk, hogy Akhilleusz utoléri. Láttunk már futókat egymást megelőzni. Ki is tudjuk számolni: ha Akhilleusz 10 m/s sebességgel fut, a teknős 1 m/s sebességgel mászik, és a teknős előnye 100 méter a rajtnál, akkor a találkozás nagyjából 11,1 másodperc múlva bekövetkezik. Minden stimmel. Hol van hát a hiba Zénón okfejtésében?

Pontosan ez a kérdés – a „hol a hiba?” – bizonyult annyira nehéznek, hogy a megválaszolása forradalmat követelt a matematikában.

Fontos megérteni, hogy Zénón nem tréfálkozott, és nem a fizikai ismeretek hiánya miatt beszélt így. Parmenidész tanítványa volt – egy olyan filozófusé, aki valami egészen radikális dolgot állított, olyasmit, hogy „a mozgás nem létezik”. A valóság egységes, mozdulatlan és megváltoztathatatlan, mindaz pedig, amit mozgásként és változásként érzékelünk, csupán érzékeink illúziója. Ez tisztán filozófiai gondolat, amit elsőre nem könnyű felfogni, Parmenidészt ezért sokat gúnyolták.

Zénón pedig nem csupán egyet, hanem egy egész sorozatnyi paradoxont talált ki tanítója védelmében. A stratégiája zseniálisan egyszerű volt: bemutatni, hogy ha feltételezzük a mozgás létezését, akkor abszurditásra jutunk. Vagyis a mozgás valóban illúzió. Nem azért, mert Parmenidész ezt mondta, hanem azért, mert maga a logika kényszerít minket erre a belátásra.

Az Akhilleuszról szóló paradoxon csak az egyik ezek közül. Íme még három, amelyek mind ugyanarról szólnak:

„Dichotómia”. Ahhoz, hogy eljuss az A pontból a B pontba, először az út felét kell megtenned. De ahhoz, hogy megtedd a felét, meg kell tenned a felének a felét. És így tovább a végtelenségig. Vagyis a mozgás el sem kezdődhet, mert mielőtt megtennéd az első lépést, végtelenül sok „fél-lépést” kellene megtenned.

„A repülő nyíl”. A repülő nyíl az idő minden pillanatában egy meghatározott helyet foglal el a térben. De ha meghatározott helyet foglal el, akkor abban a pillanatban nyugalomban van. És ha az idő minden pillanatában nyugalomban van, akkor mindig nyugalomban van. Vagyis nincs mozgás: csak nyugalmi állapotok egymásutánja létezik.

„A stadion”. Zénón legravaszabb paradoxona. Nem bocsátkozom részletekbe, mert ez egy újabb hosszú cikket töltene meg, de a lényege az, hogy ha feltételezzük az oszthatatlan „pillanatok” és „pontok” létezését, abból az következik, hogy az idő fele egyenlő az egésszel. Ez a leginkább technikai jellegű paradoxon, és már magára a diszkrét tér és idő elképzelésére mér csapást.

Figyeld meg a közös fogást. Zénón nem tagadja, hogy látjuk a mozgást. Azt állítja, hogy a mozgásról, térről és időről alkotott fogalmaink belsőleg ellentmondásosak, mert ha megpróbáljuk a mozgást logikailag szigorúan leírni, menthetetlenül belefulladunk a végtelenbe.

És tudod mit? Kétezer éven keresztül senki sem tudott neki érdemben és világosan ellentmondani.

Arisztotelész, aki elsőként elemezte részletesen Zénón paradoxonjait, olyan választ javasolt, amely csaknem kétezer évig tartotta magát. Azt mondta: a végtelennek két típusa létezik. Létezik az aktuális végtelen – amikor végtelenül sok objektum egyszerre, „készen” létezik. És létezik a potenciális végtelen – amikor egy folyamat tetszőlegesen sokáig folytatható, de soha nem zárul le teljesen.

Arisztotelész amellett érvelt, hogy a valóságban csak potenciális végtelen létezik. Egy szakaszt kettéoszthatsz, majd megint ketté, és így tovább a végtelenségig – de soha nem kapod meg „az összes végtelen darabkát egyszerre”. Az idő és a tér potenciálisan osztható, de nem aktuálisan. Ezért Zénón érve nem működik: Akhilleusznak nem kell „aktuálisan végtelen” számú szakaszt megtennie – olyan utat tesz meg, amely végtelen sok részre osztható ugyan, de nem azokból áll.

Ez ésszerűen hangzik. Valójában azonban sokkal inkább a kérdésfeltétel megtiltása volt, semmint valódi válasz rá. Arisztotelész lényegében azt mondta: „Ne tekintsétek a végtelent kész objektumnak – és a paradoxon eltűnik”. Arra azonban nem adott magyarázatot, hogy pontosan miként fér el a véges időben a végtelenül sok lépés. És nem adott eszközt sem ennek kiszámítására.

Eszközre pedig szükség lett volna, mert a görögök szó szerint mindenütt szembetalálkoztak a végtelennel. Arkhimédész a kör területének és a gömb térfogatának kiszámításakor a kimerítés módszerét alkalmazta: egyre több oldalú sokszögeket írt az alakzatba, és figyelte, hogy hová tart a területük. Szó szerint egyetlen lépésre volt a határérték fogalmától, de ezt a lépést nem tette meg, mert a görög matematikában a „végtelen” szó (apeiron) szinte illetlennek számított. A görögök tehát látták a problémát, megérezték a megoldását is – ám filozófiai kereteik nem engedték meg a döntő lépés megtételét. Kétezer évet kellett várni arra, hogy valaki merjen a végtelenre számítható objektumként tekinteni.

A valóságban az Akhilleusz-paradoxon kulcsa egyetlen egyszerű ötletben rejlik, amelyet ma már az iskolában tanítanak, akkoriban viszont szinte szentségtörésnek hatott. Nézd meg a távolságokat, amelyeket Akhilleusz Zénón gondolatmenetében lefut: 100 méter, majd 10, majd 1, majd 0,1, majd 0,01... Ez egy végtelen számsorozat, amelyben minden következő tag kisebb az előzőnél.

Zénón azt mondja: ha végtelen sok az összeadandó tag, az összegnek is végtelennek kell lennie. Ez azonban tévedés. Ha az összeadandók kellően gyorsan csökkennek, egy végtelen összeg is lehet véges. Íme a megoldás kulcsa: 100 + 10 + 1 + 0,1 + 0,01 + ... = 111,111... = 111 és 1/9 méter.

Ez egy véges szám! És pontosan ez az a távolság, amelyet Akhilleusznak meg kell tennie, hogy utolérje a teknőst. Így az idő is véges. Akhilleusz utoléri.

Az ilyen összeget konvergens sornak nevezzük. Az a felismerés, hogy végtelen sok összeadás eredményezhet véges eredményt – ez az első építőköve annak, amit később matematikai analízisnek neveztek el.

Itt azonban van egy finomság, ami miatt az egész kérdés további kétszáz évre elhúzódott. Kimondani, hogy „az összeg egyenlő 111 és 1/9-del” – könnyű. De hogyan lehet szigorúan bebizonyítani, hogy ez valóban így van? Mit jelent egyáltalán az, hogy „egy végtelen sor összege”? Hiszen az ember nem tud végtelen sok tagot összeadni – mindig megáll egy véges lépésnél. Pontosan ez a probléma – hogy „mi is az a végtelen összeg” – bizonyult annak az ajtónak, amely mögött az egész matematikai analízis várakozott.

A 17. században Newton és Leibniz – egymástól függetlenül – megalkotta azt, amit ma matematikai analízisnek nevezünk. Eltérő jelölésrendszert használtak (Leibniz „dy/dx” és integrálos jelölése győzedelmeskedett – ma is ezt használjuk), eltérő volt a megközelítésük, és mint ismeretes, hatalmas prioritási vita bontakozott ki köztük, amely egy évszázadra megosztotta a matematikai világot.

Végül azonban az új apparátus segítségével a fizika és a matematika óriási lendületet vett. Newton levezette a bolygómozgás törvényeit. Leibniz általános formában felépítette a differenciál- és integrálszámítást. Olyan problémákat, amelyeket korábban évek zseniális sejtéseivel oldottak meg, hirtelen gyorsan és algoritmikusan meg lehetett oldani.

Akadt azonban egy bökkenő. Sem Newton, sem Leibniz nem tudta szigorúan megmagyarázni, mi is az a „végtelen kicsi”. Számként kezelték: osztottak vele, szoroztak vele, majd elhagyták mint „elhanyagolhatóan kicsit”. De egy olyan szám, amely nem nulla, mégis kisebb bármely pozitív számnál – hát nem képtelenség? Ha nem nulla, akkor van valamilyen értéke. Ha viszont kisebb bármely pozitív számnál, akkor az értéke nulla. Nullával viszont nem szabad osztani!

George Berkeley filozófus, Cloyne püspöke 1734-ben megírta maró hangvételű értekezését „Az elemző” címmel, amelyben porrá zúzta ezt a logikát. A végtelen kicsiket „letűnt mennyiségek kísérteteinek” nevezte, és gúnyosan megkérdezte: miféle mennyiségek ezek, amelyek először nem nullák (hogy lehessen velük osztani), majd hirtelen nullává válnak (hogy el lehessen hagyni őket)?

Ez a kérdés közel 150 éven át nyugtalanította a matematikusokat. A matematikai analízis remekül működött – szabatos elméleti megalapozása azonban hiányzott. Olyan volt ez, mint egy olyan autót vezetni, amelynek nem érted a felépítését: tökéletesen megy, de rejtély, hogy miért.

A szigorú megoldás csak a 19. században érkezett meg – és több generációnyi matematikus munkája állt mögötte. Most nem merülök el a részletekben, nehogy belemenjünk abba a matematikába, amit a többség nem ért, és amit az egyetemisták világszerte elátkoznak az első évfolyamon; a lényeg az, hogy Augustin-Louis Cauchy és Karl Weierstrass erőfeszítéseinek köszönhetően ma már teljes, logikailag kifogástalan választ lehet adni Zénónnak. Röviden és érthetően: a „végtelen sok lépés” nem egyenlő a „végtelen idővel”. Véges idő alatt végtelen sok dolgot el lehet végezni, ha minden következő kevesebb időt vesz igénybe, mint az előző.

Az igazsághoz hozzátartozik, hogy a matematikai analízis feloldotta a paradoxont azzal, hogy rámutatott: nincs benne logikai ellentmondás. Filozófiailag azonban a téma a mai napig nincs lezárva, mivel akadnak kérdések, amelyekről máig vitatkoznak.

• Ha véges idő alatt végtelen sok műveletet el lehet végezni, mi történik utána? Képzelj el egy lámpát, amely ki- és bekapcsol: először 1/2 perc elteltével, majd 1/4, majd 1/8 perc múlva... Az egy perc végére végtelen sokszor kapcsolt át. Ég vagy sem? A logika nem ad választ – ezt Thomson-lámpája paradoxonnak nevezik. Ez rámutat arra, hogy a „véges idő alatt végtelen sok művelet” logikailag ugyan megengedhető, de nem mindig vezet egyértelmű eredményre.

• És mi van akkor, ha a tér és az idő nem folytonos? Ha létezik egy minimális hosszúság (a Planck-hossz, kb. 10⁻³⁵ m) és egy minimális időintervallum, akkor az utat nem lehet a végtelenségig felezni – egy bizonyos ponton beleütközünk a tér alapvető „cellájába”.

• „A nyíl” paradoxonja olyan kérdést vet fel, amely máig fontos a filozófiában: vajon a matematika valóban a mozgást írja-e le, vagy csupán állóképekre bontja azt? A mozgásegyenlet minden egyes pillanatban megadja a helyzetet – maga a mozgás mint folyamat azonban mintha eltűnne ezekből az egyenletekből, és csupán a helyzetek „fényképe” maradna meg. Ez olyan probléma, amelyről ma is zajlik a vita.

Gondolom, idáig nem mindenki jutott el, a levezetés kissé hosszúra és helyenként talán szárazra sikeredett, de aki végigolvasta, az megérdemli az elismerést – és megismeri ezen értekezés legfőbb tanulságát, amely szerint egy jól feltett kérdés olykor értékesebb lehet a gyors válasznál.

Zénón olyan kérdést tett fel, amelyre kortársai nem tudtak felelni. Arisztotelész olyan választ adott, amelyet kétezer éven át elégségesnek tartottak – ám inkább csak kibúvó volt. Arkhimédész egészen közel jutott a megoldáshoz, de az utolsó lépést nem tette meg. Newton és Leibniz létrehozta a működő, ám elméletileg még megalapozatlan eszközt. Berkeley rámutatott a hiányosságra. Cauchy és Weierstrass betömték a rést – és csak ekkor, 2300 évvel Zénón után mondhatta ki végre az emberiség: „Akhilleusz utoléri a teknőst, és íme a szigorú bizonyítás”.

És itt van még egy fontos szempont, amelyre mindig felhívom a figyelmet, valahányszor hasonló történeteket mesélek. A matematikai analízis nem azért született meg, mert valaki meg akarta oldani Zénón paradoxonát. Newton a fizika számára teremtette meg, a bolygók és testek mozgásának leírására. Leibniz a geometria és az általánosítás kedvéért alkotta meg. Ám az egész apparátus alapjában ugyanaz az elgondolás húzódik meg, amelyet Zénón megkérdőjelezett: hogyan foglalhatja magában a véges a végtelent. A derivált nem más, mint határérték. Az integrál összegek határértéke. A számsorok a részletösszegek határértékei (már elnézést). A modern matematika, fizika és mérnöki tudományok teljes ereje – a hidak méretezésétől a klímamodellezésen át a neurális hálók tanításáig – a határérték fogalmára épül, amely abból a kísérletből sarjadt ki, hogy választ adjunk egy látszólag gyerekes kérdésre: „Vajon utoléri-e Akhilleusz a teknőst?”