Philosophy 327 - Advanced Logic

This course presents a careful development of formal elementary number theory using predicate logic, and elementary recursion theory, culminating in a proof of Gödel's incompleteness results. It includes some discussion of the philosophical significance of these results for the foundations of mathematics.

Prereq: Philosophy 225.