Logic and Foundations have been active areas of research in the Mathematics Department since William Hanf joined the department a half-century ago, and are currently represented by
- Bjørn Kjos-Hanssen (theory of computation), and
- David Ross (nonstandard analysis).
A heyday of mathematical logic occurred around 1931-1936 with Gödel’s theorem and Turing’s machines, and was a beginning of the prominent role of logic in computer science now.