De la Viquipedia, l'enciclopedia lliure
![](//upload.wikimedia.org/wikipedia/commons/thumb/b/b8/Crystal128-pipe.svg/25px-Crystal128-pipe.svg.png) |
Aquest article o seccio no
cita les fonts
o necessita mes referencies per a la seva
verificabilitat
.
|
Una
teoria
es un
model
de la
realitat
, usat per a
racionalitzar
, explicar i predir
fenomens
. Cal no confondre teoria amb
teorema
. De vegades es presenta oposada a la
practica
i ambdues poden ser
complementaries
, no necessariament excloents.
Metode cientific
[
modifica
]
D'acord amb el
metode cientific
, una teoria ha de poder ser comprovada per l'
experimentacio
o l'
observacio
. Si els
fets
prevists per una teoria no poden ser verificats, o apareixen nous fets no prevists en una teoria, seguint sempre els principis del metode cientific, s'ha de canviar la teoria, canviant alguns dels seus
postulats
o
proposicions
, o afegint-ne de nous.
S'utilitza el terme
conjectura
per a referir-se a una
suposicio
que no esta suportada per cap
observacio
, o
experiment
. En canvi, una
hipotesi
te el suport dels experiments, o de l'
observacio
.
Una teoria valida es distingeix pel fet que te una logica interna, es a dir, un
teorema
no contradiu els altres teoremes, de manera que tot el
conjunt
es coherent segons les regles de la
logica
. A mes, les teories valides solen permetre de fer prediccions sobre fenomens
fisics
en un ambit cientific determinat. En general, se solen preferir les teories que son mes simples i elegants des d'un punt de vista
matematic
(vegeu: el principi de la
navalla d'Occam
), i les que es poden aplicar a un ventall de fenomens mes ampli.
Matematiques
[
modifica
]
En
matematica
, es considera que es un conjunt de proposicions relacionades logicament. En
logica matematica
, una teoria es un conjunt d'axiomes i tots els teoremes que se'n poden derivar. El
teorema d'incompletesa de Godel
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 es decidible si existeix un
algorisme
que determina si qualsevol proposicio donada es o no un teorema de
T
. Per exemple, la teoria de
grups abelians
es decidible, mentre que la
teoria de conjunts
es indecidible.