Series: Penn State Logic Seminar
Date: Tuesday, January 16, 2001
Time: 2:30 - 3:20 PM
Place: 316 Willard Building
Speaker: Stephen G. Simpson, Department of Mathematics, Penn State
Title: An Overview of Mathematical Logic, part 2
Abstract:
We continue with an informal overview of the main subdivisions of
contemporary mathematical logic: model theory, proof theory, set
theory, recursion theory.