Logic: From Gödel to Gödel

1 Course Unit

The course focuses on two central results of logic, the Gõdel Completeness Theorem and the Gõdel Incompleteness Theorems, and their ongoing impact on developments in mathematics, philosophy, and technology. Mutually Exclusive: PHIL 4724 1 Course Unit