Teorema de Church
De Wikisofia
La versió per a impressora ja no és compatible i pot tenir errors de representació. Actualitzeu les adreces d'interès del navegador i utilitzeu la funció d'impressió per defecte del navegador.
Teorema establert en 1936 pel lògic americà Alonzo Church, segons el qual la lògica de predicats (superior a la de predicats monàdics) 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 (veg. citació).