(Onbeslisbaar Onbeslisbaar In de berekenbaarheidstheorie is een onbeslisbaar probleem een type rekenprobleem dat een ja/nee antwoord vereist, maar waarbij er onmogelijk een computerprogramma kan zijn dat altijd geeft het juiste antwoord; dat wil zeggen, elk mogelijk programma zou soms het verkeerde antwoord geven of eeuwig doorgaan zonder een antwoord te geven. https://en.wikipedia.org › wiki › List_of_undecidable_problems
Lijst van onbeslisbare problemen - Wikipedia
betekent simpelweg niet-berekenbaar in de context van een beslissingsprobleem, waarvan het antwoord (of output) ofwel "waar" of "onwaar") is. Een niet-berekenbaar is een probleem waarvoor er geen algoritme is dat kan worden gebruikt om het op te lossen.
Wat zijn niet-berekenbare problemen?
In de berekenbaarheidstheorie is een onbeslisbaar probleem een type rekenprobleem dat een ja/nee-antwoord vereist, maar waarbij er onmogelijk een computerprogramma kan zijn dat altijd de juiste antwoorden; dat wil zeggen, elk mogelijk programma zou soms het verkeerde antwoord geven of eeuwig doorgaan zonder enig antwoord te geven.
Wat is een niet-berekenbaar getal?
Chaitin's constante is een voorbeeld (eigenlijk een familie van voorbeelden) van een niet-berekenbaar getal. Het staat voor de kans dat een willekeurig gegenereerd programma (in een bepaald model) stopt. Het kan bij benadering worden berekend, maar er is (aantoonbaar) geen algoritme om het met willekeurige precisie te berekenen.
Welk probleem isberekenbaar?
Een wiskundig probleem is berekenbaar als het in principe door een computerapparaat kan worden opgelost. Enkele veel voorkomende synoniemen voor "berekenbaar" zijn "oplosbaar", "beslisbaar" en "recursief". Hilbert geloofde dat alle wiskundige problemen oplosbaar waren, maar in de jaren dertig toonden Gödel, Turing en Church aan dat dit niet het geval was.
Is een lege verzameling berekenbaar?
De lege verzameling is berekenbaar. De hele verzameling natuurlijke getallen is berekenbaar. Elk natuurlijk getal (zoals gedefinieerd in de standaardverzamelingenleer) is berekenbaar; dat wil zeggen, de verzameling natuurlijke getallen kleiner dan een bepaald natuurlijk getal is berekenbaar.
