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.