(Udecidable Undecidable I beregningsbarhedsteori er et uafgørligt problem en type beregningsproblem, der kræver et ja/nej-svar, men hvor der umuligt kan være noget computerprogram, der altid giver det rigtige svar; det vil sige, at ethvert muligt program nogle gange ville give det forkerte svar eller køre for evigt uden at give noget svar. https://en.wikipedia.org › wiki › List_of_undecidable_problems
Liste over uafklarelige problemer - Wikipedia
betyder simpelthen ikke-beregnelig i sammenhæng med et beslutningsproblem, hvis svar (eller output) er enten "sandt" eller "falskt"). En ikke-beregner er et problem, som der ikke er nogen algoritme til, der kan bruges til at løse det.
Hvad er problemer, der ikke kan beregnes?
I beregningsbarhedsteori er et uafgørligt problem en type beregningsproblem, der kræver et ja/nej-svar, men hvor der umuligt kan være noget computerprogram, der altid giver det rigtige svar; det vil sige, at ethvert muligt program nogle gange ville give det forkerte svar eller køre for evigt uden at give noget svar.
Hvad er et ikke-beregneligt nummer?
Chaitins konstant er et eksempel (faktisk en familie af eksempler) på et ikke-beregneligt tal. Det repræsenterer sandsynligheden for, at et tilfældigt genereret program (i en bestemt model) vil stoppe. Det kan beregnes tilnærmelsesvis, men der er (vist) ingen algoritme til at beregne det med vilkårlig præcision.
Hvilket problem erberegnes?
Et matematisk problem kan beregnes, hvis det i princippet kan løses af en computerenhed. Nogle almindelige synonymer for "beregnelig" er "opløselig", "afgørlig" og "rekursiv". Hilbert mente, at alle matematiske problemer var løselige, men i 1930'erne viste Gödel, Turing og Church, at dette ikke er tilfældet.
Er Empty set beregnet?
Det tomme sæt er computable. Hele sættet af naturlige tal kan beregnes. Hvert naturligt tal (som defineret i standardmængdeteori) kan beregnes; det vil sige, at mængden af naturlige tal mindre end et givet naturligt tal kan beregnes.