(Onbeslisbaar Onbeslisbaar In berekenbaarheidsteorie is 'n onbeslisbare probleem 'n tipe berekeningsprobleem wat 'n ja/nee-antwoord vereis, maar waar daar onmoontlik geen rekenaarprogram kan wees wat altyd gee die korrekte antwoord; dit wil sê, enige moontlike program sal soms die verkeerde antwoord gee of vir ewig loop sonder om enige antwoord te gee. https://en.wikipedia.org › wiki › List_of_undecidable_problems
Lys van onbeslisbare probleme - Wikipedia
beteken eenvoudig nie-berekenbaar in die konteks van 'n besluitprobleem, waarvan die antwoord (of uitset) óf “waar” óf “onwaar” is). 'n Nie-berekenbare is 'n probleem waarvoor daar geen algoritme is wat gebruik kan word om dit op te los nie.
Wat is nie-berekenbare probleme?
In berekenbaarheidsteorie is 'n onbeslisbare probleem 'n tipe berekeningsprobleem wat 'n ja/nee-antwoord vereis, maar waar daar onmoontlik geen rekenaarprogram kan wees wat altyd die korrekte gee antwoord; dit wil sê, enige moontlike program sal soms die verkeerde antwoord gee of vir ewig loop sonder om enige antwoord te gee.
Wat is 'n nie-berekenbare nommer?
Chaitin se konstante is 'n voorbeeld (eintlik 'n familie van voorbeelde) van 'n nie-berekenbare getal. Dit verteenwoordig die waarskynlikheid dat 'n lukraak-gegenereerde program (in 'n sekere model) sal stop. Dit kan ongeveer bereken word, maar daar is (bewysbaar) geen algoritme om dit met arbitrêre akkuraatheid te bereken nie.
Watter probleem isberekenbaar?
'n Wiskundige probleem is berekenbaar as dit in beginsel deur 'n rekenaartoestel opgelos kan word. Sommige algemene sinonieme vir "berekenbaar" is "oplosbaar", "beslisbaar" en "rekursief". Hilbert het geglo dat alle wiskundige probleme oplosbaar is, maar in die 1930's het Gödel, Turing en Church gewys dat dit nie die geval is nie.
Is Leë stel berekenbaar?
Die leë stel is rekbaar. Die hele stel natuurlike getalle is berekenbaar. Elke natuurlike getal (soos gedefinieer in die standaardversamelingsteorie) is berekenbaar; dit wil sê, die versameling natuurlike getalle kleiner as 'n gegewe natuurlike getal is berekenbaar.
