Hide Advanced Options
Courses - Spring 2024
Philosophy Department Site
Open Seats as of
07/18/2024 at 09:30 AM
Logical Theory II: Incompleteness and Undecidability
Credits: 3
Grad Meth: Reg, P-F
Prerequisite: PHIL370; or permission of instructor.
Introduces the formal theory of computation, and then presents the the central limitative results of modern first-order logic: Church's undecidability theorem and Godel's first and second incompleteness theorems. The primary focus of the course is a thorough technical study of these fundamental results, but we will also discuss some of the philosophical issues they raise. Further topics may include second-order logic.