Odedicerbarhet är ett begrepp som beskriver en egenskap hos ett system, en funktion eller ett problem där det är omöjligt att med säkerhet avgöra om processen kommer att avslutas eller fortsätta i all oändlighet.