Bilele de biliard și limitele fundamentale ale predicției
Când matematicienii privesc un joc de biliard, nu văd doar un sport de recreere, ci un model computațional. O minge trimisă pe o masă de biliard lovește marginile și urmează reguli fizice simple, însă cercetătorii observă în această mișcare un sistem capabil să reprezinte informație și să efectueze calcule. Întrebarea care a preocupat matematicienii timp de ani de zile a fost dacă un astfel de sistem bidimensional poate funcționa ca un computer universal, capabil să ruleze orice program imaginabil.
Răspunsul este afirmativ. Eva Miranda de la Universitatea Politehnică din Catalonia, Spania, și Isaac Ramos de la ETH Zurich, Elveția, au demonstrat că o masă de biliard bidimensională poate acționa ca o mașină Turing universală, modelul teoretic al tuturor calculatoarelor conceput de matematicianul britanic Alan Turing în 1936. Rezultatele lor au fost publicate în Proceedings of the National Academy of Sciences.
Cum devine o masă de biliard un computer
Miranda și Ramos au realizat o corespondență directă între graful unui program de calculator și o masă de biliard. În acest design, poziția mingii în anumite secțiuni ale mesei reprezintă memoria și starea curentă a computerului. Coridoare înguste conectează diferite zone ale mesei, în timp ce pereți drepți, curbați și cu ondulații continue ghidează mingea în moduri precise pentru a citi date, a le modifica și a trece la pasul următor. Dacă un calcul ajunge la o concluzie, mingea lovește o secțiune desemnată a peretelui, semnalând că programul s-a încheiat.
Deoarece o mașină Turing universală poate procesa orice algoritm, această construcție teoretică arată că o singură minge care ricoșează pe pereți ficși poate simula orice calcul care poate fi efectuat de un astfel de dispozitiv.
„Arătăm că sistemele de biliard bidimensionale pot simula mașini Turing universale”, au scris Miranda și Ramos în lucrarea lor.
Limitele predicției
Dincolo de demonstrarea faptului că traiectorii simple de biliard pot oglindi logica calculului, cercetarea relevă o limită fundamentală a predicției. Deoarece traiectoria mingii acționează ca un program de calculator, unele întrebări despre călătoria sa pe termen lung pot fi echivalente cu a întreba dacă o bucată de cod se va opri vreodată sau va rula la nesfârșit. Informatica a demonstrat deja că niciun algoritm nu poate determina dacă un program dat se va termina.
Prin faptul că o minge care ricoșează poate urma exact aceleași reguli, Miranda și Ramos au arătat că această limită se aplică și unor întrebări despre mișcarea fizică. După cum notează cercetătorii, „indecidabilitatea impune limite fundamentale asupra predicției pe termen lung, completând și extinzând rolul tradițional al haosului”.
În consecință, niciun computer sau algoritm nu poate prezice întotdeauna anumite aspecte ale călătoriei pe termen lung a mingii.
