Beräknelighet avser egenskapen hos ett system eller en process att dess framtida tillstånd kan förutsägas med en viss grad av säkerhet baserat på dess nuvarande tillstånd och kända regler. Det handlar om huruvida det är möjligt att matematiskt eller logiskt härleda vad som kommer att ske.