|
|
Osnovna hipoteza teorije algoritma
“Bilo koji intuitivni algoritam može se precizirati strogom definicijom koja potpuno prekriva njegov intuitivni sadržaj”. Ovu hipotezu ne možemo strogo dokazati, pre svega zato što u sebi sadrži neprecizan(i samim tim nedovoljno jasan) pojam intuitivnog algoritma. To ustvari govori o tome da sa puno razloga možemo verovati da stroge definicije preciziraju upravo naš intuitivni pojam algoritma.
Svaki algoritam se može zadati u obliku Tjuringove funkcionalne sheme i realizovati na Tjuringovoj mašini sa tom shemom. Ova hipoteza ima karakter prognoze: uvek kad u budućnosti neki postupak bude priznat za algoritam, moći će se predstaviti funkcionalnom shemom i izvršiti na Tjuningovoj mašini.