7 odnosi: Alan Turing, Algoritam, Alonzo Church, Hipoteza, Računalo, Teorija izračunljivosti (računarstvo), Turingov stroj.
Alan Turing
Alan Mathison Turing (London, 23. lipnja 1912. – Wilmslow, 7. lipnja 1954.), bio je britanski matematičar, kriptograf i teoretičar računalstva.
Novi!!: Church-Turingova teza i Alan Turing · Vidi više »
Algoritam
Dijagram algoritma (Euklidov algoritam) za izračunavanje najvećeg zajedničkog djelitelja (NZD) dva broja ''a'' i ''b'' na mjestima nazvanim A i B. Algoritam se nastavlja uzastopnim oduzimanjem u dvije petlje: AKO test B ≥ A daje „da“ ili „istina” (točnije, ''broj'' ''b'' u lokaciji B veći je ili jednak ''broju'' ''a'' u mjestu A) Zatim, algoritam Određuje b ← b - A (što znači da broj ''b'' - ''A'' zamjenjuje staru ''b).'' Slično tome, AKO A> B, PA A ← A - B. Proces se prekida kada je (sadržaj od) B jednak 0, dajući NZD u A. (Algoritam izveden iz ''Scott 2009: 13; symbols and drawing style from Tausworthe 1977''). Dijagram Adae Lovelace iz "note G", prvi objavljeni računalni algoritam. U matematici i informatici, algoritam je konačni niz precizno definiranih, računalno izvedljivih uputa, tipično za rješavanje klase problema ili za izvršavanje računa.
Novi!!: Church-Turingova teza i Algoritam · Vidi više »
Alonzo Church
Alonzo Church (Washington, DC, 14. lipnja 1903. – 11. kolovoza 1995.), američki matematičar i logičar, zaslužan za neke od teoretskih osnova računarstva.
Novi!!: Church-Turingova teza i Alonzo Church · Vidi više »
Hipoteza
Hipoteza je predloženo objašnjenje fenomena ili razumna pretpostavka koje predlaže moguću korelaciju između više fenomena.
Novi!!: Church-Turingova teza i Hipoteza · Vidi više »
Računalo
right Računalo, razgovorno poznato i kao kompjutor ili kompjuter, uređaj je koji služi za izvršavanje matematičkih operacija ili kontrolnih operacija koje se mogu izraziti u numeričkom ili logičkom obliku.
Novi!!: Church-Turingova teza i Računalo · Vidi više »
Teorija izračunljivosti (računarstvo)
U računarstvu, teorija izračunljivosti je grana teorije računanja koja proučava probleme koji su računski rješivi koristeći različite modele računanja.
Novi!!: Church-Turingova teza i Teorija izračunljivosti (računarstvo) · Vidi više »
Turingov stroj
Turingovi strojevi su iznimno jednostavni apstraktni uređaji za manipulaciju znakovima (simbolima) koji - unatoč jednostavnosti dizajna - mogu biti prilagođeni da simuliraju logiku bilo kojeg računalnog algoritma (uz sadašnje poimanje algoritma).
Novi!!: Church-Turingova teza i Turingov stroj · Vidi više »