It may come as a surprise to some that many of the fundamental questions in Computer Science (including the famous P versus NP problem) are in essence mathematical questions. Conversely, some of the deepest foundational questions about the nature of mathematics (such as: what constitutes a proof?) are inherently computational in nature. Computers have also become a powerful tool in mathematical research and its applications, both theoretical and experimental. A full understanding of their capability and potential can only be realized by formal course work in computer science.This concentration focuses primarily on the logical underpinnings of the field, instead of its technological realizations. Computer science studies fundamental limits about what kinds of thought can and cannot be mechanized, and has important connections with the logic of mathematics.