Forståelse af ikke-løvfældende i matematik og datalogi

Nondeciduousness er et udtryk, der bruges i sammenh
ng med matematik og datalogi til at beskrive en egenskab ved visse problemer eller funktioner, som ikke kan løses eller beregnes ved hj
lp af en deterministisk algoritme.

Med andre ord refererer nonciduousness til det faktum, at nogle problemer eller funktioner ikke kan løses eller beregnet af en begr
nset sekvens af trin, der med garanti afsluttes med et korrekt resultat. I stedet kan disse problemer eller funktioner kr
ve et uendeligt antal trin, eller de kan slet ikke have nogen løsning. Eksempler på ikke-løvf
ldende problemer omfatter standsningsproblemet (som spørger, om et givet program til sidst vil stoppe eller køre på ubestemt tid), Riemann-hypotesen ( en formodning om fordelingen af primtal) og Collatz-formodningen (et udsagn om adf
rden af en bestemt talfølge). Disse problemer betragtes som ikke-løvf
ldende, fordi de ikke kan løses med en deterministisk algoritme, og deres opløsning anses for at v
re uden for ethvert computerprograms muligheder.

I mods
tning hertil er løvf
ldende problemer dem, der kan løses med en deterministisk algoritme, såsom addition, multiplikation og sortering af en liste med tal. Løvf
ldende problemer har et begr
nset antal mulige løsninger, og de kan løses ved at følge et s
t regler eller trin, der med garanti vil føre til et korrekt resultat.