Ciència formal

De Viquipèdia

Aquest article sobre ciència és un esborrany i possiblement li calgui una expansió substancial o una bona reestructuració del seu contingut. Per això, podeu ajudar la Viquipèdia expandint-lo i millorant la seva qualitat traduint d'altres Viquipèdies, posant textos amb el permís de l'autor o extraient-ne informació.

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.