Logic and Lattice Theory have been active areas of research in the Mathematics Department since William Hanf joined the department over 40 years ago, and are currently represented by
- Ralph Freese (lattice theory),
- Bjørn Kjos-Hanssen (theory of computation and computability), 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.