Se opreste sau nu se opreste? Aceasta este intrebarea - Cristian S. Calude

Aceasta este o carte despre „Problema opririi”, probabil cea mai (ne)faimoasa problema legata de calculatoare: poate un algoritm sa decida intr-un timp finit daca un program arbitrar de calculator se opreste in cele din urma? Pare o intrebare plictisitoare si marunta: la urma urmei, rulezi programul si astepti pana se opreste. Dar ce se intampla daca programul nu se opreste intr-un timp rezonabil, o saptamana, un an, un deceniu? Se poate deduce ca nu se va opri niciodata? Raspunsul este negativ. V-a trezit interesul? Daca nu, poate ar trebui sa consideram aceste intrebari: Poate fi facuta matematica doar de calculatoare? Poate fi testarea software-ului complet automatizata? Poti scrie un program antivirus care niciodata nu are nevoie de actualizari? Putem face Internetul perfect sigur? Ati ghicit: raspunsurile sunt negative. Problema Opririi este „ascunsa” in multe discipline, de la logica (este matematica lipsita de contradictii?), fizica (este aleatorismul cuantic perfect?), la filosofie (au oamenii liber-arbitru sau genereaza creierul nostru gandurile si deciziile in mod determinist?) si calcul cuantic (de ce nu avem o Problema cuantica a Opririi?) – cartea le va aborda pe fiecare dintre acestea. Scrisa intr-un limbaj informal si incitant, sustinuta de ilustratii si aplicatii sugestive si aproape lipsita de complexe formulari matematice (argumentele formale sunt folosite in parti speciale dedicate cititorului orientat catre matematica), cartea va stimula curiozitatea si participarea cititorului interesat de consecintele limitelor calculului si de diversele incercari de a le face fata.