Diferència entre revisions de la pàgina «Teoria»

124 bytes afegits ,  fa 4 anys
m
Revertides les edicions de 83.35.180.77. Si penseu que és un error, deixeu un missatge a la meva discussió.
m (Revertides les edicions de 83.35.180.77. Si penseu que és un error, deixeu un missatge a la meva discussió.)
 
===Matemàtiques===
En matemàtiques[[matemàtica]], una '''teoria''' és un conjunt de proposicions relacionades lògicament. En lògica matemàtica, una teoria és un conjunt d'axiomes i tots els teoremes que se'n poden derivar. El [[teorema d'incompletesa de Gödel]] diu que cap teoria consistent, amb un nombre finit d'axiomes, no pot contenir totes les proposicions vertaderes. D'una teoria ''T'' es diu que és decidible si existeix un algoritme[[algorisme]] que determina si qualsevol proposició donada és o no un teorema de ''T''. Per exemple, la [[teoria de grups abelians]] és decidible, mentre que la [[teoria de conjunts]] és indecidible.
 
== Articles relacionats ==
350.685

modificacions