Church-Turingova teza: razlika između inačica

U [[teorija izračunljivosti (računarstvo)|teoriji izračunljivosti]], '''Church-Turingova teza''' (poznata i kao '''Churchova teza''', '''Churchova konjektura''' te '''Turingova teza''') je [[hipoteza]] o prirodi [[računalo|računala]], kao što je digitalno računalo ili ljudsko biće sa olovkom i papirom, a koji se podvrgavaju skupu pravila. [[Teza]] tvrdi da je bilo koji izračun koji je uopće moguć, moguće napraviti [[algoritam|algoritmom]] koji se izvršuje na računalu, uz dostatne vremenske i prostorne resurse. Teza ne može biti matematički dokazana, te se stoga ponekad predlaže kao [[fizikalni zakon]] ili kao definicija.

Neformalno, '''Church-Turingova teza''' iskazuje da se intuitivna predodžba [[algoritam|algoritma]] može precizirati, te da računala mogu izvršavati te algoritme. Nadalje, računalo teoretski može izvršavati bilo koji algoritam. Drugim riječima, svesva uobičajena računala su međusobno ekvivalentna u terminima teoretske računske moći, i stoga nije moguće izgraditi uređaj za računanje koji će biti moćniji od najjednostavnijeg računala ([[Turingov stroj|Turingovog stroja]]). Valja uočiti da ova formulacija moći zanemaruje praktične faktore kao što su brzina ili memorijski kapacitet - razmatra se sve što je teoretski moguće, uz dano neograničeno vrijeme i memoriju.