Logic and Foundations

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

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.

Course Details