Accions

Diferència entre revisions de la pàgina «Incompletesa, teorema de la»

De Wikisofia

(Es crea la pàgina amb «{{ConcepteWiki}} Primer dels teoremes de Kurt Gödel, que afirma que tot sistema d'axiomes que sigui consistent i capaç d'inc...».)
 
m (Text de reemplaçament - "Sagristà" a "Sacristán")
Línia 1: Línia 1:
 
{{ConcepteWiki}}
 
{{ConcepteWiki}}
  
Primer dels teoremes de [[Autor:Gödel, Kurt|Kurt Gödel]], que afirma que tot sistema d'axiomes que sigui [[consistent|consistent]] i capaç d'incloure la teoria formal de l'aritmètica és necessàriament ''incomplet''; aquest sistema d'axiomes conté algun [[teorema|teorema]] que, malgrat ser veritable, no pot deduir-se del sistema. El segon teorema de Gödel és complementari del primer i estableix que no és possible provar la [[consistència|consistència]] d'un sistema formal de l'aritmètica amb els solos mitjans que aquest sistema proporciona; no sent la consistència un teorema del sistema, ha de provar-se des de fora del sistema ([[Recurs:Sagristà, Manuel: el teorema de Gödel|veure text]] ).
+
Primer dels teoremes de [[Autor:Gödel, Kurt|Kurt Gödel]], que afirma que tot sistema d'axiomes que sigui [[consistent|consistent]] i capaç d'incloure la teoria formal de l'aritmètica és necessàriament ''incomplet''; aquest sistema d'axiomes conté algun [[teorema|teorema]] que, malgrat ser veritable, no pot deduir-se del sistema. El segon teorema de Gödel és complementari del primer i estableix que no és possible provar la [[consistència|consistència]] d'un sistema formal de l'aritmètica amb els solos mitjans que aquest sistema proporciona; no sent la consistència un teorema del sistema, ha de provar-se des de fora del sistema ([[Recurs:Sacristán, Manuel: el teorema de Gödel|veure text]] ).
 
{{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}}
 
{{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}}

Revisió del 19:20, 17 març 2015


Primer dels teoremes de Kurt Gödel, que afirma que tot sistema d'axiomes que sigui consistent i capaç d'incloure la teoria formal de l'aritmètica és necessàriament incomplet; aquest sistema d'axiomes conté algun teorema que, malgrat ser veritable, no pot deduir-se del sistema. El segon teorema de Gödel és complementari del primer i estableix que no és possible provar la consistència d'un sistema formal de l'aritmètica amb els solos mitjans que aquest sistema proporciona; no sent la consistència un teorema del sistema, ha de provar-se des de fora del sistema (veure text ).