Verzija na datum 11 mart 2013 u 14:50 uredi Addbot (razgovor \| doprinos) 46.972 izmene m Bot: migracija 27 međuwiki veza sada dostupnih na stranici d:q309157 na Wikidati ← Starija izmjena		Aktualna verzija na datum 10 juni 2013 u 20:47 uredi poništi Kolega2357-Bot (razgovor \| doprinos) 64.473 izmene m Bot: popravljanje preusmjeravanja
Red 1: 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~~kompjuter\|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, sva 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.

Church-Turingova teza – razlika između verzija