Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
La fecha «superior a la de predicados monádicos) no posee un procedimiento de decisión, o un algoritmo que permita demostrar que una fórmula cualquiera sea un teorema de dicha lógica. Esta lógica se considera, por tanto, indecidible (ver citaAD» no ha sido comprendida.
La fecha «superior a la de predicados monádicos) no posee un procedimiento de decisión, o un algoritmo que permita demostrar que una fórmula cualquiera sea un teorema de dicha lógica. Esta lógica se considera, por tanto, indecidible (ver cita AD» no ha sido comprendida.
Teorema establecido en 1936 por el lógico americano Alonzo Church, según el cual la lógica de predicados (superior a la de predicados monádicos) no posee un procedimiento de decisión, o un algoritmo que permita demostrar que una fórmula cualquiera sea un teorema de dicha lógica. Esta lógica se considera, por tanto, indecidible (ver cita).