Teorema de Church
De Wikisofia
La revisió el 13:50, 14 abr 2015 per Jorcor (discussió | contribucions) (Text de reemplaçament - "indicibilitat" a "indecibilitat")
La revisió el 13:50, 14 abr 2015 per Jorcor (discussió | contribucions) (Text de reemplaçament - "indicibilitat" a "indecibilitat")
Teorema establert en 1936 pel lògic americà Alonzo Church, segons el qual la lògica de predicats (superior a la de predicats monádicos) no posseeix un procediment de decisió, o un algorisme que permeti demostrar que una fórmula qualsevol sigui un teorema d'aquesta lògica. Aquesta lògica es considera, per tant, indecidible (veure cita).