Razlike između izmjena na stranici "Church-Turingova teza"

Bez izmjene veličine ,  prije 8 godina
m/м
Bot: popravljanje preusmjeravanja
m/м (Bot: migracija 27 međuwiki veza sada dostupnih na stranici d:q309157 na Wikidati)
m/м (Bot: popravljanje preusmjeravanja)
 
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čunalokompjuter|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.
64.473

izmjene