MA 565 - Topics in Foundations

Offered Fall: No Offered Winter: No Offered Summer: No Offered Other: No

Credits: 4
Hours (Lecture/Discussion/Lab): 4-0-0
Graded: A/F

Prerequisites: Graduate student or accelerated bachelors student in mathematics or instructor permission.
Co-requisites: None

This is an advanced course in the foundations of mathematics. Depending on the instructor’s interest and expertise, this course will focus on one of three topics central to the foundations of mathematics: formal logic , type theory , or category theory .