2025W

This is an advanced course in symbolic logic. Our focus will be on several limitative results concerning logical systems. In particular, the first half of the course will consist of a detailed, rigorous proof of Godel’s incompleteness theorems. Our approach will involve developing some amount of recursion theory. The topics in the second half of […]