Uavgjørbart

Uavgjørbart er et norsk adjektiv som beskriver noe som ikke lar seg avgjøre innenfor en gitt ramme. Det vil si tilstander, spørsmål eller størrelser der utfall eller verdi ikke kan fastsettes basert på tilgjengelig informasjon eller regler alene.

Bruksområder inkluderer logikk, informatikk, matematikk, filosofi og lingvistikk. Begrepet brukes for å betegne situasjoner der korrekt avgjørelse ikke er mulig i prinsippet, eller der resultatet avhenger av hvilke antagelser som legges til grunn.

I teoretisk informatikk og logikk brukes uavgjørbart ofte om undecidable problemer, altså problemer der ingen algoritme kan avgjøre alle utfall. Et klassisk eksempel er halting-problemet.

Innen matematikk og filosofi kan det også beskrive påstander som verken kan bevises eller motbevises innenfor et gitt aksiomsett, noe Gödels ufullstendighetsteoremer illustrerer.

I praksis kan begrepet også brukes om situasjoner med usikkerhet grunnet begrenset informasjon eller komplekse modeller, der utfallet ikke entydig følger av dataene.

Se også: uavgjørbarhet (undecidability), ufullstendighet, ufullstendighet; begrepet må alltid tolkes i lys av den konkrete ramme eller teori.