Înțelegerea non-deciduousness în matematică și informatică

Nondeciduousness este un termen folosit în contextul matematicii și al informaticii pentru a descrie o proprietate a anumitor probleme sau funcții care nu poate fi rezolvată sau calculată printr-un algoritm determinist.

Cu alte cuvinte, nondeciduousness se referă la faptul că unele probleme sau funcții nu pot fi rezolvate. sau calculate printr-o succesiune finită de pași care sunt garantate să se încheie cu un rezultat corect. În schimb, aceste probleme sau funcții pot necesita un număr infinit de pași sau este posibil să nu aibă deloc o soluție.

Exemplele de probleme fără foioase includ problema opririi (care întreabă dacă un anumit program se va opri în cele din urmă sau va rula pe termen nelimitat), Ipoteza Riemann ( o presupunere despre distribuția numerelor prime) și Conjectura Collatz (o afirmație despre comportamentul unei anumite secvențe de numere). Aceste probleme sunt considerate nedeciduale, deoarece nu pot fi rezolvate printr-un algoritm determinist, iar rezoluția lor este considerată a fi peste posibilitățile oricărui program de calculator. înmulțirea și sortarea unei liste de numere. Problemele de foioase au un număr finit de soluții posibile și pot fi rezolvate urmând un set de reguli sau pași care garantează că vor duce la un rezultat corect.