PHIL 106B: Mathematical LogicInstructor: Casey Rufener Prerequisites: None Course Description: Covers in detail several of the following proofs: the Gödel Incompleteness Results, Tarski's Undefinability of Truth Theorem, Church's Theorem on the Undecidability of Predicate Logic, and Elementary Recursive Function Theory. Session: Extended Day: Online Time: Asynchronous Credit Hours: 4 Credits Course Format: 10-week Asynchronous Online format Brandeis Graduation Requirement Fulfilled: HUM, SN Enrollment Limit: 20 students Course Classification: Undergraduate Level Course Course Tuition: $3,700 Course Fees: None Open to High School Students: No |
