DECIDIBLE

En varios artículos lógicos de este Diccionario hemos usado los términos ‘decidible’, ‘indecidible’, ‘decidibilidad’, ‘indecidibilidad', así como las expresiones ‘mé­todo de decisión’ y ‘procedimiento de deci­sión’. Daremos aquí una breve explicación del significado de estos términos a base de la aclaración del uso del término ‘decidible’.

Este término pertenece al vocabulario de la metalógica y expresa uno de los conceptos sintácticos fundamentales usados en la misma (otros conceptos fundamentales son el de con­sistencia [véase Consistente] y el de completitud [véase Completo]). Se llama «decidi­ble» a un cálculo C cuando puede forjarse un método o un procedimiento mecánico me­diante el cual sea posible decidir —en una se­rie de operaciones finita— si una fórmula bien formada de C es o no un teorema de C. También se define a veces el término ‘decidi­ble’ indicándose que se llama «decidible» a una