Pochopení nejednoznačnosti v matematice a informatice

Neurčitost je termín používaný v kontextu matematiky a informatiky k popisu vlastnosti určitých problémů nebo funkcí, které nelze vyřešit nebo vypočítat deterministickým algoritmem. nebo vypočítané konečnou sekvencí kroků, u kterých je zaručeno, že skončí se správným výsledkem. Namísto toho mohou tyto problémy nebo funkce vyžadovat nekonečný počet kroků nebo nemusí mít vůbec žádné řešení.… Mezi příklady neopadavých problémů patří problém zastavení (který se ptá, zda se daný program nakonec zastaví nebo poběží neomezeně dlouho), Riemannova hypotéza ( domněnka o distribuci prvočísel) a Collatzova domněnka (výpověď o chování určité posloupnosti čísel). Tyto problémy jsou považovány za neopadavé, protože je nelze vyřešit deterministickým algoritmem a jejich řešení je považováno za mimo možnosti jakéhokoli počítačového programu. násobení a řazení seznamu čísel. Opadavé problémy mají konečný počet možných řešení a lze je vyřešit dodržováním souboru pravidel nebo kroků, které zaručeně povedou ke správnému výsledku.