Ciència formal: diferència entre les revisions
Contingut suprimit Contingut afegit
m r2.7.3) (Robot afegeix: ur:تشکیلی علوم |
m r2.7.2) (Robot afegeix: war:Syensya nga pormal |
||
Línia 28: | Línia 28: | ||
[[uk:Формальні науки]] |
[[uk:Формальні науки]] |
||
[[ur:تشکیلی علوم]] |
[[ur:تشکیلی علوم]] |
||
[[war:Syensya nga pormal]] |
|||
[[zh:形式科學]] |
[[zh:形式科學]] |
||
[[zh-min-nan:Hêng-sek kho-ha̍k]] |
[[zh-min-nan:Hêng-sek kho-ha̍k]] |
Revisió del 14:17, 20 des 2012
Una ciència formal és una disciplina teòrica l'objecte de la qual no té contingut empíric, sinó que desenvolupa i estudia sistemes formals. Són ciències formals la Lògica, la Matemàtica, i les branques teòriques de la Informàtica, la Teoria de la informació i l'Estadística. S'oposa a la ciència experimental i a vegades se l'anomena ciència pura o ciència exacta (tot i que aquest terme se sol reservar per a les matemàtiques).
Estudien conceptes abstractes i no realitats físiques, per això empren un llenguatge formal numèric i es basen en raonaments i demostracions per a dur a terme la seva recerca.