Indice
8 relazioni: Alfred Tarski, Algebra, Algebra universale, Jean Yves Béziau, Logica, Teoria dei modelli, Teoria delle categorie, Topologia.
Alfred Tarski
Per i suoi risultati viene collocato fra i maggiori logici della storia, insieme ad Aristotele, Gottlob Frege e Kurt Gödel. In particolare è considerato il risolutore del paradosso del mentitore.
Vedere Logica universale e Alfred Tarski
Algebra
Lalgebra (dall'arabo الجبر, al-ǧabr, 'completamento') è una branca della matematica che tratta lo studio di strutture algebriche, relazioni e quantità.
Vedere Logica universale e Algebra
Algebra universale
Lalgebra universale è il settore della matematica che studia le idee comuni a tutte le strutture algebriche. Essa si collega ai vari argomenti della sezione 08-XX dello schema di classificazione MSC2000.
Vedere Logica universale e Algebra universale
Jean Yves Béziau
È professore e ricercatore del Brazilian Research Council - CNPq - presso la Federal University of Ceara, in Brasile. Béziau ha una doppia cittadinanza, francese e svizzera.
Vedere Logica universale e Jean Yves Béziau
Logica
La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio delle relazioni di inferenza tra proposizioni, cioè lo studio delle leggi del ragionamento e della dimostrazione, generalmente definita come una branca della filosofia e la scienza dell'argomentazione.
Vedere Logica universale e Logica
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.
Vedere Logica universale e Teoria dei modelli
Teoria delle categorie
La teoria delle categorie è una teoria matematica che studia in modo astratto le strutture matematiche e le relazioni tra esse. La nozione di categoria fu introdotta per la prima volta da Samuel Eilenberg e Saunders Mac Lane nel 1945 nell'ambito della topologia algebrica.
Vedere Logica universale e Teoria delle categorie
Topologia
La topologia (dal greco τόπος, tópos, "luogo", e λόγος, lógos, "studio", col significato quindi di "studio dei luoghi") è una branca della matematica che studia le proprietà delle figure e, in generale, degli oggetti matematici, che non cambiano quando viene effettuata una deformazione senza "strappi", "sovrapposizioni" o "incollature".