PHIL 45100 - The Gödel Theorems: Their Logic and Applications

Introduction to Primitive-Recursive Arithmetic as a framework to prove Gödel’s two incompleteness theorems followed by a critical discussion of their philosophical significance.

Preparation for Course
P: Instructor permission required.

Cr. 3.