(Decidible Undecidable Arvutavuse teoorias on lahendamatu probleem arvutusprobleemi tüüp, mis nõuab jah/ei vastust, kuid kus ei saa olla ühtegi arvutiprogrammi, mis alati annab õige vastuse, see tähendab, et iga võimalik programm annaks mõnikord vale vastuse või töötab igavesti ilma vastust andmata. https://en.wikipedia.org › wiki › List_of_undecidable_problems
Ostlematute probleemide loend – Vikipeedia
tähendab lihts alt mittearvutatavat otsustusprobleemi kontekstis, mille vastus (või väljund) on kas “tõene” või “väär”). Mittearvutatav on probleem, mille lahendamiseks pole algoritmi.
Mis on mittearvutatavad probleemid?
Arvutavuse teoorias on lahendamatu probleem arvutusülesanne, mis nõuab jah/ei vastust, kuid kus ei saa olla ühtegi arvutiprogrammi, mis alati õige annab vastus; see tähendab, et mis tahes võimalik programm annaks mõnikord vale vastuse või töötab igavesti ilma vastust andmata.
Mis on mittearvutatav arv?
Chaitini konstant on näide (tegelikult näidete perekond) mittearvutatavast arvust. See esindab tõenäosust, et juhuslikult genereeritud programm (teatud mudelis) peatub. Seda saab arvutada ligikaudselt, kuid selle suvalise täpsusega arvutamiseks (tõenäoliselt) pole algoritmi.
Milline probleem onarvutatav?
Matemaatikaülesanne on arvutatav, kui seda saab põhimõtteliselt lahendada arvutusseadmega. Mõned levinud sünonüümid sõnale "arvutatav" on "lahendatav", "otsustatav" ja "rekursiivne". Hilbert uskus, et kõik matemaatilised ülesanded on lahendatavad, kuid 1930. aastatel näitasid Gödel, Turing ja Church, et see pole nii.
Kas tühja komplekti saab arvutada?
Tühi komplekt on arvutatav. Kogu naturaalarvude komplekt on arvutatav. Iga naturaalarv (nagu on määratletud standardhulgateoorias) on arvutatav; see tähendab, et antud naturaalarvust väiksemate naturaalarvude hulk on arvutatav.
