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. ConstableType theory and automated reasoning
Joseph HalpernAI, security, and game theory
Dexter KozenComputational theory, computational algebra and logic, logics and semantics of programming languages
Justin MooreSet theory, mathematical logic, and group theory
Anil NerodeMathematical logic, computability theory, computer science, mathematics of AI, control engineering, quantum control of macroscopic systems
Slawomir SoleckiLogic

Emeritus and Other Faculty
 

Márk PoórMathematical logic
Richard A. ShoreMathematical logic, recursion theory, effective and reverse mathematics, set theory

Activities and Resources:

Related people

Image of Romin Abdolahzadi
Romin Abdolahzadi

Ph.D Candidate

Image of Dexuan Hu
Dexuan Hu

Ph.D. Candidate

Image of Sumun Iyer
Sumun Iyer

Ph.D. Candidate

Image of Hanul Jeon
Hanul Jeon

Ph.D. Candidate

Image of Sebastian Junge
Sebastian Junge

Ph.D. Candidate

Image of Dexter Kozen
Dexter Kozen

Joseph Newton Pew, Jr. Professor in Engineering

Image of Dexter Kozen
Dexter Kozen

Joseph Newton Pew, Jr. Professor in Engineering

Image of Justin Moore
Justin Moore

Professor

Image of Anil Nerode
Anil Nerode

Distinguished Professor of Arts and Sciences in Mathematics

Image of Márk Poór
Márk Poór

H.C. Wang Assistant Professor

Image of Mark Schachner
Mark Schachner

Ph.D. Candidate

Image of Luke Serafin
Luke Serafin

Ph.D. Candidate

Image of Richard A. Shore
Richard A. Shore

Goldwin Smith Professor Emeritus of Mathematics

All research areas

Algebra    Analysis    Applied Mathematics    Combinatorics and Discrete Geometry    Geometry    Logic    Probability and Statistics    Topology   
Top