Accés més ràpid que el navegador!
12 les relacions: Epistemologia, Filosofia de les matemàtiques, Lògica matemàtica, Matemàtiques, Principia Mathematica (Russell-Whitehead), Proposició (lògica), Teoria de categories, Teoria de conjunts, Teoria de la computabilitat, Teoria de la demostració, Teoria de models, Veritat.
Epistemologia
Lepistemologia (del grec antic, epistḗmē “coneixement veritable, ciència” i logos “discurs”) és la branca de la filosofia relacionada amb el coneixement.
Nou!!: Fonaments de la matemàtica і Epistemologia · Veure més »
Filosofia de les matemàtiques
La filosofia de les matemàtiques és una branca de la filosofia.
Nou!!: Fonaments de la matemàtica і Filosofia de les matemàtiques · Veure més »
Lògica matemàtica
La lògica matemàtica és la disciplina inclosa en la matemàtica que estudia els sistemes formals en relació amb la manera en què aquests codifiquen els conceptes intuïtius de demostració matemàtica i computació com una part dels fonaments de la matemàtica.
Nou!!: Fonaments de la matemàtica і Lògica matemàtica · Veure més »
Matemàtiques
Representacions matemàtiques de diversos camps La matemàtica (encara que, per a referir-se, a l'estudi i ciència, s'acostuma a utilitzar el plural matemàtiques) és aquella ciència que estudia patrons en les estructures de cossos abstractes i en les relacions que s'estableixen entre ells (del mot derivat del grec μάθημα, máthēma: ciència, coneixement, aprenentatge; μαθηματικός, mathēmatikós).
Nou!!: Fonaments de la matemàtica і Matemàtiques · Veure més »
Principia Mathematica (Russell-Whitehead)
Els Principia Mathematica és una obra en tres volums sobre els fonaments de la matemàtica, escrita per Alfred North Whitehead i Bertrand Russell i publicada entre 1910 i 1913.
Nou!!: Fonaments de la matemàtica і Principia Mathematica (Russell-Whitehead) · Veure més »
Proposició (lògica)
Una proposició és un conjunt de paraules amb sentit, si bé el terme al·ludeix a realitats diferents segons l'escola d'estudiosos que se segueixi.
Nou!!: Fonaments de la matemàtica і Proposició (lògica) · Veure més »
Teoria de categories
La teoria de categories és una branca de la matemàtica que estudia de manera abstracta les estructures matemàtiques i llurs relacions.
Nou!!: Fonaments de la matemàtica і Teoria de categories · Veure més »
Teoria de conjunts
La teoria de conjunts és la branca de les matemàtiques que estudia els conjunts.
Nou!!: Fonaments de la matemàtica і Teoria de conjunts · Veure més »
Teoria de la computabilitat
La teoria de la computabilitat és la part de la computació que estudia els problemes de decisió que poden ser resolts amb un algorisme o equivalentment amb una màquina de Turing.
Nou!!: Fonaments de la matemàtica і Teoria de la computabilitat · Veure més »
Teoria de la demostració
La teoria de la demostració és una branca de la lògica matemàtica que tracta amb l'estructura de les demostracions matemàtiques i la potència expressiva d'un determinat conjunt d'axiomes matemàtics.
Nou!!: Fonaments de la matemàtica і Teoria de la demostració · Veure més »
Teoria de models
La teoria de models és la branca de la matemàtica que estudia les estructures matemàtiques, com ara els grups, els cossos, els grafs o àdhuc els models de la teoria de conjunts, amb les eines de la lògica matemàtica.
Nou!!: Fonaments de la matemàtica і Teoria de models · Veure més »
Veritat
El concepte de veritat varia segons l'època o escola teòrica.
Nou!!: Fonaments de la matemàtica і Veritat · Veure més »
