https://croatianschoolsydney.com/index.php?action=history&feed=atom&title=Entscheidungsproblem 2026-06-10T04:09:42Z Povijest promjena ove stranice na wikiju MediaWiki 1.36.2 https://croatianschoolsydney.com/index.php?title=Entscheidungsproblem&diff=47407&oldid=prev 2021-08-21T22:55:38Z

<p>Bot: Automatski unos stranica</p> <p><b>Nova stranica</b></p><div>&lt;!--'''Entscheidungsproblem'''--&gt;U [[matematika|matematici]], '''''Entscheidungsproblem''''' ([[Njemački jezik|njem]]. za '[[problem odluke]]') je izazov koji je postavio [[David Hilbert]] [[1928.]]<br /> <br /> Entscheidungsproblem potražuje računalni program koji će uzeti kao ulaz opis [[formalni jezik|formalnog jezika]] i matematičku tvrdnju u tom jeziku i vratiti kao izlaz &quot;istina&quot; ili &quot;laž&quot;, ovisno o tome je li tvrdnja istinita ili lažna. Program ne treba opravdati svoj odgovor, niti pružiti dokaz, važno je jedino da uvijek da točan odgovor. Takav bi računalni program bio u mogućnosti odlučiti, na primjer, jesu li [[hipoteza kontinuuma]] ili [[Riemannova hipoteza]] istinite, čak i ako nije poznat dokaz ili opovrgavanje ovih tvrdnji.<br /> <br /> 1936. su [[Alonzo Church]] i [[Alan Turing]] neovisno objavili radove u kojima pokazuju da je nemoguće algoritamski odlučiti jesu li tvrdnje u [[aritmetika|aritmetici]] istinite ili lažne, te je stoga općenito rješenje Entscheidungsproblema nemoguće. Ovaj je rezultat poznat kao [[Church-Turingova teza|Church-Turingov teorem]].<br /> <br /> {{mrva-rač}}<br /> [[Kategorija:Teorija računanja]]</div>

WikiSysop