- Spring 2016
Meeting Time:
MWF 10:30am - 11:50am
Location:
SAV 359
SLN:
18284
Instructor:
Additional Details:
Introduction to some of the fundamental limitative results of twentieth-century mathematical logic, including the non-computability results of Church, Tarski, and Turing, as well as Gödel’s First and Second Incompleteness Theorems. Prerequisites: PHIL 470 or equivalent (that is, a basic understanding of proof by induction, definition by recursion, and first-order logic). Some familiarity with axiomatic set theory would be helpful, but is not considered a requirement.
TEXT: No Textbook Required.
Catalog Description:
Study of the first-order predicate calculus with identity and function symbols. Consistency, soundness, completeness, compactness. Skolem-Lowenheim theorem. Formalized theories. Prerequisite: PHIL 470.
GE Requirements:
Individuals and Societies (I&S)
Natural World (NW)
Credits:
5
Status:
Active
Last updated:
October 5, 2016 - 9:07pm