Mathematical Logic
Sapienza University - Maths Department
Sapienza University - Maths Department
This website illustrates research in Mathematical Logic at the Department of Mathematics of Sapienza University of Rome.
Mathematical Logic is the mathematical study of typical mathematical concepts such as proof, theorem, model, axiom, coherence, completeness, independence etc. Modern Mathematical Logic provides tools for proving theorems about these concepts.
Mathematical Logic is also intimately connected to the study of computation, complexity and algorithms and has non-trivial interactions with other branches of Mathematics such as Combinatorics, Algebra, Analysis, Topology etc.