Teorema de Church
De Wikisofia
La revisió el 09:42, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} Teorema establert en 1936 pel lògic americà Alonzo Church, segons el qual la lògica de predicats (superior a...».)
La revisió el 09:42, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} Teorema establert en 1936 pel lògic americà Alonzo Church, segons el qual la lògica de predicats (superior a...».)
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).