|
Apr 25, 2024
|
|
|
|
2020-2021 Undergraduate Catalog [Archived Catalog]
|
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.
|
|