8 relazioni: Classificazione delle ricerche matematiche, Filosofia della matematica, Fondamenti della matematica, Logica matematica, Teoria degli insiemi, Teoria dei modelli, 01-XX, 68-XX.
Classificazione delle ricerche matematiche
La classificazione più autorevole degli argomenti della ricerca matematica è costituita dallo schema di classificazione chiamato Mathematics Subject Classification.
Nuovo!!: 03-XX e Classificazione delle ricerche matematiche · Mostra di più »
Filosofia della matematica
La filosofia della matematica è la branca della filosofia della scienza che cerca di dare risposta a domande quali: "perché la matematica è utile nella descrizione della natura?", "in quale senso, qualora se ne trovi uno, le entità matematiche (in particolare i numeri) esistono?" "perché e in che modo gli enunciati matematici sono veri?".
Nuovo!!: 03-XX e Filosofia della matematica · Mostra di più »
Fondamenti della matematica
Nei ''Principia Mathematica'', Bertrand Russell e Alfred North Whitehead propongono di fondare la matematica su basi logiche Per fondamenti della matematica si intende lo studio delle basi logiche e filosofiche della matematica.
Nuovo!!: 03-XX e Fondamenti della matematica · Mostra di più »
Logica matematica
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica.
Nuovo!!: 03-XX e Logica matematica · Mostra di più »
Teoria degli insiemi
La teoria degli insiemi è una teoria matematica posta ai fondamenti della matematica stessa, collocandosi nell'ambito della logica matematica.
Nuovo!!: 03-XX e Teoria degli insiemi · Mostra di più »
Teoria dei modelli
La teoria dei modelli è una branca della matematica, e più precisamente della logica, che affronta lo studio generalizzato del concetto di modello, in riferimento alle relazioni tra varie strutture ed in particolare alla soddisfacibilità di date teorie.
Nuovo!!: 03-XX e Teoria dei modelli · Mostra di più »
01-XX
01-XX è la sigla della sezione di livello 1 dello schema di classificazione MSC dedicata a storia e biografia della matematica.
Nuovo!!: 03-XX e 01-XX · Mostra di più »
68-XX
68-XX è la sigla della sezione primaria dello schema di classificazione MSC dedicata alla matematica nella scienza del computer.
Nuovo!!: 03-XX e 68-XX · Mostra di più »