Diferència entre revisions de la pàgina «Teorema de Church»
De Wikisofia
(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...».) |
(Cap diferència)
|
Revisió del 09:42, 5 feb 2015
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).