Medlem : Logon |Registrering |Upload viden
Søg
Ubestrideligt problem [Ændring ]
I beregnelighedsteori og beregnings kompleksitetsteori er et ubestrideligt problem et beslutningsproblem, som det vides at være umuligt at konstruere en enkelt algoritme, som altid fører til et korrekt ja-eller-nej svar. Stoppeproblemet er et eksempel: Der er ingen algoritme, der korrekt bestemmer om vilkårlige programmer til sidst stopper, når de kører.
[Algoritme]
1.Baggrund
2.Eksempel: Stoppeproblemet i beregnelighedsteori
3.Forholdet til Gödel's ufuldstændighedssætning
4.Eksempler på uafklarlige problemer
5.Eksempler på uforklarlige udsagn
[Upload Mere Indhold ]


Copyright @2018 Lxjkh