Logic

Mathematical logic is the study of the strengths and limitations of formal languages, proofs, and algorithms and their relationships to mathematical structures. It also aims to address foundational issues in mathematics. 

Logic relates to theoretical computer science through computability theory and proof theory, to algebra, number theory, and algebraic geometry through model theory, and to analysis and ergodic theory through set theory and infinite combinatorics.

Faculty Members

Robert L. Constable Type theory and automated reasoning
Joseph Halpern AI, security, and game theory
Dexter Kozen Computational theory, computational algebra and logic, logics and semantics of programming languages
Justin Moore Set theory, mathematical logic, and group theory
Anil Nerode Mathematical logic, computability theory, computer science, mathematics of AI, control engineering, quantum control of macroscopic systems
Slawomir Solecki Logic

Emeritus and Other Faculty
 

Richard A. Shore Mathematical logic, recursion theory, effective and reverse mathematics, set theory

Activities and Resources:

Related people

Image of Richard A. Shore
Richard A. Shore

Goldwin Smith Professor Emeritus of Mathematics

  • Mathematics
Image of Anil Nerode
Anil Nerode

Distinguished Professor of Arts and Sciences in Mathematics

  • Mathematics
Image of Justin Moore
Justin Moore

Professor

  • Mathematics
Image of Slawomir Solecki
Slawomir Solecki

Professor

  • Mathematics

All research areas

Top