MATH 340 - Mathematical Logic

FC NSMA QFR

4 credits
An introduction to set theory and computability. This seminar will examine both the foundations of mathematics and the limitations of formal reasoning. Student projects, consisting of a presentation and an expository paper, will be based on independent reading.

Prerequisites: one 300-level course in MATH.