Revisió del 23:07, 19 juny 2013 modifica Flamenc (discussió \| contribucions) Administradors 123.112 edits mCap resum de modificació ← Edició anterior		Revisió del 20:59, 13 març 2014 modifica desfés Langtoolbot (discussió \| contribucions) Bots 1.187.114 edits m Corregit: es -> és un Edició següent →
Línia 5: Una teoria vàlida es distingeix per que té una lògica interna, és a dir, un teorema no contradiu als altres teoremes, de forma que tot el conjunt és coherent segons les regles de la [[lògica]]. A més les teories vàlides solen permetre de fer prediccions sobre fenòmens físics en un àmbit científic determinat. En general, se solen preferir les teories que són més simples i elegants des d'un punt de vista matemàtic (vegeu: El principi de la [[Navalla d'Occam]]), i les que es poden aplicar a un rang de fenòmens més ampli. En [[matemàtica]], una '''teoria''' és un conjunt de proposicions relacionades lògicament. En lògica matemàtica, una teoria esés un conjunt d'axiomes i totes 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 [[algorisme]] que determina si qualsevol proposició dada é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 ==

Teoria: diferència entre les revisions