11 odnosi: Alan Turing, Alonzo Church, Aritmetika, Church-Turingova teza, David Hilbert, Formalni jezik, Hipoteza kontinuuma, Matematika, Njemački jezik, Problem odluke, 1928..
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!!: Entscheidungsproblem i Alan Turing · 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!!: Entscheidungsproblem i Alonzo Church · Vidi više »
Aritmetika
Aritmetika je grana matematike koja proučava računske operacije s brojevima.
Novi!!: Entscheidungsproblem i Aritmetika · Vidi više »
Church-Turingova teza
U teoriji izračunljivosti, Church-Turingova teza (poznata i kao Churchova teza, Churchova konjektura te Turingova teza) je hipoteza o prirodi računala, kao što je digitalno računalo ili ljudsko biće s olovkom i papirom, a koji se podvrgavaju skupu pravila.
Novi!!: Entscheidungsproblem i Church-Turingova teza · Vidi više »
David Hilbert
David Hilbert David Hilbert (23. siječnja 1862. – 14. veljače 1943.) bio je njemački matematičar, priznat kao jedan od najutjecajnijih i najsvestranijih matematičara devetnaestog i ranog dvadesetog stoljeća.
Novi!!: Entscheidungsproblem i David Hilbert · Vidi više »
Formalni jezik
U matematici, logici i računarstvu, formalni jezik (još i umjetni jezikKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 399) \boldsymbol se sastoji od skupa konačnih slijedova elemenata konačnog skupa \boldsymbol znakova (simbola).
Novi!!: Entscheidungsproblem i Formalni jezik · Vidi više »
Hipoteza kontinuuma
U matematici, hipoteza kontinuuma je hipoteza o mogućim veličinama beskonačnih skupova.
Novi!!: Entscheidungsproblem i Hipoteza kontinuuma · Vidi više »
Matematika
Matematika (od grčkog μάθημα (máthēma) 'znanost') egzaktna je (točna, nedvojbena) znanost koja izučava aksiomatski definirane apstraktne strukture koristeći se matematičkom logikom.
Novi!!: Entscheidungsproblem i Matematika · Vidi više »
Njemački jezik
Njemački jezik (njem. Die deutsche Sprache, skr. Deutsch) pripada skupini zapadnogermanskih jezika i ubraja se među svjetske jezike.
Novi!!: Entscheidungsproblem i Njemački jezik · Vidi više »
Problem odluke
U teoriji izračunljivosti i računskoj teoriji složenosti, problem odluke je pitanje postavljeno u nekom formalnom sustavu s da/ne odgovorom.
Novi!!: Entscheidungsproblem i Problem odluke · Vidi više »
1928.
1928. (Rimski: MCMXXVIII), bila je dvadeset i sedma godina 20. stoljeća.
Novi!!: Entscheidungsproblem i 1928. · Vidi više »