«Ալգորիթմ»–ի խմբագրումների տարբերություն

Որևէ ֆունկցիայի արժեքներ գտնելու համար նախատեսված ալգորիթմ գոյություն ունի այն և միայն այն դեպքում, երբ այն կարելի է հա՛վարկել Թյուրինգի մեթոդով՝ Թյուրինգի մեքենայի վրա։ Այս թեզը համարվում է աքսիով, և չի կարող խիստ ապացուցվել մաթեմատիկորեն, քանի որ ալգորիթմը հստակ մաթեմատիկական հասկացություն չէ։

 

Ալգորիթմների տարբեր սահմանումներ պարունակում են հետևյալ պահանջները։