Odesignerbarhet är ett begrepp inom datavetenskap som beskriver egenskapen hos ett problem att inte kunna lösas av en algoritm, oavsett hur sofistikerad den är. Det innebär att det inte existerar någon generell algoritm som garanterat kan ge ett korrekt svar för alla möjliga instanser av problemet i praktiken.