computable

El término computable se utiliza principalmente en los ámbitos de la informática teórica y las matemáticas para describir un problema o una función que puede ser resuelta mediante un algoritmo. A diferencia del uso cotidiano de la palabra "computar" en español, que a menudo se asocia simplemente con realizar cálculos aritméticos, en inglés computable implica la existencia de un procedimiento mecánico finito y preciso que garantiza un resultado.

Distinciones Semánticas y Confusiones Comunes

Es fundamental no confundir computable con términos como calculable. Mientras que calculable puede referirse a cualquier cosa que se pueda estimar o medir (por ejemplo, el costo de un proyecto), computable es un término técnico estricto. Un problema es computable solo si existe una máquina de Turing o un programa informático capaz de resolverlo en un tiempo finito.

Correcto: The halting problem is not computable (El problema de la parada no es computable), refiriéndose a una limitación lógica de la computación.
Incorrecto: The distance to the moon is computable (La distancia a la luna es computable). En este caso, lo natural sería usar calculable o measurable, ya que se trata de una medición física y no de la resolución de un algoritmo complejo.

Contexto Técnico y Aplicación

En el contexto de la teoría de la computabilidad, este adjetivo define la frontera entre lo que es posible procesar mediante software y lo que es inherentemente indecidible. Cuando se describe algo como non-computable, se está afirmando que no existe, ni existirá jamás, un algoritmo que pueda resolver el problema para todas las entradas posibles.

Desde el punto de vista gramatical, computable funciona como un adjetivo calificativo estándar. No posee variaciones de género o número en inglés, pero al traducirse al español debe concordar con el sustantivo al que modifica (computable / computables).