Un student la stiinta calculatoarelor a castigat un premiu faimos de matematica in valoare de 25.000 $ demonstrand ca un simplu calculator matematic poate fi folosit ca o "masina universala de calcul".

Dovada consista intr-un model matematic cunoscut su denumirea de `masina Turing` un concept studiat initial de matematicianul Alan Turing in ani 1930. Unele tipuri de masini Turing sunt computere universale - cu o anumita memorie si timp ele pot rezolva aproape orice problema matematica.

Matematicianul Stephen Wolfram vorbe ain cartea sa din 2002 "A New Kind of Science" despre o masina Turing care foloseste doar 3 simboluri diferite in calculele sale.

In mai 2007 Wolfram a anuntat ca da un premiu de 25.000 de dolari celui care ii va demonstra ca aceasta masina Turing este si universala. Alte masini Turing sunt deja cunoscute ca au aceasta proprietate, insa in aceste cazuri dovada a fost adusa de matematicieni cu experienta.

Rezolvarea data de Alex Smith care studiaza electronica si informatica la Universitatea Birmingham, Anglia demonstreaza ca masina este echivalentul unui alt instrument matematic deja cunoscut ca fiind un computer universal.

Solutia impresioneaza pe matematicieni insa Wolfram spune ca nu este doar o problema teoretica. Masinile Turing sunt modele libere pentru automatisme moleculare - instrumente simple de calcul construite din ADN sau alte molecule biologice - aratand ca si cea mai simpla masina este capabila sa fie un computer universal sugereaza ca este la fel de posibil ca o versiune moleculara simpla sa formeze intr-o zi baza unei noi specii de computere, spune Wolfram.

Studentul a rezolvat problema in timpul vacantei de vara, dupa doar o luna dupa lansarea concursului. El a fost sustinut de mama sa stiind ca " este tipul de lucruri la care se pricepe": Smith cunoaste 20 de limbaje de programare diferite dintre care 6 le denumeste singur "ezoterice".

Wolfram recunoste ca nu numai rapiditarea rezolvarii l-a surprins ci mai degraba varsta si expertiza castigatorului.

"Suntem de asemenea la sfarsitul unei cautari care a inceput de mai mult de jumatate de secol pentru a gasi cea mai simpla masina Turing"

De la crearea unei masini pentru o singura operatiune s-a putut evolua catre o masina simpla care poate efectua diferite tipuri de operatii.