Omekaniserbarhet är ett begrepp inom datalogi som beskriver egenskapen hos ett problem att inte kunna lösas av en algoritm som körs på en Turingmaskin, eller motsvarande beräkningsmodell. Det innebär att det inte existerar någon generell, automatiserad procedur som garanterat kan ge ett korrekt svar.