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...».) |
m (Text de reemplaçament - "decibilidad" a "dicibilitat") |
||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | Teorema establert en 1936 pel lògic americà [[Autor:Church, Alonzo|Alonzo Church]], segons el qual la [[lògica|lògica de predicats]] (superior a la de predicats monádicos) no posseeix un [[procediment de decisió|procediment de decisió]], o un [[algorisme|algorisme]] que permeti demostrar que una fórmula qualsevol sigui un [[teorema|teorema]] d'aquesta lògica. Aquesta lògica es considera, per tant, [[ | + | Teorema establert en 1936 pel lògic americà [[Autor:Church, Alonzo|Alonzo Church]], segons el qual la [[lògica|lògica de predicats]] (superior a la de predicats monádicos) no posseeix un [[procediment de decisió|procediment de decisió]], o un [[algorisme|algorisme]] que permeti demostrar que una fórmula qualsevol sigui un [[teorema|teorema]] d'aquesta lògica. Aquesta lògica es considera, per tant, [[indicibilitat|indecidible]] ([[Recurs:Cita de Garrido 1|veure cita]]). |
{{Etiqueta | {{Etiqueta | ||
Revisió del 19:50, 5 març 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).